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

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.

[1]  Joanne Bechta Dugan Automated analysis of phased-mission reliability , 1991 .

[2]  Wu Xiaoyue Extended Object-oriented Petri Net Model for Mission Reliability Analysis of Complex Systems , 2013 .

[3]  Shaoze Yan,et al.  Reliability analysis method of a solar array by using fault tree analysis and fuzzy reasoning Petri net , 2011 .

[4]  Kishor S. Trivedi,et al.  A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .

[5]  Li-Chih Wang,et al.  Object-oriented Petri nets for modelling and analysis of automated manufacturing systems , 1996 .

[6]  Giuliana Franceschinis,et al.  Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics , 2003, IEEE Trans. Software Eng..

[7]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[8]  Erdem Demircioglu,et al.  Reliability-based TT&C subsystem design methodology for complex spacecraft missions , 2008, 2008 42nd Annual Conference on Information Sciences and Systems.

[9]  Lirong Li,et al.  Numerical Method for Reliability Analysis of Phased-Mission System Using Markov Chains , 2012 .

[10]  Hassan Reza,et al.  A Safety Analysis Method Using Fault Tree Analysis and Petri Nets , 2009, 2009 Sixth International Conference on Information Technology: New Generations.

[11]  K. Kim,et al.  Phased-mission system reliability under Markov environment , 1994 .

[12]  Jiang Liang Reliability Prediction of a System Software Based on NHPP Model , 2006 .

[13]  Andrea Bondavalli,et al.  Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability , 2001, IEEE Trans. Computers.

[14]  Kerstin Buchacker,et al.  Combining Fault Trees And Petri Nets To Model Safety-Critical Systems , 1999 .

[15]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[16]  Andrea Bondavalli,et al.  Hierarchical modeling and evaluation of phased-mission systems , 1999 .

[17]  Michael K. Molloy Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[18]  C. A. Petri Communication with automata , 1966 .

[19]  MengChu Zhou,et al.  Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[20]  A. Bondavalli,et al.  Dependability modeling and evaluation of phased mission systems: a DSPN approach , 1999, Dependable Computing for Critical Applications 7.

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

[22]  Sarah J. Dunnett,et al.  Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets , 2008, Reliab. Eng. Syst. Saf..

[23]  V.V.S. Sarma,et al.  Phased-Mission Analysis for Evaluating the Effectiveness of Aerospace Computing-Systems , 1981, IEEE Transactions on Reliability.

[24]  Qiang Miao,et al.  Dynamic fault tree analysis based on Petri nets , 2009, 2009 8th International Conference on Reliability, Maintainability and Safety.

[25]  Yang Dong,et al.  Modeling workflow using XML and Petri net , 2012 .

[26]  Wu Xiao-yue Krylov subspace projection algorithm of reliability analysis of TT&C and communication system , 2012 .

[27]  Doo-Hwan Bae,et al.  Software modeling and analysis using a hierarchical object-oriented Petri net , 2000, Inf. Sci..

[28]  Pla Information,et al.  Research on reliability simulation process model based on Monte Carlo method , 2008 .

[29]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[30]  Xiaoyue Wu,et al.  Simulation method for reliability of TT&C mission with high redundancy and small time horizon , 2012 .

[31]  Tao Hu,et al.  Reliability optimization of phased-mission systems with multimode failures based on simulation , 2010, 2010 International Conference on Intelligent Computing and Integrated Systems.