scholarly journals A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

2021 ◽  
Vol 72 ◽  
Author(s):  
Anthony Corso ◽  
Robert Moss ◽  
Mark Koren ◽  
Ritchie Lee ◽  
Mykel Kochenderfer
Keyword(s):  
Autonomous Vehicles ◽  
Cyber Physical Systems ◽  
Black Box ◽  
State Spaces ◽  
Physical Systems ◽  
Safety Critical ◽  
Simulated Environment ◽  
Rigorous Testing ◽  
Simulation Based ◽  
Sampling Problem

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and real-world testing can be too dangerous during development. Therefore, simulation-based techniques have been developed that treat the system under test as a black box operating in a simulated environment. Safety validation tasks include finding disturbances in the environment that cause the system to fail (falsification), finding the most-likely failure, and estimating the probability that the system fails. Motivated by the prevalence of safety-critical artificial intelligence, this work provides a survey of state-of-the-art safety validation techniques for CPS with a focus on applied algorithms and their modifications for the safety validation problem. We present and discuss algorithms in the domains of optimization, path planning, reinforcement learning, and importance sampling. Problem decomposition techniques are presented to help scale algorithms to large state spaces, which are common for CPS. A brief overview of safety-critical applications is given, including autonomous vehicles and aircraft collision avoidance systems. Finally, we present a survey of existing academic and commercially available safety validation tools.

scholarly journals Blockchain application in simulated environment for Cyber-Physical Systems Security

2021 ◽  
Author(s):  
Riccardo Colelli ◽  
Chiara Foglietta ◽  
Roberto Fusacchia ◽  
Stefano Panzieri ◽  
Federica Pascucci
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Systems Security ◽  
Simulated Environment

Safety-Critical, Dependable, and Fault-Tolerant Cyber-Physical Systems

2018 ◽  
pp. 54-78
Author(s):  
Guru Prasad Bhandari ◽  
Ratneshwer Gupta
Keyword(s):  
Fault Tolerance ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
General Information ◽  
The Internet ◽  
Physical Systems ◽  
Safety Critical ◽  
Computer Based

Cyber-physical systems (CPSs) are co-engineered integrating with physical and computational components networks. Additionally, a CPS is a mechanism controlled or monitored by computer-based algorithms, tightly interacting with the internet and its users. This chapter presents the definitions relating to dependability, safety-critical and fault-tolerance of CPSs. These definitions are supplemented by other definitions like reliability, availability, safety, maintainability, integrity. Threats to dependability and security like faults, errors, failures are also discussed. Taxonomy of different faults and attacks in CPSs are also presented in this chapter. The main objective of this chapter is to give the general information about secure CPS to the learners for the further enhancement in the field of CPSs.

Explainable Artificial Intelligence (xAI) Approaches and Deep Meta-Learning Models for Cyber-Physical Systems

2021 ◽  
pp. 42-67
Author(s):  
Evren Daglarli
Keyword(s):  
Artificial Intelligence ◽  
Cyber Physical Systems ◽  
Black Box ◽  
The Internet ◽  
Learning Models ◽  
Physical Systems ◽  
Box Models ◽  
Explainable Artificial Intelligence ◽  
Meta Learning ◽  
Black Box Models

Today, the effects of promising technologies such as explainable artificial intelligence (xAI) and meta-learning (ML) on the internet of things (IoT) and the cyber-physical systems (CPS), which are important components of Industry 4.0, are increasingly intensified. However, there are important shortcomings that current deep learning models are currently inadequate. These artificial neural network based models are black box models that generalize the data transmitted to it and learn from the data. Therefore, the relational link between input and output is not observable. For these reasons, it is necessary to make serious efforts on the explanability and interpretability of black box models. In the near future, the integration of explainable artificial intelligence and meta-learning approaches to cyber-physical systems will have effects on a high level of virtualization and simulation infrastructure, real-time supply chain, cyber factories with smart machines communicating over the internet, maximizing production efficiency, analysis of service quality and competition level.

scholarly journals Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper

2020 ◽  
Vol 10 (9) ◽  
pp. 3125
Author(s):  
Saad Mubeen ◽  
Elena Lisova ◽  
Aneta Vulgarakis Feljan
Keyword(s):  
Embedded Systems ◽  
Cyber Physical Systems ◽  
Position Paper ◽  
Technological Advancement ◽  
Functional Safety ◽  
Physical Systems ◽  
Safety Critical ◽  
Secure Embedded Systems ◽  
Time Critical ◽  
Networking Technology

Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems.

scholarly journals Security‐ and safety‐critical cyber‐physical systems

2019 ◽  
Vol 32 (2) ◽  
Author(s):  
Atif Mashkoor ◽  
Johannes Sametinger ◽  
Miklós Biro ◽  
Alexander Egyed
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Safety Critical

scholarly journals Design of IoT-based Cyber–Physical Systems: A Driverless Bulldozer Prototype

Information ◽  
2019 ◽  
Vol 10 (11) ◽  
pp. 343 ◽  
Author(s):  
Nelson H. Carreras Guzman ◽  
Adam Gergo Mezovari
Keyword(s):  
Autonomous Vehicles ◽  
Industrial Revolution ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Transportation Systems ◽  
Small Scale ◽  
Security Risk ◽  
Physical Systems ◽  
Wireless Communication Network ◽  
Enhance Efficiency

From autonomous vehicles to robotics and machinery, organizations are developing autonomous transportation systems in various domains. Strategic incentives point towards a fourth industrial revolution of cyber–physical systems with higher levels of automation and connectivity throughout the Internet of Things (IoT) that interact with the physical world. In the construction and mining sectors, these developments are still at their infancy, and practitioners are interested in autonomous solutions to enhance efficiency and reliability. This paper illustrates the enhanced design of a driverless bulldozer prototype using IoT-based solutions for the remote control and navigation tracking of the mobile machinery. We illustrate the integration of a cloud application, communication protocols and a wireless communication network to control a small-scale bulldozer from a remote workstation. Furthermore, we explain a new tracking functionality of work completion using maps and georeferenced indicators available via a user interface. Finally, we provide a preliminary safety and security risk assessment of the system prototype and propose guidance for application in real-scale machinery.

Sign in / Sign up

Export Citation Format

Share Document