Abstract
COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is an international research effort aiming to ensure system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. In this paper we present COMPASS 3.0, which brings together the results of various development projects since the original inception of COMPASS. Improvements have been made both to the frontend, supporting an updated modeling language and user interface, as well as to the backend, by adding new functionalities and improving the existing ones. New features include Timed Failure Propagation Graphs, contract-based analysis, hierarchical fault tree generation, probabilistic analysis of non-deterministic models and statistical model checking.
Cite
CITATION STYLE
Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J. P., Noll, T., & Tonetta, S. (2019). Compass 3.0. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11427 LNCS, pp. 379–385). Springer Verlag. https://doi.org/10.1007/978-3-030-17462-0_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
