RAMSES

Project information

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.

Created on

October 05, 2016

This project does not have a wiki homepage yet