Method and Tools for Mixed-Criticality Real-Time Applications within PharOS

Matthieu Lemerre (1) , Emmanuel Ohayon (2) , Damien Chabrol (2) , Mathieu Jan (2) , Marie-Benedicte Jacques (2)

1 DRT (CEA) - Direction de Recherche Technologique (CEA)
2 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

This paper provides an overview of some principles and mechanisms to securely operate mixed-criticality real-time systems on embedded platforms. Those principles are illustrated with PharOS a complete set of tools to design, implement and execute real-time systems on automotive embedded platforms. The keystone of this approach is a dynamic time-triggered methodology that supports full temporal isolation without wasting CPU time. In addition, memory isolation is handled through automatic off-line generation of fine-grained memory protection tables used at runtime. These isolation mechanisms are building blocks for the support of mixed-criticality applications. Several extensions have been brought to this model to expand the support for mixed-criticality within the system. These extensions feature fault recovery, support for the cohabitation of event-triggered with time-triggered tasks and paravirtualization of other operating systems. The contribution of this paper is to provide a high-level description of these extensions, along with an analysis of their impact on the global system safety, in particular on the determinism property of the PharOS model.

Mots clés: dissemin

Domaines: Informatique [cs]

Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Benedicte Jacques. Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011, -, France. ⟨10.1109/isorcw.2011.15⟩. ⟨hal-03146293⟩