Characterization of failure effects on AADL models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8153 LNCS, Issue , 2013, Pages 241-252

  Ern, Bernhard ^a   Nguyen, Viet Yen ^b   Noll, Thomas ^b  

^a Next Level Integration GmbH   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL); FAILURE EFFECTS; FAILURE MODES AND EFFECTS ANALYSIS; FORMAL CONCEPTS; STATE TRANSITION SYSTEMS; SYSTEM MODELING; SYSTEM SPECIFICATION;

SAFETY FACTOR; SPECIFICATIONS;

SECURITY OF DATA;

EID: 84886439433     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40793-2_22     Document Type: Conference Paper

References (11)

1. Architecture, Analysis and Design Language AS5506. SAE (2004)
2. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, Dependability and Performance Analysis of Extended AADL Models. Computer Journal 54(5), 754-775 (2011)
3. COMPASS Project, http://compass.informatik.rwth-aachen.de
4. Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)
5. Ern, B.: Model-Based Criticality Analysis by Impact Isolation. Master's thesis. RWTH Aachen University (2012)
6. Esteve, M.-A., Katoen, J.-P., Nguyen, V.Y., Postma, B., Yushtein, Y.: Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. In: Proc. 34th International Conference on Software Engineering (ICSE 2012), pp. 1022-1031 (2012)
7. Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proc. 32nd Symposium on Principles of Programming Languages (POPL 2005), pp. 110-121 (2005)
8. Hecht, M., Lam, A., Vogl, C., Dimpfl, C.: A Tool Set for Generation of Failure Modes and Effects Analyses from AADL Models. Presentation at Systems and Software Technology Conference 2012 (2012)
9. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional (2003)
10. Odenbrett, M.R.: Explicit-State Model Checking of an Architectural Design Language using SPIN. Diplomarbeit. RWTH Aachen University (2010)
11. Winskel, G.: Events, Causality and Symmetry. Computer Journal 54(1), 42-57 (2011)