360 likes | 1.48k Views
An ongoing use of Polychrony Modeling of Modular Avionics Architectures (based on ARINC 653 standard). Integrated Modular Avionics architectures (IMA). ARINC 653 standard.
E N D
An ongoing use of Polychrony Modeling of Modular Avionics Architectures(based on ARINC 653 standard) • Integrated Modular Avionics architectures (IMA)
ARINC 653 standard • Describes the APEX (APplication EXecutive) services (communication, synchronization, process/time management…) based on the IMA approach
Modeling of partitions within Polychrony • SIGNAL executive model of a partition: • services model + process model + partition level OS model
Application to embedded implementation of avionics simulator components • Serializing real-time JAVA applications in SIGNAL with the ARINC API real-time JAVA runtime API threads initialization real-time thread real-time thread model translate wrappers of the ARINC API of signal instances of ARINC classes ARINC partition ARINC process ARINC process