R

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.

Project ID: 218
Name
Last commit
Last update
analysis Loading commit data...
build_and_test Loading commit data...
doc/generator Loading commit data...
examples Loading commit data...
launchers Loading commit data...
model2model Loading commit data...
model2text Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...
update_version.sh Loading commit data...