A method for modeling and analysis of fault propagation in hybrid systems using stochastic activity networks

Document Type : Persian Original Article

Authors

1 School of Computer Engineering, Iran University of Science and Technology

2 Iran University of Science and Technology (IUST)

Abstract

Hybrid systems consist of both continuous and discrete parts. These systems include several different components. A fault in one of these components can be activated and propagate to other components. Due to the advancement of technology and intelligent systems such as driverless car, health control devices and automated factories, the occurrence of a fault in one component and its propagation to other components can lead to financial and human-life losses. It is necessary to design a fault propagation model before construction of a system. With such a model, we can observe the propagation of the effects of a fault in a component to other components, before the construction of the system. It is also possible to identify critical components of the system. In this paper, a method for modeling fault propagation based on stochastic activity networks is presented. Based on this model, it is possible to identify the critical points of the system, the effect of different components on each other and the component failure behavior. The proposed model has been applied in a case study (an aircraft fuel system), and its simulation and quantitative results are presented in this paper.

Keywords

References

R. Alur, Principles of Cyber-Physical Systems, Massachusetts: MIT Press, 2015.
S. Seshia and E. Lee, Introduction to Embedded Systems - A Cyber-Physical Systems Approach, MIT Press, 2017.
M. Fan, Z. Zeng, E. Zio, R. Kang and Y. Chen, "A stochastic hybrid systems model of common-cause failures of degrading components," Reliability Engineering & System Safety, vol. 172, pp. 159-170, 2018.
R. Kang and Z. Li, "Strategy for reliability testing and evaluation of cyber physical systems," in IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), Singapore, Dec 2015.
G. Simko, T. Levendovszky, M. Maroti and J. Sztipanovits, "Towards a theory for cyber-physical systems modeling," in Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, Berlin, April 2014.
R. Michael and P. Liggesmeyer, "Modeling and analysis of safety-critical cyber physical systems using state/event fault trees," in International Conference on Computer Safety, Reliability and Security, Toulouse, Sep 2013.
A. Avizienis, J.-C. Laprie, B. Randell and C. Landwehr, "Basic Concepts and Taxonomy of dependable and secure computing," IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, 2004.
W. H. Sanders and J. F. Meyer, "Stochastic activity networks: formal definitions and concepts," in Lectures on formal methods and performance analysis, New York, Springer, 2001, pp. 315 - 343.
M. Rahnamay Naeini and M. M. Hayat, "Cascading Failures in Interdependent Infrastructures: An Interdependent Markov-Chain Approach," IEEE Transactions on Smart Grid, vol. 7, no. 4, pp. 1997-2006, 2016.
R. A. Shuvro, Z. Wangt , P. Das, M. R. Naeini and M. M. Hayat, "Modeling cascading-failures in power grids including communication and human operator impacts," in IEEE Green Energy and Smart Systems Conference, Long Beach, Nov 2017.
S. V. Buldyrev, R. Parshani, G. Paul, H. Stanley and S. Havlin, "Catastrophic cascade of failures in interdependent networks," Nature, vol. 464, pp. 1025-1028, 2010.
Z. Zuyuan, W. An and S. Fangming, "Cascading Failures on Reliability in Cyber-Physical System," IEEE Reliability Society, vol. 65, no. 4, pp. 1745 - 1754, 2016.
Z. Huang and C. Wang, "Characterization of Cascading Failures in Interdependent Cyber-Physical Systems," IEEE Transactions on Computers, vol. 64, no. 8, pp. 2158-2168, 2015.
H. Peng, Z. Kan, D. Zhao, J. Han, J. Lu and Z. Hu, "Reliability analysis in interdependent smart grid systems," Physica A: Statistical Mechanics and its Applications, vol. 500, pp. 50-59, 2018.
C. Heracleous, M. M.Polycarpou, G. Ellinas, C. G.Panayiotou and P. Kolios, "Hybrid systems modeling for critical infrastructures interdependency analysis," Reliability Engineering & System Safety, vol. 165, pp. 89-101, 2017.
A. Morozov and K. Janschek, "Probabilistic error propagation model for mechatronic systems," Mechatronics, vol. 24, no. 8, pp. 1189-1202, 2014.
A. Morozov and K. Janschek, "Dual Graph Error Propagation Model for Mechatronic System Analysis," IFAC Proceedings Volumes, vol. 44, no. 1, pp. 9893-9898, 2011.
S. Kabir, M. Walker and Y. Papadopoulos, "Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks," Safety Science, vol. 105, pp. 55-70, 2018.
S. Kabir, Y. Papadopoulos, M. Walker, D. Parker, J. Ignacio Aizpurua, J. Lampe and E. Rüde, "A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies," in 5th International Symposium on Model-Based Safety and Assessment, Aug 2017.
M. Walker, L. Bottaci and Y. Papadopoulos, "Compositional Temporal Fault Tree Analysis," in International Conference on Computer Safety, Reliability, and Security, 2007.
E. Edifor, M. Walker, N. Gordon and Y. Papadopoulos, "Using simulation to evaluate dynamic systems with weibull or lognormal distributions," in Proceedings of the Ninth International Conference on Dependability and Complex Systems, Brunow, June 2014.
L. Grunske and B. Kaiser, "Automatic generation of analyzable failure propagation models from component-level failure annotations," in Fifth International Conference on Quality Software, Melbourne, Sep 2005.
C. Zhou, X. Huang, X. Naixue, Y. Qin and S. Huang, "A class of general transient faults propagation analysis for networked control systems," IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 4, pp. 647 - 661, 2015.
Y. Liu, D. Lu, L. Deng, T. Bai, K. Hou and Y. Zeng, "Risk assessment for the cascading failure of electric cyber-physical system considering multiple information factors," IET Cyber-Physical Systems: Theory & Applications, vol. 2, no. 4, pp. 155 - 160, 2017.
X. Ge, R. F. Paige and J. A. McDermid, "Probabilistic Failure Propagation and Transformation Analysis," in 28th International Conference on Computer Safety, Reliability, and Security, Berlin, 2009.
Journal of Soft Computing and Information Technology
Volume 9, Issue 2 - Serial Number 28
Summer
July 2020
Pages 16-33

Files

Share

How to cite

Statistics