Dependability analysis of cyber physical systems

摘要

As cyber physical system (CPS) is often used in safety critical areas, dependability of the system is an important issue that needs to be analysed. Any failure on the components of the CPS could result in a degradation of the physical state, which then causes major harm to life and/or property. Since the concept of dependence leads to that of trust, the subsystems of the CPS should be dependable to each other to deliver the requested services as specified without failing during its operation. In this study, the authors apply Markov chain to model and analyse the component dependability of CPSs and propose the recovery techniques to guarantee a high level of dependability so as to take care of assuring the continuity of system operation.