Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

2014 ◽  
Author(s):  
Tasuku Ishigooka ◽  
Habib Saissi ◽  
Thorsten Piper ◽  
Stefan Winter ◽  
Neeraj Suri
Keyword(s):  
Formal Verification ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Safety Critical

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study

2021 ◽  
Author(s):  
Jon Ayerdi ◽  
Valerio Terragni ◽  
Aitor Arrieta ◽  
Paolo Tonella ◽  
Goiuria Sagardui ◽  
...  
Keyword(s):  
Genetic Programming ◽  
Cyber Physical Systems ◽  
Industrial Case Study ◽  
Physical Systems

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.

Sign in / Sign up

Export Citation Format

Share Document