Ensuring robust partitioning in multicore platforms for IMA systems

Xavier Jean (1, 2) , David Faura (2) , Marc Gatti (2) , Laurent Pautet (1) , Robert Thomas (1)

1 LTCI - Laboratoire Traitement et Communication de l'Information
2 Thales Avionics

The use of multicore in avionics requires new methods to enforce robust partitioning; ARINC 653 time partitioning is not applicable; Inter-partition true parallelism; Concurrent transactions management in the interconnect with few visibility on its behavior; Incremental certification objectives.

Domaines: Systèmes embarqués; Système d'exploitation [cs.OS]; Génie logiciel [cs.SE]

Xavier Jean, David Faura, Marc Gatti, Laurent Pautet, Robert Thomas. Ensuring robust partitioning in multicore platforms for IMA systems. 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), Oct 2012, Williamsburg, VA, United States. ⟨10.1109/DASC.2012.6383088⟩. ⟨hal-03023115⟩