Energy-Efficient Functional Safety Design Methodology Using ASIL Decomposition for Automotive Cyber-Physical Systems

2019 ◽  
pp. 1-23 ◽  
Author(s):  
Guoqi Xie ◽  
Hao Peng ◽  
Jing Huang ◽  
Renfa Li ◽  
Keqin Li
Sensors ◽  
2018 ◽  
Vol 18 (11) ◽  
pp. 4075 ◽  
Author(s):  
Ali Balador ◽  
Anis Kouba ◽  
Dajana Cassioli ◽  
Fotis Foukalas ◽  
Ricardo Severino ◽  
...  

Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.


2020 ◽  
Vol 10 (9) ◽  
pp. 3125
Author(s):  
Saad Mubeen ◽  
Elena Lisova ◽  
Aneta Vulgarakis Feljan

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.


2015 ◽  
Vol 103 (11) ◽  
pp. 2104-2132 ◽  
Author(s):  
Pierluigi Nuzzo ◽  
Alberto L. Sangiovanni-Vincentelli ◽  
Davide Bresolin ◽  
Luca Geretti ◽  
Tiziano Villa

2017 ◽  
Vol 11 (4) ◽  
pp. 2028-2039 ◽  
Author(s):  
Jiang Wan ◽  
Arquimedes Canedo ◽  
Mohammad Abdullah Al Faruque

2015 ◽  
Vol 39 (8) ◽  
pp. 1245-1254 ◽  
Author(s):  
F. Chen ◽  
H. Ye ◽  
J. Yang ◽  
Y. Huang ◽  
J. Zhang ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document