Deliverables of the S2C project managed by IRT Saint Exupéry and SystemX
Updated 1 day ago
All the data obtained with our systems engineering assistant.
Updated 1 day ago
AIDA is a study case for model based system engineering, made by MOISE project. This project contains the safety models and analyses of AIDA
Updated 2 years ago
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)
Updated 2 years ago
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)
Updated 2 years ago
Eclipse based Fiacre simulator.
Updated 5 years ago
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.
Updated 5 years ago
List of public documents and supports about MOISE project
Updated 6 years ago
Eclipse based Fiacre simulator.
Updated 6 years ago
This model transformation developed during the INGEQUIP project initialize an equipment architecture in AADL from a physical architecture in Capella.
Updated 6 years ago
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.
Updated 6 years ago
Updated 7 years ago