Formal Model Based Safety Analysis Methods and the Application
暂无分享,去创建一个
[1] Wolfgang Reisig,et al. Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.
[2] Pierre Bieber,et al. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects , 2006 .
[3] Ana-Elena Rugina,et al. Dependability modeling and evaluation : from AADL to stochastic Petri nets , 2007 .
[4] Li Qun. SysML:A New Systems Modeling Language , 2006 .
[5] Marco Bozzano,et al. The FSAP/NuSMV-SA Safety Analysis Platform , 2007, International Journal on Software Tools for Technology Transfer.
[6] B. Meenakshi,et al. Formal safety analysis of mode transitions in aircraft flight control system , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.
[7] A B Rauzy,et al. Guarded transition systems: A new states/events formalism for reliability studies , 2008 .
[8] Sylvain Metge,et al. EXPERIMENTS IN MODEL BASED SAFETY ANALYSIS: FLIGHT CONTROLS , 2007 .
[9] Augusto Sampaio,et al. Systematic Model-Based Safety Assessment Via Probabilistic Model Checking , 2010, ISoLA.
[10] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[11] Marco Bozzano,et al. ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .
[12] Jim Davies,et al. A Brief History of Timed CSP , 1995, Theor. Comput. Sci..
[13] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[14] Simin Nadjm-Tehrani,et al. Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.
[15] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[16] Peter A. Lindsay,et al. Safety Assessment Using Behavior Trees and Model Checking , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
[17] Piergiorgio Bertoli,et al. A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis , 2007, MoChArt.
[18] Matthew Hause,et al. 2.3.3 Modeling High Level Requirements in UML/SysML , 2005 .