Criticité mixte
From Wikipedia, the free encyclopedia
Un système à criticité mixte est un système informatique dont la particularité réside dans le fait qu’il se compose de fonctionnalités critiques et non-critiques[1]. Ce type de système est typiquement soumis à de multiples procédures de certifications, qui ont pour objectif de valider la sûreté du système et la sécurité de ses utilisateurs. On retrouve typiquement ces systèmes informatiques déployés sur des plates-formes embarquées, par exemple dans des dispositifs aériens et automobiles.
Afin de maintenir un niveau de sécurité et de fiabilité suffisant pour le secteur d'activité, ces systèmes se basent sur des solutions logicielles ou matérielles et parfois sur des preuves formelles[2].
Système temps-réel
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 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 T1 et T2, La criticité est définie par[3] :
