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)

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

Eclipse based Fiacre simulator.

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)

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.

Eclipse based Fiacre simulator.

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.