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

Projet FSF

 

 

- ABONNEMENT NEWSLETTER

Inscrivez-vous à la newsletter de l'IRT SystemX

et recevez chaque mois les dernières actualités de l'institut :