gitlab.telecom-paris.fr / 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/
étoiles: 0
forks: 0
issues ouvertes:
licence: epl-2.0
langage:
dépendances analysées:
0
date de création: il y a plus de 5 ans
date de mise à jour: il y a plus d'un an
dernière synchronisation: il y a plus d'un an