Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert (IMT / IRT SystemX)
Résumé
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.
Mots-clés
Partitioned systems / Inter-partition communication / Deterministic communication protocol
Source
AdaEurope 2014
http://link.springer.com/chapter/10.1007%2F978-3-319-08311-7_12
Projet IRT
