Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • AIDA / AIDAArchitecture

    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)

    2
    updated
  • AIDA / AIDASafety

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

    2
    updated
  • MOISE / Pattern-Instanciation-On-System-Engineering-Model

    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.

    0
    updated
  • MOISE / Timed-Altarica-To-Fiacre-Translator

    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.

    1
    updated
  • INGEQUIP / Capella2AADL

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

    0
    updated
  • 0
    updated
  • INGEQUIP / Fiacre_Simulator

    Eclipse based Fiacre simulator.

    0
    updated
  • Silvano Dal Zilio / Fiacre_Simulator

    Eclipse based Fiacre simulator.

    0
    updated
  • MOISE / Public-Documents

    List of public documents and supports about MOISE project

    0
    updated
  • AIDA / AIDASimulation

    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)

    0
    updated
  • S2C / Public-Documents

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

    0
    updated