Abstract
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying safety-critical systems by capturing functional, probabilistic and hybrid aspects. Analyses are implemented on top of mature model checking tools and range from requirements validation to functional verification, safety assessment via automatic derivation of FMEA tables and dynamic fault trees, to performability evaluation, and diagnosability analysis. The toolset is currently being applied to several case studies by a major industrial developer of aerospace systems. © 2010 Springer-Verlag.
Cite
CITATION STYLE
Bozzano, M., Cimatti, A., Katoen, J. P., Nguyen, V. Y., Noll, T., Roveri, M., & Wimmer, R. (2010). A model checker for AADL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6174 LNCS, pp. 562–565). https://doi.org/10.1007/978-3-642-14295-6_48
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
