scholarly journals Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Author(s):  
Xi Zheng ◽  
Christine Julien
Author(s):  
Nuno Laranjeiro ◽  
Camilo Gomez ◽  
Enrico Schiavone ◽  
Leonardo Montecchi ◽  
Manoel J. M. Carvalho ◽  
...  

2014 ◽  
Vol 484-485 ◽  
pp. 427-430
Author(s):  
Zhe Jun Kuang ◽  
Liang Hu ◽  
Chen Zhang

Cyber-physical systems (CPS) are complex distributed heterogeneous systems which integrating cyber and physical processes by computation, communication and control. During interaction between cyber and physical world, the traditional theories and applications has been difficult to satisfy real-time performance and efficient. Cyber-physical systems clearly have a role to play in developing a new theory of computer-mediated physical systems. The aim of this work is to analysis the features and relation technology of CPS that get better understanding for this new field. We summarized the research progresses from different perspectives such as modeling, classical tools and applications. Finally, the research challenges for CPS are in brief outlined.


2020 ◽  
Vol 12 (4) ◽  
pp. 65 ◽  
Author(s):  
Georgios Kavallieratos ◽  
Sokratis Katsikas ◽  
Vasileios Gkioulos

Safeguarding both safety and cybersecurity is paramount to the smooth and trustworthy operation of contemporary cyber physical systems, many of which support critical functions and services. As safety and security have been known to be interdependent, they need to be jointly considered in such systems. As a result, various approaches have been proposed to address safety and cybersecurity co-engineering in cyber physical systems. This paper provides a comprehensive survey of safety and cybersecurity co-engineering methods, and discusses relevant open issues and research challenges. Despite the extent of the existing literature, several aspects of the subject still remain to be fully addressed.


Sign in / Sign up

Export Citation Format

Share Document