Proceedings of the The 1st International Workshop on Cloud Computing and Information Security

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

Authors
Xiaojing Hu, Shixi Liu, Guilin Chen, Cuiqing Jiang
Corresponding Author
Xiaojing Hu
Available Online November 2013.
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)

Volume Title
Proceedings of the The 1st International Workshop on Cloud Computing and Information Security
Series
Advances in Intelligent Systems Research
Publication Date
November 2013
ISBN
10.2991/ccis-13.2013.10
ISSN
1951-6851
DOI
10.2991/ccis-13.2013.10How to use a DOI?
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/).

Cite this article

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  -