Dependability Modelling and Evaluation of Cyber-Physical Systems: A Model-Driven Perspective

Abstract

Abstract-The strong coupling of software and physical processes in the emerging field motivates the development of new methods to respond to dependability in both the cyber and physical domains. Two kinds of definitions of CyberPhysical System (CPS) from the view of resource, service and process is presented. The dependable Model of CyberPhysical Home Control System is presented by taking advantage of Stochastic Petri Net（SPN）. Based on the model running and analyzing, the dependency relationships in resource, service and process, and the dependability parameters (Reliability, Availability, Sustainability, MTTF and etc.) of system which people pay attention to are presented. If this model and method are applicable to CPS, that means the formal methods and verification based on model-driven are appropriate to CPS.

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

“…Also, a modeling approach was presented in [85] that supports both qualitative and quantitative analysis of CPS attacks using probabilistic colored Petri nets. CPS dependability analysis was presented in [65] using Stochastic Petri Net (SPN). An approach for specification and analysis of automotive CPS was presented in [157] where Modelica was used for analyzing engine model and AADL was used for End to End Delay Analysis from brake-pedal to throttle actuator.…”

“…Examples are Controllers (e.g. [9,8]), Development Artifacts related with transformation [99], simulation [136], System verification [162].System behavior covering timing behavior [59], System safety properties [113], and System requirements [156,65].…”