Failure Propagation Modeling and Analysis via System Interfaces
暂无分享,去创建一个
Xiaocheng Ge | Lin Zhao | Krishnaiyan Thulasiraman | Ru Niu | K. Thulasiraman | R. Niu | Xiaocheng Ge | Lin Zhao
[1] Pierre Bieber,et al. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects , 2006 .
[2] Marco Bozzano,et al. ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .
[3] Marco Bozzano,et al. Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.
[4] Peter H. Feiler,et al. Dependability Modeling with the Architecture Analysis & Design Language (AADL) , 2007 .
[5] Antoine Rauzy,et al. The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.
[6] Yiannis Papadopoulos,et al. Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.
[7] Jonathan P. Bowen,et al. Safety-critical methods and systems , formal standards , 2004 .
[8] Antoine Rauzy,et al. Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..
[9] John A. McDermid,et al. New Directions in Software Safety: Causal Modelling as an Aid to Integration , 1992 .
[10] Pierre Bieber,et al. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System , 2002, EDCC.
[11] Bharat Jayaraman,et al. Logic programming with solution preferences , 2008, J. Log. Algebraic Methods Program..
[12] John A. McDermid,et al. An integrated tool set for software safety analysis , 1993, J. Syst. Softw..
[13] Yves Dutuit,et al. The AltaRica data-flow language in use: modeling of production availability of a multi-state system , 2006, Reliab. Eng. Syst. Saf..
[14] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.