Model-based Stochastic Error Propagation Analysis for Cyber-Physical Systems

被引:0
作者
Fabarisov, Tagir [1 ]
Yusupova, Nafisa [2 ]
Ding, Kai [3 ]
Morozov, Andrey [4 ]
Janschek, Klaus [1 ]
机构
[1] Tech Univ Dresden, Inst Automat, Georg Schumann Str 11, D-01187 Dresden, Germany
[2] Ufa State Aviat Tech Univ, Fac Comp Sci & Robot, Ul K Marx 12, Ufa 450000, Russia
[3] Bosch China Investment Ltd, Corp Res, Shanghai, Peoples R China
[4] Univ Stuttgart, Inst Ind Automat & Software Engn, Stuttgart, Germany
关键词
Cyber-Physical System; Industry; 4.0; Markov chain model; Probabilistic Model Checking; Error propagation model; reliability; safety; dependability; model-based system; model-based analysis; control flow; data flow; optimization;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Industry 4.0 is the current trend of automation and data exchange in manufacturing technologies that is focusing on the creation of smart factories with the modular structured Cyber-Physical Systems (CPS), in tight cooperation with humans. This trend also implies that the systems become more complex, heterogeneous, and distributed especially their network and software parts. This makes the CPS highly critical subject to failures at different levels, including software, hardware, and human operators. Consequently, ensuring reliable and safe operation under the presence of non-avoidable threats also becomes a more complicated task. The proper analysis of the CPS requires thorough comprehension of both the dependability properties of system components and their interactions as well as structural and behavioral aspects of the complete system. Such an analysis of complex and mutually interlinked system properties puts considerable challenges on appropriate methods for modeling and analysis, as well as, on the related applied software tools. The Dual-graph Error Propagation Model (DEPM), developed in our lab, is a mathematical abstraction of the main future system's properties, which are vital for the determination of the error propagation processes. It is a useful analytical instrument for the evaluation of the influence of particular faults and errors to the overall system behavior. OpenErrorPro is our analytical software tool for stochastic error propagation analysis that supports the DEPM framework. Using OpenErrorPro, a DTMC model could be automatically generated from a DEPM, and the reliability metrics, in addition to, error propagation path, can be computed. This could be implemented for the analysis of the heterogeneous CPS components. The necessary steps for the DEPM framework extension, required for such an implementation, are discussed in this paper.
引用
收藏
页码:15 / 28
页数:14
相关论文
共 32 条
[1]  
[Anonymous], 1989, Modern Structured Analysis
[2]  
Arnold A., 1999, Fundamenta Informaticae, V40, P109
[3]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[4]  
Bozzano M, 2009, LECT NOTES COMPUT SC, V5775, P173, DOI 10.1007/978-3-642-04468-7_15
[5]  
Carnegie Mellon University, WELC OSATE
[6]   A STORM is Coming: A Modern Probabilistic Model Checker [J].
Dehnert, Christian ;
Junges, Sebastian ;
Katoen, Joost-Pieter ;
Volk, Matthias .
COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 :592-600
[7]  
Delligatti L., 2013, SYSML DISTILLED BRIE
[8]  
Denson W., 1996, Electronic parts reliability data 1997
[9]  
Denson W., 1994, TECHNICAL REPORT
[10]   Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption [J].
Ding, Kai ;
Morozov, Andrey ;
Janschek, Klaus .
2018 29TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2018, :47-57