Modelling and analyzing multi-core COTS processors

Frédéric Boniol (1) , Julien Brunel (1) , Kevin Delmas (1) , Claire Pagetti (1) , Victor Jegu (2)

1 DTIS, ONERA, Université de Toulouse [Toulouse]
2 AIRBUS Operations Ltd.

To embed multi-core COTS processors in an avionic product, the platform must be thoroughly analyzed from two perspectives: the worst case real-time behaviours and the safety impact of internal failures. Both activities are very complex and error-prone for large size systems. Moreover, the frameworks for both perspectives (real-time and safety) are completely decoupled, leading to independent and possibly incoherent analyses. Our purpose is to unify both worlds and help designers in their certification process. To this end, we have formalized and unified as much as possible the different perspectives of multi-core analysis. We have also proposed a simple description language for the platform, which contains the minimal concepts needed by both perspectives, as well as an automatic translation to the two analysis frameworks.

Domains: Computation and Language [cs.CL]

Frédéric Boniol, Julien Brunel, Kevin Delmas, Claire Pagetti, Victor Jegu. Modelling and analyzing multi-core COTS processors. 11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France. ⟨hal-03761937⟩