Model-based codesign of critical embedded systems

CEUR Workshop Proceedings

Volumn 507, Issue , 2009, Pages 87-91

  Bozzano, Marco ^a   Cimatti, Alessandro ^a   Katoen, Joost Pieter ^b   Nguyen, Viet Yen ^b   Noll, Thomas ^b   Roveri, Marco ^a  

^a FONDAZIONE BRUNO KESSLER   (Italy)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR PROPAGATION; FUNCTIONAL VERIFICATION; INTEGRATED PLATFORM; MODES OF OPERATION; PERFORMABILITY EVALUATION; REQUIREMENTS ANALYSIS; SAFETY ASSESSMENTS; SOFTWARE AND HARDWARES;

MODELS;

EMBEDDED SYSTEMS;

EID: 84891461523     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. P. Bertoli, M. Bozzano, and A. Cimatti. A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. In Model Checking and Artificial Intelligence, volume 4428 of LNCS, pages 1-18. Springer, 2007.
2. M. Bozzano, A. Cimatti, J.-P. Katoen, V. Y. Nguyen, T. Noll, and M. Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In Proc. SAFECOMP'09. Springer, 2009.
3. M. Bozzano, A. Cimatti, V. Y. Nguyen, T. Noll, J. P. Katoen, and M. Roveri. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proc. MEMOCODE'09, 2009.
4. M. Bozzano and A. Villafiorita. The FSAP/NuSMV-SA Safety Analysis Platform. International Journal on Software Tools for Technology Transfer, 9(1):5-24, 2007.
5. The FSAP/NuSMV-SA platform. http://sra.fbk.eu/tools/FSAP.
6. The MRMC model checker. http://wwwhome.cs.utwente.nl/zapreevis/mrmc/.
7. The NuSMV model checker. http://nusmv.fbk.eu.
8. RAT: Requirements Analysis Tool. http://rat.fbk.eu.
9. Architecture Analysis and Design Language (AADL) V2. SAE Draft Standard AS5506 V2, International Society of Automotive Engineers, Mar. 2008.
10. Architecture Analysis and Design Language Annex (AADL), Volume 1, Annex E: Error Model Annex. SAE Standard AS5506/1, SAE International, June 2006.