Reliability of cyber physical systems assessment of the aircraft fuel management system

Cyber physical systems (CPSs) are integrations of computation and physical processes. As a complex hybrid system, the reliability of CPSs is very important. Some work on the reliability of CPSs has been done, but most of them just present abstract ideas or models based on single component. In this paper, we use a phased-mission system (PMS) model to analyze the reliability of CPSs. The model consists of Markov models for components, and a binary decision diagram (BDD) for the system structure function. Moreover, a CPSs architecture model of an aircraft fuel management system (AFMS) is also presented. At last, we compute the reliability of a specific AFMS based on the PMS model.

[1]  M.D. Ilic,et al.  Modeling future cyber-physical energy systems , 2008, 2008 IEEE Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in the 21st Century.

[2]  Liudong Xing,et al.  Reliability analysis of hierarchical computer-based systems subject to common-cause failures , 2007, Reliab. Eng. Syst. Saf..

[3]  José M. F. Moura,et al.  Modeling of Future Cyber–Physical Energy Systems for Distributed Sensing and Control , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Liudong Xing,et al.  A separable ternary decision diagram based analysis of generalized phased-mission reliability , 2004, IEEE Transactions on Reliability.

[5]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[6]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[7]  Jing Lin,et al.  A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[8]  Panganamala Ramana Kumar,et al.  Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.

[9]  Joanne Bechta Dugan,et al.  BDD-based reliability analysis of phased-mission systems with multimode failures , 2006, IEEE Transactions on Reliability.

[10]  Franco Zambonelli,et al.  Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence , 2012, Pervasive Mob. Comput..

[11]  Kishor S. Trivedi,et al.  Reliability Analysis of Phased-Mission System With Independent Component Repairs , 2007, IEEE Transactions on Reliability.

[12]  Andrea Bondavalli,et al.  Dependability modeling and evaluation of multiple-phased systems using DEEM , 2004, IEEE Transactions on Reliability.

[13]  Yu-Chee Tseng,et al.  Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .

[14]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[15]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.