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),
- How to use the model.pdf : describes how to open and play the AIDA simulation with OpenModelica
- AIDAModelica library: contains all the model used in AIDA_System.mo model
- AIDA_System.mo : model of AIDA based on AIDAModelica library
- Simulation viewpoint.pdf: contains the diagram that explain the difference between the AIDA system architecture, found in this forge and AIDA simulation model