论文信息 - Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2 - 字舞流文

Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2

x

Julien Delange | Peter H. Feiler | John Hudak | David P. Gluch

[1] Myron Hecht,et al. A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[2] Arie Gurfinkel,et al. Four Pillars for Improving the Quality of Safety-Critical Software- Reliant Systems , 2013 .

[3] Julien Delange,et al. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment , 2014 .

[4] Neeraj Suri,et al. The customizable fault/error model for dependable distributed systems , 2003, Theor. Comput. Sci..

[5] Peter H. Feiler,et al. Challenges in Validating Safety-Critical Embedded Systems , 2009 .

[6] John Chilenski,et al. Virtual Integration for Improved System Design , 2010 .

[7] David Powell,et al. Failure mode assumptions and assumption coverage , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[8] Peter H. Feiler,et al. Model-Based Engineering with AADL , 2012 .

[9] Andrea Bondavalli,et al. Failure classification with respect to detection , 1990, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems.

[10] Nancy G. Leveson,et al. Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[11] Richard F. Paige,et al. FPTC: Automated Safety Analysis for Domain-Specific Languages , 2008, MoDELS Workshops.