Automated generation of mission reliability simulation model for space tracking,telemetry and control system by extensible markup language and extended object-oriented Petri net

Abstract

To evaluate and optimize the space tracking, telemetry and command system design, it is important to perform mission reliability analysis of tracking, telemetry and command system. Considering the complexity of tracking, telemetry and command system configuration and mission process, it is nearly infeasible to model and analyze the system by manual work. For accuracy and efficiency reasons, system designers need to have an integrated set of methods and tools for modeling specifications and performing reliability analysis. This article presents an XML-based (extensible markup language–based) schema named reliability modeling language to formally represent data and information, which are necessary for building the mission reliability model of tracking, telemetry and command system. To facilitate the evaluation of mission reliability measures, we propose the improved extended object–oriented Petri net formalism, which is an extension of object-oriented Petri net to perform mission reliability simulation and analysis. The standard descriptive model in reliability modeling language can be automatically and directly transformed into an extended object–oriented Petri net model by applying model transformation rules and algorithm. The proposed approach is illustrated and validated by examples, which consider the complex situation such as component phase dependence, non-exponential failure rate, instantaneous repair as well as different work start and end time. The simulation results show a good approximation compared with the results of analytical models.

Keywords

Mission reliability extensible markup language Petri net modeling and simulation tracking telemetry and command

Get full access to this article

View all access options for this article.

References

Hao

. Spaceflight TT&C network. 1st ed. Beijing, China: National Defense Industry Press, 2004.

Xia

Zhang

. Space tracking, telemetry and command system. 1st ed. Beijing, China: National Defense Industry Press, 2002.

Liu

Jiang

. Reliability prediction of a system software based on NHPP model. Electron Prod Reliab Environ Test 2006; 24(1): 46–48.

Pedar

Sarma

. Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems. IEEE T Reliab 1981; R-30(5): 429–437.

Demircioglu

Nefes

. Reliability-based TT&C subsystem design methodology for complex spacecraft missions. In: Proceedings of IEEE information sciences and systems conference, Princeton, NJ, 19–21 March 2008, pp.1268–1272. New York: IEEE.

Mura

Bondavalli

. Hierarchical modeling and evaluation of phased-mission systems. IEEE T Reliab 1999; 48(8): 360–368.

Vesely

Goldberg

Roberts

. Fault tree handbook. Washington, DC: US Nuclear Regulatory Commission, 1981.

Zang

Sun

Trivedi

. A BDD-based algorithm for reliability analysis of phased-mission systems. IEEE T Reliab 1999; 48(1): 50–60.

Ross

. Introduction to probability models. Beijing, China: Posts & Telecom Press, 2006.

10.

Kim

Park

. Phased-mission system reliability under Markov environment. IEEE T Reliab 1994; 43(2): 301–309.

11.

Mura

Bondavalli

. Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE T Reliab 2001; 50(12): 1337–1351.

12.

Bondavalli

Chiaradonna

Giandomenico

. Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE T Reliab 2004; 53(4): 509–522.

13.

Mura

Bondavalli

Zang

. Dependability modeling and evaluation of phased mission systems: a DSPN approach. In: Proceeding of the 7th IFIP international conference on dependable computing for critical applications, San Jose, CA, 8–8 January 1999, pp.319–337. New York: IEEE.

14.

Dugan

. Automated analysis of phased-mission reliability. IEEE T Reliab 1991; 40(1): 45–52, 55.

15.

Zhang

Tang

Zhang

. Research on reliability simulation process model based on Monte Carlo method. System Engineering and Electronics 2008; 30(7): 1374–1380.

16.

Yang

. Reliability optimization of phased-mission systems with multimode failures based on simulation. In: Proceedings of the international conference on intelligent computing and integrated systems, Guilin, China, 22–24 October 2010, pp.371–374. New York: IEEE.

17.

Wang

Zhu

. Discrete event system modeling and simulation. 2nd ed.Beijing, China: Science Press, 2007.

18.

Chew

Dunnett

Andrews

. Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets. Reliab Eng Syst Safe 2008; 93: 980–994.

19.

Meng

Wang

. Mission reliability analysis of TT&C system using BDD algorithm. In: Proceedings of the 7th international conference on mathematical methods in reliability: theory, methods, applications, Beijing, China, 20–24 June 2011, pp.682–686. Beijing: Beijing Institute of Technology Press.

20.

Yan

. Krylov subspace projection algorithm of reliability analysis of TT&C and communication system. J Natl Univ Def Technol 2012; 34(4): 63–67.

21.

Yan

. Numerical method for reliability analysis of phased mission system using Markov chains. Commun Stat: Theor M 2012; 41(21): 3960–3973.

22.

. Simulation method for the reliability of TT&C mission with high redundancy and small time horizon. J Syst Eng Electron 2012; 23(6): 943–948.

23.

Yang

. Mission reliability evaluation of TT&C system using discrete-event simulation. In: Proceedings of the 7th international conference on mathematical methods in reliability: theory, methods, applications, Beijing, China, 20–24 June 2011, pp.672–676. Beijing: Beijing Institute of Technology Press.

24.

Petri

. Communication with automata. Darmstadt University of Technology, Darmstadt, 1962.

25.

Molloy

. Performance analysis using stochastic Petri nets. IEEE T Comput 1982; C-31(9): 913–917.

26.

Jensen

. Coloured Petri nets: basic concepts, analysis methods and practical use. Berlin Heidelberg, Germany Springer-Verlag, 1992.

27.

Marsan

Conte

Balbo

. A class of generalized stochastic Petri nets for performance evaluation of multiprocessor systems. ACM T Comput Syst 1984; 2: 93–122.

28.

Yang

Wen

Zhang

. Modeling workflow using XML and Petri net. J Syst Eng Electron 2004; 15(3): 440–446.

29.

Robidoux

Xing

. Automated modeling of dynamic reliability block diagrams using colored Petri nets. IEEE T Syst Man Cyb 2010; 40(2): 337–351.

30.

Wang

. Object-oriented Petri nets for modelling and analysis of automated manufacturing systems. Comput Integr Manuf Syst 1996; 9(2): 111–125.

31.

Hong

Bae

. Software modeling and analysis using a hierarchical object-oriented Petri net. Information Sciences 2000; 130: 133–164.

32.

. Extended object-oriented Petri net model for mission reliability analysis of complex systems. J Acad Equip 2013; 24(2): 66–69.

33.

Buchacker

Friedrich-alexander-universitht

. Combining fault trees and Petri nets to model safety-critical systems. Soc Comput Simul Int 1999; 439–444.

34.

Bobbio

Franceschinis

Gaeta

. Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE T Software Eng 2003; 29(3): 270–287.

35.

Reza

Pimple

Krishna

. A safety analysis method using fault tree analysis and Petri nets. In: Proceedings of the sixth international conference on information technology: new generations, 2009 ITNG ’09, Las Vegas, NV, 27–29 April 2009, pp.1089–1094. New York: IEEE.

36.

Zhang

Miao

Fan

. Dynamic fault tree analysis based on Petri nets. In: Proceedings of the 8th international conference on reliability, maintainability and safety, Chengdu, China, 20–24 July 2009, pp.138–142. New York: IEEE.

37.

Yan

Xie

. Reliability analysis method of a solar array by using fault tree analysis and fuzzy reasoning Petri net. Acta Astronaut 2011; 69(11–12): 960–968.