Automated generation of mission reliability simulation model for space tracking, telemetry and control system by extensible markup language and extended object-oriented Petri net
暂无分享,去创建一个
[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.