AIDA is a study case for model based system engineering, made by MOISE project. This project contains the safety models and analyses of AIDA

AIDA is a study case for model based system engineering, made by MOISE project. This project contains the architecture model of AIDA (made with Capella)

This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.

This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.

List of public documents and supports about MOISE project

This model transformation developed during the INGEQUIP project initialize an equipment architecture in AADL from a physical architecture in Capella.

Eclipse based Fiacre simulator.

Eclipse based Fiacre simulator.

Public results of the System Safety Consistency (S2C) project runned by IRT Saint Exupéry and IRT SystemX

AIDA is a study case for model based system engineering, made by MOISE project. This project contains the simulation model of AIDA (made with SimulationX in Modelica)