Deliverables of the S2C project managed by IRT Saint Exupéry and SystemX
Updated 2025-02-07 09:28:05 +01:00
An augmented YANG Ethernet TSN network data model to interface Ethernet TSN network design tools (e.g. simulator, formal analysis) and hardware.
Updated 2025-01-10 09:53:48 +01:00
All the data obtained with our systems engineering assistant.
Updated 2025-01-04 13:07:31 +01:00
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 2023-03-28 10:40:16 +02:00
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 2022-10-21 11:55:36 +02:00
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 2022-09-14 06:55:52 +02:00
Eclipse based Fiacre simulator.
Updated 2020-02-14 15:13:58 +01:00
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 2019-12-19 16:19:20 +01:00
List of public documents and supports about MOISE project
Updated 2019-02-07 17:30:01 +01:00
Eclipse based Fiacre simulator.
Updated 2019-01-15 15:23:38 +01:00
This model transformation developed during the INGEQUIP project initialize an equipment architecture in AADL from a physical architecture in Capella.
Updated 2018-12-10 12:00:03 +01:00
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 2018-12-06 16:01:56 +01:00
Updated 2018-07-17 13:41:57 +02:00