Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert (IMT / IRT SystemX)
ARINC 653 systems have to comply with strong requirements with respect to time determinism and resource consumption. However, interacting processes may introduce significant overheads and induce pessimism in schedulability analysis. In this paper, we restrict the ARINC 653 execution and communication models so that a message is delivered as if it was sent at the sender deadline. We take advantage of dedicated inter-partition buffers to provide predictable and efficient implementations for kernel and application suppliers.
Partitioned systems / Inter-partition communication / Deterministic communication protocol