gitlab.telecom-paris.fr / mbe-tools 13 Repositories
mbe-tools/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-paris.fr and @TTool_UML_SysML
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0
mbe-tools/ramses-2
RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/
Last synced at: 7 months ago - Stars: 0 - Forks: 0
mbe-tools/utilities
This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
mbe-tools/vafl
Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.
Last synced at: 7 months ago - Stars: 1 - Forks: 0
mbe-tools/aadl-mt-bench
A Benchmark of Incremental Model Transformation Tools based on an Industrial Case Study with AADL
Last synced at: 7 months ago - Stars: 0 - Forks: 0
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.
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 3
mbe-tools/AADL-to-SystemC
Generation of SystemC code from AADL models for functional simulation
Last synced at: 7 months ago - Stars: 0 - Forks: 0
mbe-tools/ADOSATE
Model synchronization between Adele and OSATE with MoTE TGG.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
mbe-tools/mpm4cps-private
This project contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).
Last synced at: 7 months ago - Stars: 0 - Forks: 0