AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
systems.
Our intent is to provide a repository to gather all AIDA safety modellings and artifacts in order to share different approaches and tools.
If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery (systems-engineering@irt-saintexupery.com). We would be pleased to answer your questions.
Currently, the following works use this use case :
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
- model : contains the SimfiaNeo model (to be opened with SimfiaNeo V1.3.2 - see https://www.protect.airbus.com/safe-mobility/simfianeo/ for more information)
- CL_set : contains the description of the Consistency Links (CL) set
defined for the study of the MBSE-MBSA structural consistency according to the SSR method
(see deliverable LIV-S085L02-023 / ISX-S2C-DOC-436 from S2C project).