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
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