Criticité mixte

Un modèle retrouvé dans les systèmes à criticité mixte concerne la gestion des tâches dans un environnement temps-réel[3]. Un système est défini comme un ensemble fini de composants K. Chaque composant a un niveau de criticité L, défini par le développeur du système. Ces composants sont appelés tâches. Chaque tâche ${\displaystyle \tau }$est définie par :

• Une période d’exécution P
• Une échéance E
• Un pire temps d’exécution C
• Un niveau de criticité L

Dans un système temps-réel, pour deux tâches T₁ et T_2, La criticité est définie par[3]  :

${\displaystyle L1>L2\implies C1\geq C2}$

${\displaystyle L1>L2\implies P1\leq P2}$

${\displaystyle L1>L2\implies E1\geq E2}$

Les noyaux de séparation[4] sont des noyaux fournissant un service d'isolation spatiale et/ou temporelle en mettant en place des environnements (partition) séparés au point de vue mémoire, avec un fort contrôle des flux de données entre ces environnements.

Dans le domaine des systèmes embarqués critiques, le concept de partitionnement permet d'implémenter un environnement avec de fortes garanties de sécurité. Un système utilisant un mécanisme de partitionnement a comme propriété de confiner les erreurs ou pannes. Une erreur qui survient est isolée du reste du système afin d'éviter toute propagation.[5]

On distingue deux types de partitionnements. Le partitionnement spatial (mémoire) ainsi que le partitionnement temporel (ordonnancement)[1]. Pour ce faire, des noyaux de séparation sont utilisés afin d'implémenter les mécanismes de partitionnement. Les composants gérés par ce type de système sont nommés partitions.

L'isolation spatiale garantit que chaque partition ne peut changer le code des autres partitions ou accéder à des données privées[5].

Dans un système temps-réel, l'isolation temporelle[5]^,[6] garantit que :

• l'exécution d'une tâche n'affecte pas le comportement des autres tâches
• chaque tâche atteint ses objectifs d'exécution (délai, durée, échéance).