Resource-Cost-Aware Fault-Tolerant Design Methodology for End-to-End Functional Safety Computation on Automotive Cyber-Physical Systems

2019 ◽  
Vol 3 (1) ◽  
pp. 1-27 ◽  
Author(s):  
Guoqi Xie ◽  
Gang Zeng ◽  
Jiyao An ◽  
Renfa Li ◽  
Keqin Li
Keyword(s):  
Design Methodology ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
Functional Safety ◽  
Physical Systems ◽  
Resource Cost ◽  
End To End ◽  
Fault Tolerant Design

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 Learning-Assisted Secure End-to-End Network Slicing for Cyber-Physical Systems

IEEE Network ◽  
2020 ◽  
Vol 34 (3) ◽  
pp. 37-43 ◽  
Author(s):  
Qiang Liu ◽  
Tao Han ◽  
Nirwan Ansari
Keyword(s):  
Cyber Physical Systems ◽  
Network Slicing ◽  
Physical Systems ◽  
End To End

scholarly journals A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

2015 ◽  
Vol 103 (11) ◽  
pp. 2104-2132 ◽  
Author(s):  
Pierluigi Nuzzo ◽  
Alberto L. Sangiovanni-Vincentelli ◽  
Davide Bresolin ◽  
Luca Geretti ◽  
Tiziano Villa
Keyword(s):  
Design Methodology ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Platform Based Design

scholarly journals Modeling and Analysis of Automotive Cyber-physical Systems

2021 ◽  
Author(s):  
Max Jonas Friese
Keyword(s):  
Cyber Physical Systems ◽  
Multicore Architectures ◽  
Industrial Practice ◽  
Modeling And Analysis ◽  
Physical Systems ◽  
Measurement Analysis ◽  
Wide Range ◽  
Latency Analysis ◽  
End To End ◽  
Time Systems

Based on advances in scheduling analysis in the 1970s, a whole area of research has evolved: formal end-to-end latency analysis in real-time systems. Although multiple approaches from the scientific community have successfully been applied in industrial practice, a gap is emerging between the means provided by formally backed approaches and the need of the automotive industry where cyber-physical systems have taken over from classic embedded systems. They are accompanied by a shift to heterogeneous platforms build upon multicore architectures. Scien- tific techniques are often still based on too simple system models and estimations on important end-to-end latencies have only been tightened recently. To this end, we present an expressive system model and formally describe the problem of end-to-end latency analysis in modern automotive cyber-physical systems. Based on this we examine approaches to formally estimate tight end-to-end latencies in Chapter 4 and Chapter 5. The de- veloped approaches include a wide range of relevant systems. We show that our approach for the estimation of latencies of task chains dominates existing approaches in terms of tightness of the results. In the last chapter we make a brief digression to measurement analysis since measuring and simulation is an important part of verification in current industrial practice.

Sign in / Sign up

Export Citation Format

Share Document