ReLUSyn: Synthesizing stealthy attacks for deep neural network-based safety-critical cyber-physical systems

2020 ◽  
Author(s):  
Aarti Kashyap
Keyword(s):  
Neural Network ◽  
Deep Neural Network ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Safety Critical ◽  
Stealthy Attacks

scholarly journals Embedded Deep Learning Prototyping Approach for Cyber-Physical Systems: Smart LIDAR Case Study

2021 ◽  
Vol 10 (1) ◽  
pp. 18
Author(s):  
Quentin Cabanes ◽  
Benaoumeur Senouci ◽  
Amar Ramdane-Cherif
Keyword(s):  
Neural Network ◽  
Deep Learning ◽  
Computation Time ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Research Technology ◽  
Standard Design ◽  
Hardware Architectures ◽  
Voxel Grid

Cyber-Physical Systems (CPSs) are a mature research technology topic that deals with Artificial Intelligence (AI) and Embedded Systems (ES). They interact with the physical world via sensors/actuators to solve problems in several applications (robotics, transportation, health, etc.). These CPSs deal with data analysis, which need powerful algorithms combined with robust hardware architectures. On one hand, Deep Learning (DL) is proposed as the main solution algorithm. On the other hand, the standard design and prototyping methodologies for ES are not adapted to modern DL-based CPS. In this paper, we investigate AI design for CPS around embedded DL. The main contribution of this work is threefold: (1) We define an embedded DL methodology based on a Multi-CPU/FPGA platform. (2) We propose a new hardware design architecture of a Neural Network Processor (NNP) for DL algorithms. The computation time of a feed forward sequence is estimated to 23 ns for each parameter. (3) We validate the proposed methodology and the DL-based NNP using a smart LIDAR application use-case. The input of our NNP is a voxel grid hardware computed from 3D point cloud. Finally, the results show that our NNP is able to process Dense Neural Network (DNN) architecture without bias.

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.

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
Sign in / Sign up

Export Citation Format

Share Document