gitlab.telecom-paris.fr / mbe-tools 13 Dépôts
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
dernière synchronisation: il y a 8 mois - enregistré: il y a environ un an - étoiles: 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/
dernière synchronisation: il y a 8 mois - étoiles: 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
dernière synchronisation: il y a 8 mois - enregistré: il y a environ un an - étoiles: 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.
dernière synchronisation: il y a 8 mois - étoiles: 1 - forks: 0
mbe-tools/aadl-mt-bench
A Benchmark of Incremental Model Transformation Tools based on an Industrial Case Study with AADL
dernière synchronisation: il y a 8 mois - étoiles: 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.
dernière synchronisation: il y a 8 mois - enregistré: il y a environ un an - étoiles: 3
mbe-tools/AADL-to-SystemC
Generation of SystemC code from AADL models for functional simulation
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0
mbe-tools/ADOSATE
Model synchronization between Adele and OSATE with MoTE TGG.
dernière synchronisation: il y a 8 mois - étoiles: 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/).
dernière synchronisation: il y a 8 mois - étoiles: 0 - forks: 0