The following demonstration shows hos to integrate the generated code from models into commercial ARINC653 operating systems. AADL models are edited with the Open Source AADL Tool Environment (OSATE) toolset AADL toolset and the code is generated using the Ocarina AADL code generator tool. For this demonstration, we target two commercial ARINC653 operating systems: Deos from DDC-I and VxWorks653 from Windriver.
This demonstration is separated into two use cases:
- Generation of ARINC653 XML configuration and C partition code from AADL
- Integration of functional models (SCADE) with the code generated from AADL models
This demonstration shows the automation of code production from models. It also shows once the model is validated, the system can be automatically deployed on top of different operating systems while preserving the same characteristics validated when analyzing the model.