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

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 Cyber-Physical System (CPS) from the view of resource, service and process is presented. The dependable Model of Cyber-Physical 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.