论文信息 - A Safety Evaluation Method of IMA Dynamic Reconfiguration Process Based on CPN - 字舞流文

A Safety Evaluation Method of IMA Dynamic Reconfiguration Process Based on CPN

Wei Zhao | Shihai Wang | Lei Liu | Zeyong Jiang | Wei Zhao | Shihai Wang | Zeyong Jiang | Lei Liu

[1] M. Meiler,et al. Reliability computing of polymer-electrolyte-membrane fuel cell stacks through Petri nets , 2009 .

[2] Yongwang Zhao,et al. Formal Verification of Behavioral AADL Models by Stateful Timed CSP , 2017, IEEE Access.

[3] Sohag Kabir,et al. Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review , 2019, Safety Science.

[4] S. M. Ellis. Dynamic software reconfiguration for fault-tolerant real-time avionic systems , 1997, Microprocess. Microsystems.

[5] Dianfu Ma,et al. From AADL to Timed Abstract State Machines: A verified model transformation , 2014, J. Syst. Softw..

[6] Bin Liu,et al. A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint , 2016 .

[7] Joost-Pieter Katoen,et al. Safety, Dependability and Performance Analysis of Extended AADL Models , 2011, Comput. J..