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

DOI

10.2991/ccis-13.2013.10How to use a DOI?

Keywords

Dependability, Model-driven, cyber-physical system, Stochastic Petri Nets

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 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.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Xiaojing Hu
AU  - Shixi Liu
AU  - Guilin Chen
AU  - Cuiqing Jiang
PY  - 2013/11
DA  - 2013/11
TI  - Dependability Modelling and Evaluation of Cyber-Physical Systems: A Model-Driven Perspective
BT  - Proceedings of the The 1st International Workshop on Cloud Computing and Information Security
PB  - Atlantis Press
SP  - 40
EP  - 44
SN  - 1951-6851
UR  - https://doi.org/10.2991/ccis-13.2013.10
DO  - 10.2991/ccis-13.2013.10
ID  - Hu2013/11
ER  -