Model-Based Engineering for the Development of ... - Julien Delange
Model-Based Engineering for the Development of ... - Julien Delange
Model-Based Engineering for the Development of ... - Julien Delange
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
From AADL specifications to ARINC653 code<br />
Generate module and partitions code<br />
• Configure partitions scheduling<br />
• Set memory requirements<br />
• Configure communications<br />
AADL model<br />
Ocarina<br />
Compilation with an ARINC653 OS<br />
• POK, highly configurable OS<br />
• Automatic configuration from AADL<br />
POK, ARINC653 OS<br />
Generated code<br />
Application<br />
code<br />
Integration <strong>of</strong> application-level code<br />
• Potentially from Simulink, Scade ...<br />
Compilation/Integration<br />
Binary<br />
10 AEROTECH09<br />
<strong>Model</strong>-<strong>Based</strong> <strong>Engineering</strong> <strong>for</strong> <strong>the</strong> <strong>Development</strong><br />
<strong>of</strong> ARINC653 Architectures