Hierarchical Modeling Fault-Error-Failure Dependencies for Cyber-Physical Systems

被引：0
作者：
机构：
[1] Computer Science and Technology Department, Chuzhou University, Chuzhou
来源：
Liu, S. (liusxchuz@163.com) | 1600年 / Springer Verlag卷 / 212期
基金：
中国国家自然科学基金;
关键词：
Cyber-physical system; Error; Failure; Fault; Stochastic petri nets;
D O I：
10.1007/978-3-642-37502-6_77
中图分类号：
学科分类号：
摘要：
While cyber-physical system (CPS) has grown in size and complexity, the existing single node failure of system are confronting some serious challenges. The strong coupling of software and physical processes in the emerging field motivates the development of new methods to respond to failure in both the cyber and physical domains. This paper presents formalized definitions for CPS from the view of hierarchical level model. The relationships between faults, errors and failures in the resource, service and process level are introduced. The application of stochastic Petri nets (SPN) on fault-error-failure dependencies Model in CPS is presented. Based on the model analyzing, the Fault-Error-Failure dependency relationships between resource, service and process are presented. The simulation results show the chances of resource faults are larger than the service error; the effects of a non-detected error perceived from resource level are less than that for the service level. © Springer-Verlag Berlin Heidelberg 2013.
引用
收藏
页码：641 / 649
页数：8
相关论文
共 8 条
  • [1] Johnson T.T., Mitra S., Handling Failures In Cyber-physical Systems: Potential Directions, (2009)
  • [2] Bernardi S., Building Stochastic Petri Net Models For the Verification of Complex Software Systems, (2003)
  • [3] Ge X., Paige R., McDermid J., Analysing system failure behaviours with PRISM, International Conference On Secure Software Integration and Reliability Improvement Companion, pp. 130-136, (2010)
  • [4] Briesemeister L., Denker G., Elenius D., Mason I., Varadarajan S., Bhatt D., Hall B., Madl G., Steiner W., Quantitative fault propagation analysis for networked cyber-physical systems, 2nd Analytic Virtual Integration of Cyber-physical Systems Workshop (AVICPS), (2011)
  • [5] Sha L., Using simplicity to control complexity, IEEE Softw, 18, 4, pp. 20-28, (2001)
  • [6] Laia C.-F., Maa Y.-W., Changa S.-Y., Chaob H.-C., Huanga Y.-M., OSGi-based services architecture for Cyber-Physical Home Control Systems, Comput Commun, 34, 2, pp. 184-191, (2011)
  • [7] Murata T., Petri nets: Properties, analysis, and applications [J], Proc of the IEEE, 77, 4, pp. 541-580, (1989)
  • [8] Betous-Almeida C., Kanoun K., Dependability evaluation: From functional to structural modelling, Proceedings of the 20th International Conference On Computer Safety, Reliability and Security (SAFECOMP 2001), LNCS, 2187, pp. 227-237, (2001)
1