No group avatar

mbe-tools

  • RAMSES

    RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.

    updated
  • TTool

    TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paristech.fr and @TTool_UML_SysML

    updated
  • utilities

    This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE

    updated