RAMSES-2

Project information

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/

864 Commits
1 Branch
0 Tags

README
Eclipse Public License 2.0

Created on

June 15, 2020

Copy SSH clone URLgit@gitlab.enst.fr:mbe-tools/ramses-2.git
Copy HTTPS clone URLhttps://gitlab.telecom-paris.fr/mbe-tools/ramses-2.git