Voir la source de Isolation des systèmes temps réel

L''''isolation des [[Système temps réel|systèmes temps réel]]''' est une nécessité pour garantir la fiabilité et la sécurité en limitant ou en empêchant certaines interactions entre les différents composants d'un système. Dans les [[Système temps réel|systèmes temps réel]], les composants à isoler les uns des autres sont généralement les différentes tâches exécutées sur le système et les ressources spatiales et temporelles que celles-ci utilisent. Les ressources spatiales comprennent les différents types de mémoires présents dans le système : mémoire cache, mémoire vive, etc. Les ressources temporelles correspondent au temps pendant lequel une tâche a accès au processeur en comprenant le temps d'accès aux ressources. Selon le type d'isolation recherchée (spatiale, temporelle, consommation d'énergie, etc.), différentes solutions peuvent être mises en place. Ces différentes solutions peuvent passer par la [[virtualisation]] ou par le partitionnement des ressources, c'est-à-dire, limiter l'accès aux ressources de certaines tâches pour améliorer le temps d'accès à ces ressources. Ces pratiques de partitionnement sont notamment très répandues dans les systèmes [[Système temps réel|systèmes temps réel]] qui possèdent un [[Microprocesseur multi-cœur|processeur multi-cœur]] car cela permet une meilleure isolation temporelle entre les tâches exécutées sur les différents cœurs en rendant le temps d'accès aux ressources partagées plus déterministe. Les [[Criticité mixte|systèmes à criticité mixte]] sont un type de [[système temps réel]] qui doivent fournir certaines garanties quant à leur capacité à faire cohabiter les tâches à criticités élevées et faibles. Dans un [[Criticité mixte|système à criticité mixte]] il y a au minimum deux niveaux de criticité, critique et non-critique, et plus le niveau de criticité d'une tâche est élevé, plus les contraintes sur cette tâche seront fortes.

== Systèmes à criticité mixte ==

=== Définition ===
Les [[Criticité mixte|systèmes à criticité mixte]] (Mixted Criticality Systems en anglais ou MCS) désigne des [[Système temps réel|systèmes temps réel]] sur lesquels des applications avec des niveaux de criticité différents cohabitent et peuvent échanger des ressources sans qu'il soit nécessaire de prévoir les cas particuliers<ref name="ecco2014 p1">{{harvsp|Ecco|2014|p=1|id=ecco2014}}</ref>. À chaque [[Processus (informatique)|processus]] est associé un niveau de criticité qui correspond à un palier d'importance prédéfini dans le système. Un [[Criticité mixte|système à criticité mixte]] a au moins deux niveaux de criticité distincts. Ces groupes de criticité assurent un niveau de confiance hétérogène permettant d'éviter la propagation des erreurs. À chaque processus est attribué un niveau de criticité qui correspond un niveau de confiance que ce processus se doit de respecter : plus le niveau de criticité de ce processus sera élevé, plus cela signifie que la confiance que l'on attribue à ce processus est forte et plus il doit être isolé des autres processus et moins il doit avoir de chance d'être corrompu par les erreurs des autres processus. Un [[Processus (informatique)|processus]] dans un [[Criticité mixte|système à criticité mixte]] se distingue des autres systèmes par des paramètres spécifiques tels que le [[Worst Case Execution Time|temps d'exécution pire-cas]] (''{{lang|en|texte=Worst Case Execution Time}}'' en anglais ou WCET), une deadline, une période et un niveau de criticité. Le WCET, la période et la deadline dépendent du niveau de criticité de la tâche. Un niveau de criticité élevé entraîne une majoration importante du WCET pour une application<ref>{{harvsp|Burns|2017|p=3|id=review}}</ref>.

=== Problématiques ===
Les [[Criticité mixte|systèmes à criticité mixte]] doivent apporter un certain nombre de garanties quant à la capacité qu'ils ont à exécuter en harmonie sans que les tâches critiques ne dépassent leur échéance. D'après Burns et Davis, cela implique de trouver un compromis entre le partitionnement des ressources pour assurer un certain niveau de sécurité des tâches et le partage des ressources de manière efficace pour assurer la sûreté du système. Une bonne gestion des ressources implique également d'apporter au système des solutions d'accès déterministe aux ressources.

==== Partage & partitionnement ====
La problématique principale des [[Criticité mixte|systèmes à criticité mixte]] réside dans le bon équilibre entre partitionnement et partage des ressources.
La gestion des ressources partagées est cruciale pour assurer des performances suffisantes pour accueillir des tâches [[Système temps réel|temps réel]]. L'allocation de ces ressources est notamment un des points critiques à aborder dans un [[système temps réel]]. Par exemple, le temps d'accès à la mémoire partagée peut varier selon que la page à laquelle la tâche souhaite accéder n'a pas été utilisée depuis longtemps par le [[Processus (informatique)|processus]] propriétaire de la page<ref>{{harvsp|Hyoseung|2012|p=168|id=Hyoseung2012}}</ref>.
Le partitionnement des ressources est une problématique importante dans les [[Criticité mixte|systèmes à criticité mixte]]. La répartition du temps d'utilisation du [[processeur]], par exemple, peut permettre de réduire l'impact d'une [[attaque par déni de service]] (Denial of Service en anglais) visant à utiliser la totalité du temps de calcul du [[processeur]] ou encore en ayant une utilisation intensive des [[Ressource (informatique)|ressources]] partagées<ref name="Herber2014 p21">{{harvsp|Herber|2014|p=21|id=Herber2014}}</ref>.

==== Délai d'accès aux ressources ====
Pour respecter ces garanties, les [[Criticité mixte|systèmes à criticité mixte]] se doivent de pouvoir accéder aux ressources sans qu'une tâche ne puisse interférer avec le temps d'exécution des autres tâches. Le temps d'exécution d'une tâche étant intimement lié au délai d'accès aux ressources comme la [[Mémoire (informatique)|mémoire]] ou le [[Mémoire cache|cache]], il est important de disposer de mécanisme permettant de rendre déterministe le délai lié d'accès à une [[Ressource (informatique)|ressource]]<ref>{{harvsp|Farshchi|2017|p=3|id=Farshchi2017}}</ref>.

== Sûreté ==
{{Article connexe|Sûreté de fonctionnement des systèmes informatiques}}
La sûreté sera abordé sous l'angle de la fiabilité du système temps réel. C'est donc naturellement que le thème de l'isolation temporelle sera plus abordé car l'isolation temporelle permet d'assurer directement la fiabilité du système en faisant en sorte que chaque tâche respecte ses échéances. L'isolation temporelle est directement reliée à la fiabilité du système dans le sens où une tâche isolée temporellement des autres tâches s'exécutera comme si elle était seule à être exécutée sur le système ce qui évitera des variations de temps d'exécution. L'isolation spatiale permet, de son côté, d'assurer une partie de la fiabilité du système en empêchant une erreur de programmation d'affecter d'autres tâches que celle qui a provoqué l'erreur.

=== Isolation temporelle ===
Un [[Processus (informatique)|processus]] est isolé temporellement s'il s'exécute indépendamment de la charge de travail des autres [[Processus (informatique)|processus]] ; son temps d'exécution n'est pas influencé par l'exécution d'autres [[Processus (informatique)|processus]] sur le système<ref>{{harvsp|Cucinotta|2013|p=189|id=Cucinotta2013}}</ref>{{,}}<ref>{{harvsp|Cucinotta|2012|p=19|id=Cucinotta2012}}</ref>.

=== Systèmes à criticité mixte et isolation temporelle ===
L'exécution de fonctionnalités critiques doit être protégée des interférences générées par des [[Processus (informatique)|processus]] non critiques. Une première approche consiste à partager le temps du [[processeur]] entre les tâches de manière la plus proche de l'optimale possible. Le calcul du ''{{lang|en|texte=worst-case execution time}}'' (WCET) est une borne haute utilisée pour répartir le temps de calcul du [[processeur]] entre les tâches. Il s'agit d'une garantie de temps de réponse pour les applications en cours d'exécution<ref>{{harvsp|Sha|2016|p.73|id=Sha2016}}</ref>.
Le modèle courant utilisé dans les [[Criticité mixte|systèmes à criticité mixte]] pour assurer l'isolation temporelle est basé sur ces caractéristiques : les tâches T{{ind|i}} sont définies par une période défini par l'intervalle de temps qui sépare deux activations de la tâche, une limite D{{ind|i}}, le temps d'exécution C{{ind|i}} et un niveau de criticité L{{ind|i}}<ref>{{harvsp|Burns|2017|p=5|id=review}}</ref>.

=== ''Response Time Analysis'' ===
''Response Time Analysis'' (RTA) est une méthode consistant à évaluer le temps de réponse pour déterminer le temps d'exécution d'une tâche et ainsi prévenir le dépassement de temps alloué pour ce [[Processus (informatique)|processus]]. L'intérêt est d'approcher la valeur optimale d'utilisation des ressources.
Dans l'article écrit par Baruah une première possibilité (pour l'implémentation de RTA) est de ranger les tâches par niveau de criticité puis d'utiliser l'algorithme de Audsley sur chaque niveau de criticité pour assigner les priorités aux tâches en les ordonnant de la plus basse à la plus haute. Le test d'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] des tâches se fait en parcourant par ordre croissant de priorité le niveau de criticité basse puis le niveau de criticité haute.
L'approche de Vestal prend en compte deux types de criticité : haute et basse. Les tâches peuvent être interrompues pendant leur traitement quel que soit leur niveau de criticité et toutes les tâches doivent être exécutées comme si elles avaient le plus haut niveau de criticité. Elle se distingue de la méthode précédente dans l'article de Baruah parce qu'elle ne définit pas les priorités par deadline monotonic. En effet Vestal a démontré que le "''deadline monotonic prority assignment''" n'était pas optimal pour les tâches qui ont plus d'un ''WCET'' (''{{lang|en|texte=Worst Case Execution Time}}'')<ref>{{harvsp|Burns|2017|p=7|id=review}}</ref>{{,}}<ref>{{harvsp|Baruah|2011|p=3|id=baruah2011}}</ref>.

=== ''Slack Scheduling'' ===
D'autres méthodes existent, comme le ''Slack Scheduling'' qui consiste à utiliser le temps non utilisé par les tâches critiques pour les tâches non critiques<ref>{{harvsp|Burns|2017|p=11|id=review}}</ref>.
''Least Slack Time First'' (LST) est une implémentation pour laquelle un ''slack time'' court privilégie une tâche en augmentant sa priorité.

<math>\Delta{u} = \sum_{i \mathop =1}^n \frac{e_i}{D_i} \leqslant 1</math>

Cette équation mesure le taux d'utilisation du processeur.

D{{ind|i}} représente la limite de temps relative pour cette tâche, e{{ind|i}} le temps d'exécution alloué à la tâche pour chaque période. u représente la somme du rapport entre e{{ind|i}} et D{{ind|i}} pour chaque tâche, il s'agit d'un coefficient.
{| class="wikitable centre" width="80%"
|+ Exemple avec 3 tâches
|-
! scope=col | Tasks
! scope=col | D{{ind|i}}
! scope=col | e{{ind|i}}
|-
| width="33%" |
T1
| width="34%" |
12
| width="33%" |
3
|-
| width="33%" |
T2
| width="34%" |
6
| width="33%" |
3
|-
| width="33%" |
T3
| width="34%" |
4
| width="33%" |
1
|}
Les tâches suivantes devraient s'exécuter de manière optimale : sans que le processeur soit dans une situation où il n'ait rien à exécuter. On voit que <math>\Delta{u} = 1</math>, il n'y a pas de temps mort<ref>{{harvsp|Hwang|2010|p=4|id=hwang2010}}</ref>.

=== ''Period Transformation'' ===
Il est également possible de faire coexister des applications critiques et non critiques en transformant la période des tâches (''Period Transformation''). Le principe est de diviser les tâches critiques, ainsi la période et le temps d'exécution de ces sous tâches est inférieure ce qui augmente leur priorité d'exécution par rapport aux tâches non critiques. La contrepartie de cette solution est l'accroissement du temps d'exécution d'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] dû à l'augmentation du nombre de tâches<ref>{{harvsp|Burns|2017|p=12|id=review}}</ref>.

=== Exception temporelle ===
La programmation orientée objet offre la possibilité d'attribuer une contrainte à une suite d'instructions. Si l'une des instructions ne se respecte pas la contrainte, un événement, aussi appelé exception, vient interrompre l'exécution normale du programme.
Appliquée aux [[Système temps réel|systèmes temps réel]], une exception générée après un temps donné est un moyen efficace d'isoler temporellement les [[Processus (informatique)|processus]] en les empêchant de dépasser le temps qui leur a été attribué<ref>{{harvsp|Cucinotta|2012|p=11|id=Cucinotta2012}}</ref>. Les méthodes utilisant des délais est courant dans les systèmes [[Tolérance aux pannes|tolérants aux pannes]] : l'expiration de ce délai met en évidence une anomalie dans l'exécution du [[Processus (informatique)|processus]]. Une fois l'anomalie détectée, il devient possible de la gérer par l'arrêt du [[Processus (informatique)|processus]], par exemple<ref>{{harvsp|Burns|2017|p=20|id=review}}</ref>{{,}}<ref>{{harvsp|Risat|2014|p=510|id=Risat2014}}</ref>.

=== Multicœurs et isolation temporelle ===
Dans le contexte d'une plateforme [[Microprocesseur multi-cœur|multi-cœurs]] d'autres pistes ont été abordées comme l'exécution exclusive des tâches critiques sur les cœurs disponibles pendant un intervalle de temps avant que les applications non critiques puissent prendre la main<ref>{{harvsp|Baruah|2014|p=21|id=baruah2014}}</ref>.
''AMC'' (''{{lang|en|texte=Analyzable Memory Controller}}'') s'appuie sur une segmentation en deux groupes d'applications distinctes : critiques et non critiques. En l'absence de nécessité d'exécuter des tâches critiques alors les tâches non critiques peuvent être prises en considération, à l'inverse se sont toujours les tâches critiques qui ont la main<ref>{{harvsp|Ecco|2014|p=4|id=ecco2014}}</ref>.

=== Cache partagé ===
Le [[Mémoire cache|cache]] partagé étant une des ressources les plus sollicitées, le temps d'accès à celle-ci peut être très variable même lorsque chaque cœur possède sa partition dédiée de [[Mémoire cache|cache]]. Cette ressource pouvant faire varier le [[Worst Case Execution Time|temps d'exécution pire-cas]] d'une tâche (''[[Worst Case Execution Time]]'' en anglais ou ''WCET''), rendre plus prévisible le temps d'accès à celle-ci permettrait donc d'améliorer le [[Worst Case Execution Time|temps d'exécution pire-cas]] d'une tâche<ref>{{harvsp|Kumar|2017|p=674|id=Kumar1}}</ref>{{,}}<ref>{{harvsp|Kumar|2016|p=1|id=Kumar2}}</ref>.

=== Ordonnancement ''Memory-Centric'' ===
Les appels mémoire intensifs par les applications sur des architectures [[Microprocesseur multi-cœur|multi-cœurs]] peuvent entraîner une augmentation linéaire du temps pour le [[Worst Case Execution Time|temps d'exécution pire-cas]] (''[[Worst Case Execution Time]]'' en anglais ou WCET) en fonction du nombre de cœurs gérés par le système. Pendant une période où les transactions mémoire sont importantes il est possible d'adopter un [[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] dit "''memory-centric''". L'implémentation est effectuée par l'[[Isolation (informatique)|isolation]] dans un premier temps : ''Time Division Multiple Access'' (''TDMA'') qui consiste à partager le temps d'accès avec une marge importante (''coarse-grained'') pour permettre en même temps l'exécution et les accès mémoire et pour diminuer le temps de réponse des applications. Dans un second temps l'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] par cœur privilégie l'accès aux tâches qui effectuent des opérations mémoires intensives. L'avantage lié à l'utilisation de l'[[Isolation (informatique)|isolation]] temporelle ''TDMA'' est de rendre l'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] prédictible. L'[[Isolation (informatique)|isolation]] au niveau de chaque cœur peut être vu comme s'il faisait partie d'une architecture "''single-core''"<ref>{{harvsp|Yao|2012|p=1|id=yao2012}}</ref>.

=== Système d'exploitation temps réel avec ordonnancement pleinement préemptif ===
Les [[Système temps réel|systèmes temps réel]] ne disposent pas de mécanismes de protections en général. Les besoins de l'industrie évoluent, il devient difficile de concilier sécurité et performance en voulant intégrer de plus en plus de fonctionnalités sur des systèmes non protégés. L'utilisation d'un système d'exploitation intégrant ces protections n'est pas envisageable dans l'état pour une utilisation temps réel du fait de la difficulté de prédiction du temps de réponse. Il est possible de séparer les fonctionnalités temps réel des autres en les exécutant sur des processeurs dédiés mais cela entraîne une hausse des coûts d'intégration. Une solution proposée est d'utiliser un système avec [[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] complètement préemptif : avec la possibilité de changer de tâche pour un processeur à n'importe quel moment (même pendant l'exécution d'une tâche en cours sur ce processeur). Il est également possible d'interrompre l'exécution du code du [[Noyau de système d'exploitation|kernel]] pendant l'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]]. Seules certaines sections critiques ne peuvent être interrompues en général pour modifier des structures de données. Cette implémentation a l'avantage de permettre d'obtenir de très bon résultats au niveau de la latence pendant les interruptions. Cependant la difficulté réside dans l'implémentation d'un tel système où les interruptions peuvent produire des résultats inattendus ou des crashs si le système présente des défauts. Il faut également prendre en considération la difficulté à analyser le comportement dans un contexte concurrent et la reproduction des bugs<ref>{{harvsp|Blackham|2011|p=1|id=blackham2011}}</ref>.

=== Ordonnancement hiérarchique ===
L'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] hiérarchique est très utilisé dans les [[Système temps réel|systèmes temps réel]]. Un hyperviseur attribue une part du temps de calcul à chaque [[machine virtuelle]]. Cette ordonnanceur est aussi appelé ordonnanceur global. À l'intérieur de chaque [[machine virtuelle]], un ordonnanceur local gère les tâches<ref>{{harvsp|Balbastre|2009|p=315|id=Balbastre2009}}</ref>.
L'utilisation de ce type d'[[Ordonnancement dans les systèmes d'exploitation|ordonnancement]] provoque néanmoins une perte conséquente de performance provenant de l'utilisation d'un hyperviseur<ref>{{harvsp|Burns|2017|p=21|id=review}}</ref>.
Cette méthode permet d'assurer l'isolation temporelle des applications car le temps d'utilisation du processeur est décidé par l'ordonnanceur de l'hyperviseur qui divise la totalité du temps d'utilisation du processeur entre les [[Machine virtuelle|machines virtuelles]]<ref>{{harvsp|Bertrand|2010|p=27|id=Bertrand2010}}</ref>.

=== Ordonnancement par probabilité ===
Sur des architectures matérielles dont les composants se basent sur un temps aléatoire (''time-randomised''), on calcule le pWCET (''Probabilistic [[Worst Case Execution Time]]''). On peut l'obtenir en définissant une fonction qui dérive du taux d'échec maximum associé à un niveau de criticité.
La distribution couverte par le ''pWCET'' définit des estimations du ''WCET'' pour les différents niveaux de criticité d'une même tâche<ref>{{harvsp|Burns|2017|p=22|id=review}}</ref>.

=== Ressources partagées ===
[[Fichier:Archi.png|vignette|226x226px|Schéma de mémoire partagée]]
Quand on aborde le transfert de données entre applications de niveau de criticité différents, on est confronté à l'incertitude quant à la fiabilité des données provenant d'une tâche non critique à destination d'une tâche critique, à moins que le composant critique dispose d'un mécanisme lui permettant de détecter les incohérences éventuelles. Dans le cas d'un transfert de données d'une tâche critique vers une tâche non critique, il faut également prévoir un blocage ou retard éventuel dû à l'activité du processus non critique (utilisation d'un sémaphore…)<ref>{{harvsp|Burns|2017|p=15|id=review}}</ref>.

Dans un système multicœur, les ressources partagées telles que le cache peuvent représenter un goulot d'étranglement. Certaines tâches peuvent influer sur l'exécution des autres tâches en accédant de manière répétée aux ressources partagées ce qui empêcherait les autres tâches d'y accéder efficacement sauf si un système d'[[Isolation (informatique)|isolation]] entre les cœurs est mis en place<ref>{{harvsp|Sha|2016|p=69|id=sha2016}}</ref>.

==== Sections critiques ====
Il est possible d'éviter les situations de blocage en se servant du concept de sections critiques. L'objectif d'une section critique est de limiter l'accès à une ressource. Cette limitation peut prendre plusieurs formes, il est possible de passer par une limitation de l'accès aux ressources de certains cœurs pour une période donnée lorsqu'une application critique a besoin d'accéder de manière intensive à des ressources<ref>{{harvsp|Heechul|2015|p=1|id=Heechul2015}}</ref>{{,}}<ref>{{harvsp|Heechul|2012|p=299|id=Heechul2012}}</ref>. Il est également possible de gérer cette section critique comme les bases de données gèrent les transactions, on appelle cette méthode de gestion de sections critiques : mémoire transactionnelle. Pour initialiser une transaction, il faut préciser une portion de mémoire sur laquelle on souhaite réaliser les instructions de la section critique ainsi qu'une limite de temps pour réaliser la transaction. Une fois qu'une transaction est initialisée, des lectures et écritures peuvent être réalisés sur la mémoire. À la fin de la section critique, il sera alors possible d'appliquer les changements qui auront été effectué pendant la transaction. Si la transaction a dépassé le temps qui a été précisé lors de l'initialisation, celle-ci est annulé<ref>{{harvsp|Nakamoto|2011|p=347|id=Nakamoto1}}</ref>.

==== Délai d'accès aux ressources ====
Prévenir des situations où la latence entre le moment où un cœur demande l'accès à une ressource et le moment où il y accède effectivement est possible. Des systèmes de gestion de banques de ressources ont été proposés à cet égard pour fluidifier l'accès à la DRAM ([[Mémoire vive dynamique|Dynamic Random Access Memory]]) dans les systèmes multicœurs. Une banque correspond à un ensemble de ressources que l'utilisateur définit. Cela permet à l'utilisateur d'attribuer des ressources auxquelles un cœur aura accès et évitera ainsi que tous les cœurs du processeurs essaient d'accéder en même temps à la même ressource<ref>{{harvsp|Yun|2014|p=155-156|id=Yun2014}}</ref>{{,}}<ref name="ecco2014 p1" />.

==== ''Static scheduling'' ====
Les priorités fixes par ''Response Time Analysis'' (''RTA)'' peuvent être utilisées pour compiler des [[Ordonnancement dans les systèmes d'exploitation|ordonnancements]]. Ces ''computed schedules'' sont établis par niveaux de criticité à l'aide d'une table (''Time Triggered Table'') et permettent de déterminer les sauts effectués entre les niveaux de criticité ce qui est utile dans le cas de ressources partagées comme la mémoire pour éviter l'incertitude<ref>{{harvsp|Burns|2017|p=16|id=review}}</ref>.

==== Réservation de pages ====
Cette méthode consiste à allouer des pages de mémoire partagées de manière statique. Chaque tâche [[Système temps réel|temps réel]] spécifie le nombre de pages dont elle a besoin. Une fois réservées, ces pages ne seront utilisables que par la tâche à laquelle elles sont attribuées et ne peuvent pas être remplacées par les pages d'une autre tâche. Cela permet d'accéder aux pages de mémoire avec un temps d'accès constant, sans que les autres applications puissent influer sur ce temps, ce qui en fait une méthode efficace pour rendre efficace pour rendre déterministe l'accès à la mémoire partagée et isoler temporellement les tâches entre elles<ref>{{harvsp|Kim|2012|p=165|id=Hyoseung2012}}</ref>.

== Sécurité ==
{{Article connexe|Sécurité des systèmes d'information}}
Cette partie concerne la sécurité au sens de la fiabilité, de l'intégrité et de la disponibilité des systèmes temps réel c'est pourquoi cette partie est plus directement reliée à l'isolation spatiale que temporelle. L'isolation temporelle peut être indirectement reliée à la sécurité en évitant qu'une tâche n'accapare les ressources. En revanche, l'isolation spatiale est directement reliée à la sécurité des systèmes temps réel car ces systèmes étant de plus en plus présents, se prévenir d'attaque visant à leur nuire passe dans un premier temps par le fait d'éviter qu'un attaquant puisse avoir accès à toute la mémoire du système.

=== Isolation mémoire ===
Pour assurer la sécurité d'un système, la propriété la plus importante à respecter est l'[[Isolation (informatique)|isolation]] mémoire<ref>{{harvsp|Bergougnoux|Iguchi-Cartigny|Grimaud|p=2|id=pip}}</ref>.
L'[[Isolation (informatique)|isolation]] mémoire (ou [[Isolation (informatique)|isolation]] spatiale) consiste à contrôler l'accès aux ressources. On entend par ressources : mémoire, buffers, i/o ports, registres<ref>{{harvsp|Chen|2011|p=144-145,148-150|id=Chen2011}}</ref>.
Concilier [[Isolation (informatique)|isolation]] mémoire et performances sur un [[système temps réel]] est un véritable défi.
On peut utiliser la [[Unité de gestion de mémoire|MMU]], ou ''Memory Management Unit'', un composant matériel destiné à gérer dynamiquement la mémoire à travers l'allocation de plages (pages) d'adresses physiques mappées sur des plages d'adresses virtuelles.
Cette solution de gestion de l'[[Isolation (informatique)|isolation]] est largement utilisée mais elle n'est pas adaptée aux [[Système temps réel|systèmes temps réel]] pour lesquels la perte de performances est perceptible<ref name="Yamada1 p557">{{harvsp|Yamada|2008|p=557|id=Yamada1}}</ref>.
Ainsi, certains [[Système temps réel|systèmes temps réel]] sont dépourvus de mécanismes de protection mémoire pour réduire le temps d'exécution<ref>{{harvsp|Yamada|Nakamoto|p=161|id=Yamada2}}</ref>. Le système devient alors dépendant des applications exécutées ce qui entraîne des problèmes de sécurité<ref>{{harvsp|Chen|2011|p=144-145, 148-150|id=Chen2011}}</ref>{{,}}<ref name="Yamada1 p557" />.
L'[[Isolation (informatique)|isolation]] mémoire peut se matérialiser de différentes manières, il y a plusieurs niveaux de granularité. On peut décider d'isoler seulement le système des applications ou bien d'aller plus loin en isolant également les applications entre elles<ref>{{harvsp|Takashi|1999|p=67|id=Takashi1}}</ref>.

==== Mémoire partagée distribuée ====
Dans certains [[Système temps réel|systèmes temps réel]], on introduit la notion de mémoire partagée distribuée (Distributed Shared Memory ''en anglais ou DSM'') dont l'optique est de faciliter le développement des applications distribuées en partageant les variables entre les nœuds<ref>{{harvsp|Takahiro|2013|p=248|id=Takahiro1}}</ref>.
Cela évite de devoir réécrire une partie de l'application pour partager les données à travers l'envoi de messages.
La plupart des implémentations de ''DSM'' sont basées sur les pages mémoires ce qui rend le temps de réponse difficile à prévoir dans un système distribué. De plus, cette implémentation est basée sur la [[Unité de gestion de mémoire|MMU]] qui est absente pour certains microcontrôleurs.
Il est possible d'optimiser le temps d'exécution d'une solution d'[[Isolation (informatique)|isolation]] mémoire à base de MMU en utilisant des niveaux de tailles de pages différents et en passant les niveaux de tables de pages intermédiaires qui ne sont plus utilisés<ref>{{harvsp|Shin|1997|p=51|id=Shin1}}</ref>.
Pour unifier les accès mémoire entre matériel hétérogène une solution à base d'espaces de données appelée ''Tailor Made Dataspaces'' (TSS) propose une représentation unique des ressources pour simplifier les méthodes d'accès qui sont mappées en mémoire (mapped I/O methods)<ref>{{harvsp|Stecklina|2015|p=245|id=stecklina2015}}</ref>.
[[Fichier:Diagramme ArchiHyperviseur.png|vignette|Schéma d'hyperviseur]]

==== Hypervision ====
L'[[Hypervision (informatique)|hypervision]] permet d'assurer l'[[Isolation (informatique)|isolation]] et apporte un système de privilèges. Cependant la complexité et la taille du code de ces systèmes est accrue. D'autres approches pour l'hypervision existent comme ''TrustZone Based Real-Time Kernel Protection'' (TZ-RKP), il s'agit de l'implémentation d'un environnement isolé et dédié aux services de sécurité du système. L'avantage de cette solution est de permettre l'[[Isolation (informatique)|isolation]] de ces outils de sécurité par rapport au [[Noyau de système d'exploitation|kernel]]<ref>{{harvsp|Azab|p=90|id=azab2014}}</ref>. L'hypervision permet également l'[[Isolation (informatique)|isolation]] des [[Machine virtuelle|machines virtuelles]] et protège des comportements malveillants des applications<ref>{{harvsp|Craciunas|2009|p=21|id=Craciunas2009}}</ref>.

==== Isolation logicielle ====
L'[[Isolation (informatique)|isolation]] logicielle (''Software Fault Isolation en anglais ou SFI'') est une méthode logicielle qui permet de réduire les dégâts que pourrait causer un bug sur les autres applications en cours d'exécution sur le système. Cela consiste à partitionner l'espace mémoire global du système en plusieurs domaines. Un domaine correspond, par exemple, à une application. L'utilisateur doit définir une ''safe stack'' généralement située à la fin de l'espace d'adressage global qui est un domaine de confiance<ref>{{harvsp|Kumar|2007|p=219|id=Kumar2007v2}}</ref> : seul ce domaine a accès aux autres domaines. Les instructions machines des binaires sont réécrites puis ces instructions ''sandboxées'' sont vérifiées par le domaine de confiance au moment de l'exécution. C'est ce système qui permet de détecter si une fonction tente d'écrire dans un domaine auquel elle n'a pas le droit d'accéder. À défaut de prévenir les bugs dans les applications, cela permet d'éviter que ce bug n'affecte l'ensemble de l'espace mémoire<ref>{{harvsp|Kumar|2007|p=341|id=Kumar2007}}</ref>{{,}}<ref name="Herber2014 p21" />.
D'autres types d'[[Isolation (informatique)|isolation]]s logicielles sont courantes dans les [[système temps réel|systèmes temps réel]]. Partitionner le cache partagé en donnant une portion de ce cache à chaque processeur est une technique communément appliquée dans les systèmes temps réel qui permet d'isoler les cœurs entre eux<ref>{{harvsp|Kumar|2017|p=673|id=Kumar1}}</ref>.

==== Memory Management Unit et Micro Control Units ====
La [[Unité de gestion de mémoire|MMU]], ou Memory Management Unit, est utilisée dans de nombreux [[Système d'information|systèmes informatiques]] et dans les [[Système embarqué|systèmes embarqués]] haut de gamme comme ceux utilisés en avionique. Cependant, pour les [[Système embarqué|systèmes embarqués]] utilisés par le secteur de l'automobile, d'autres contrôleurs appelés MCU (''Micro Control Units'') sont utilisés et ne disposent pas de hautes performances et de fonctionnalités avancées.
Le MCU dispose d'un MPU (''Memory Protection Unit''), le principe est le découpage de la mémoire en régions. Un [[système temps réel]] disposant d'un MPU doit implémenter des fonctionnalités permettant dé gérer la mémoire statique pour éviter aux développeurs de gérer le stockage du code et des données dans la mémoire<ref>{{harvsp|Takuya|2013|p=1|id=takuya2013}}</ref>.

== Futur des systèmes à criticité mixte ==
D'après Burns et Davis, les problématiques des [[Criticité mixte|systèmes à criticité mixte]] sont amenés à évoluer. Pour eux, les [[Système temps réel|systèmes temps réel]] seront amenés à migrer vers des architectures à plusieurs processeurs qui présenteront de nouveaux défis. Dans ces systèmes, la communication sera à considérer comme une ressource en tant que telle ce qui demandera de trouver de nouvelles méthodes pour l'isoler comme les autres ressources qu'utilisent les [[Criticité mixte|systèmes à criticité mixte]]<ref>{{harvsp|Burns|2017|p=23|id=review}}</ref>.

== Références ==
{{Références|taille=18}}

== Bibliographie ==
* {{article
| lang = en
| id = review
| prénom1 = A.
| nom1 = Burns
| prénom2 = R.
| nom2 = Davis
| titre = Mixed Criticality Systems - A Review
| périodique = ACM Computing Surveys
| année = 2017
| mois = janvier
| volume = 50
| pages = 1 - 37
| doi = 10.1145/3131347
| isbn = 
| issn = 0360-0300 
| commentaire = Ninth edition
}}
* {{article
| lang = en
| id = baruah2011
| prénom1 = S.K.
| nom1 = Baruah
| prénom2 = A.
| nom2 = Burns
| prénom3 = R.I.
| nom3 = Davis
| titre = Response-Time Analysis for Mixed Criticality Systems
| périodique = Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd
| année = 2011
| mois = décembre
| volume = 
| pages = 
| doi = 
| isbn = 978-1-4577-2000-0
| issn = 1052-8725
| commentaire = 
}}
* {{article
| lang = en
| id = Risat2014
| prénom1 = P.
| nom1 = Risat
| titre = Fault-tolerant and real-time scheduling for mixed-criticality systems
| périodique = Springer Science Business Media New York 2014
| année = 2014
| mois = mai
| volume = 
| pages = 
| doi = 10.1007/s11241-014-9202-z
| isbn = 
| issn = 
| commentaire = Real-time systems 2014
}}
* {{article
| lang = en
| id = hwang2010
| prénom1 = M.
| nom1 = Hwang
| prénom2 = D.
| nom2 = Choi
| prénom3 = P.
| nom3 = Kim
| titre = Least Slack Time Rate First: an Efficient Scheduling Algorithm for Pervasive Computing Environment
| périodique = Complex, Intelligent and Software Intensive Systems (CISIS), 2010 International Conference
| année = 2010
| mois = février
| volume = 
| pages = 
| doi = 10.1109/CISIS.2010.20
| isbn = 978-1-4244-5918-6
| issn = 
| commentaire = 
}}
* {{article
| lang = en
| id = Cucinotta2013
| prénom1 = S.
| nom1 = Cucinotta
| prénom2 = C.
| nom2 = Kirsch
| prénom3 = H.
| nom3 = Payer
| prénom4 = H.
| nom4 = Röck
| prénom5 = A.
| nom5 = Sokolova
| titre = Temporal isolation in real-time systems: the VBS approach
| périodique = Springer
| année = 2013
| mois = juin
| volume = 15
| numéro = 3
| pages = 189 - 209
| doi = 10.1007/s10009-012-0246-x
| isbn = 
| issn = 1433-2779 
| commentaire = 
}}
* {{article
| lang = en
| id = baruah2014
| prénom1 = S.
| nom1 = Baruah
| prénom2 = A.
| nom2 = Burns
| titre = Achieving temporal isolation in multiprocessor mixed-criticality systems
| périodique = WMC : 2nd International Workshop on Mixed Criticality Systems
| année = 2014
| mois = Décembre
| volume = 
| pages = 
| doi = 
| isbn = 
| issn = 
| commentaire = 
| lire en ligne = https://www-users.cs.york.ac.uk/~robdavis/wmc2014/wmc2014_proceedings.pdf#page=27
}}
* {{article
| lang = en
| id = ecco2014
| prénom1 = L.
| nom1 = Ecco
| prénom2 = S.
| nom2 = Tobuschat
| prénom3 = S.
| nom3 = Saidi
| prénom4 = R.
| nom4 = Ernst
| titre = A Mixed Critical Memory Controller Using Bank Privatization and Fixed Priority Scheduling
| périodique = Embedded and Real-Time Computing Systems and Applications (RTCSA)
| année = 2014
| mois = août
| volume = 
| pages = 
| doi = 10.1109/RTCSA.2014.6910550
| isbn = 978-1-4799-3953-4
| issn = 
| commentaire = 978-1-4799-3953-4 
}}
* {{article
| lang = en
| id = Yun2014
| prénom1 = H.
| nom1 = Yun
| prénom2 = W.
| nom2 = Zheng-Pei
| prénom3 = R.
| nom3 = Pellizzoni
| prénom4 = R.
| nom4 = Mancuso
| titre = PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms
| périodique = IEEE/IET Electronic Library (IEL)
| année = 2014
| mois = avril
| volume = 
| pages = 155 - 166
| doi = 10.1109/RTAS.2014.6925999
| isbn = 978-1-4799-4691-4 
| issn = 1080-1812 
| commentaire =  IEEE 19th Real-Time and Embedded Technology and Applications Symposium
}}
* {{article
| lang = en
| id = Takashi1
| prénom1 = M.
| nom1 = Takashi
| prénom2 = K.
| nom2 = Kono
| prénom3 = T.
| nom3 = Masuda
| titre = Efficient kernel support of fine-grained protection domains for mobile code
| périodique = IEEE/IET Electronic Library (IEL)
| année = 1999
| mois = 
| volume = 
| pages = 64 - 73
| doi = 10.1109/ICDCS.1999.776507
| isbn = 0-7695-0222-9
| issn = 1063-6927
| commentaire = Distributed Computing Systems
}}
* {{article
| lang = en
| id = stecklina2015
| prénom1 = O.
| nom1 = Stecklina
| titre = A Secure Isolation of Software Activities in Tiny Scale Systems
| périodique = IEEE/IET Electronic Library (IEL)
| année = 2015
| mois = 
| volume = 
| pages = 245 - 247
| doi = 10.1109/PERCOMW.2015.7134037
| isbn = 978-1-4799-8425-1 
| issn = 
| commentaire = Pervasive Computing and Communication Workshops (PerCom Workshops)
}}
* {{article
| lang = en
| id = Kumar2007
| prénom1 = R.
| nom1 = Kumar
| prénom2 = E.
| nom2 = Kohler
| lien auteur2=Eddie Kohler
| prénom3 = M.
| nom3 = Srivastava
| titre = Harbor: software-based memory protection for sensor nodes
| périodique = ACM Digital Library Proceeding
| année = 2007
| mois = avril
| volume = 
| pages = 340 - 349
| doi = 10.1145/1236360.1236404
| isbn = 978-1-59593-638-7
| issn = 
| commentaire = Proceedings of the 6th international conference on Information processing in sensor networks
}}
* {{article
| lang = en
| id = Bertrand2010
| prénom1 = D.
| nom1 = Bertrand
| prénom2 = S.
| nom2 = Faucou
| prénom3 = Y.
| nom3 = Trinquet
| titre = Temporal isolation for the cohabitation of applications in automotive embedded software
| périodique = ACM Digital Library Proceeding
| année = 2010
| mois = avril
| volume = 
| pages = 25 - 28
| doi = 10.1145/1772643.1772651
| isbn = 978-1-60558-915-2
| issn = 
| commentaire = Proceedings of the 1st Workshop on critical automotive applications
}}
* {{article
| lang = en
| id = Herber2014
| prénom1 = C.
| nom1 = Herber
| prénom2 = A.
| nom2 = Richter
| prénom3 = H.
| nom3 = Rauchfuss
| prénom4 = A.
| nom4 = Herkersdorf
| titre = Spatial and temporal isolation of virtual CAN controllers
| périodique = ACM Digital Library
| année = 2014
| mois = juin
| volume = 11
| numéro = 2
| pages = 19 - 26
| doi = 10.1145/2668138.2668141
| isbn = 
| issn = 1551-3688
| commentaire = ACM SIGBED Review
}}
* {{article
| lang = en
| id = azab2014
| prénom1 = Ahmed
| nom1 = Azab
| prénom2 = Peng
| nom2 = Ning
| prénom3 = Jitesh
| nom3 = Shah
| prénom4 = Quan
| nom4 = Chen
| prénom5 = Rohan
| nom5 = Bhutkar
| prénom6 = Guruprasad
| nom6 = Ganesh
| prénom7 = Jia
| nom7 = Ma
| prénom8 = Wenbo
| nom8 = Shen
| titre = Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World
| périodique = ACM
| isbn = 978-1-4503-2957-6
| issn =
| année = 2014
| mois = novembre
| volume = 
| pages = 90 - 102
| doi = 10.1145/2660267.2660350
| commentaire = Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security 
}}
* {{article
| lang = en
| id = yao2012
| prénom1 = G.
| nom1 = Yao
| prénom2 = R.
| nom2 = Pellizzoni
| prénom3 = S.
| nom3 = Bak
| prénom4 = E.
| nom4 = Betti
| prénom5 = M.
| nom5 = Caccamo
| titre = Memory-centric scheduling for multicore hard real-time systems
| périodique = IEEE
| isbn = 978-1-4673-8641-8
| issn = 1573-1383
| année = 2012
| mois = juin
| volume = 48
| pages = 61 - 712
| doi = 10.1007/s11241-012-9158-9
| commentaire = Real-Time Syst
}}
* {{article
| lang = en
| id = Kumar2
| prénom1 = P.K.
| nom1 = Valsan
| prénom2 = H.
| nom2 = Yun
| prénom3 = F.
| nom3 = Farshchi
| titre = Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems
| périodique = IEEE
| isbn = 978-1-4673-8641-8
| issn = 
| année = 2016
| mois = avril
| volume = 
| pages = 1 - 12
| doi = 10.1109/RTAS.2016.7461361
| commentaire = Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Sophia Antipolis, France.
}}
* {{article
| lang = fr
| id = pip
| prénom1 = Quentin
| nom1 = Bergougnoux
| prénom2 = Julien
| nom2 = Iguchi-Cartigny
| prénom3 = Gilles
| nom3 = Grimaud
| titre = Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés
| périodique = ComPAS
| isbn = 
| issn = 
| année = 2017
| mois = juin
| volume = 
| pages = 
| doi = 
| lire en ligne = https://hal.archives-ouvertes.fr/hal-01556564/document
| commentaire = Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Sophia Antipolis, France.
}}
* {{article
| lang = en
| id = blackham2011
| prénom1 = Bernard
| nom1 = Blackham
| prénom2 = Yao
| nom2 = Shi
| prénom3 = Gernot
| nom3 = Heiser
| titre = Protected hard real-time: the next frontier
| périodique = IEEE
| année = 2011
| mois = juin
| volume = 
| pages = 1-5
| doi =  10.1145/2103799.2103801
| isbn = 9781450311793
| issn = 
| commentaire = 
}}
* {{article
| lang = en
| id = takuya2013
| prénom1 = Ishikawa
| nom1 = Takuya
| prénom2 = Azumi
| nom2 = Takuya
| prénom3 = Oyama
| nom3 = Hiroshi
| prénom4 = Takada
| nom4 = Hiroaki
| titre = HR-TECS: Component technology for embedded systems with memory protection
| périodique = IEEE
| année = 2013
| mois = juin
| volume = 
| pages = 
| doi = 10.1109/ISORC.2013.6913200
| isbn = 
| issn = 
| commentaire = Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium
}}
* {{article
| lang = en
| id = Nakajima1
| prénom1 = T.
| nom1 = Nakajima
| prénom2 = Y.
| nom2 = Kinebuchi
| titre = Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances
| périodique = IEEE/IET Electronic Library (IEL)
| année = 2011
| mois = janvier
| volume = 
| pages = 645 - 652
| doi = 10.1109/ASPDAC.2011.5722268
| isbn = 978-1-4244-7515-5
| issn = 2153-6961 
| commentaire = 16th Asia and South Pacific Design Automation Conference
}}
* {{article
| lang = en
| id = Craciunas2009
| prénom1 = S.
| nom1 = Craciunas
| prénom2 = C.
| nom2 = Kirsch
| prénom3 = H.
| nom3 = Payer
| prénom4 = H.
| nom4 = Röck
| prénom5 = A.
| nom5 = Sokolova
| titre = Programmable temporal isolation in real-time and embedded execution environments
| périodique = ACM Digital Library Proceedings
| année = 2009
| mois = mars
| volume = 
| pages = 19 - 24
| doi = 10.1145/1519130.1519134
| isbn = 1605584649
| issn =
| commentaire = Proceedings of the Second Workshop on isolation and integration in embedded systems
}}
* {{article
| lang = en
| id = Sha2016
| prénom1 = Lui
| nom1 = Sha
| prénom2 = Marco
| nom2 = Caccamo
| prénom3 = Renato
| nom3 = Mancuso
| prénom4 = Jung-Eun
| nom4 = Kim
| prénom5 = Man-Ki
| nom5 = Yoon
| prénom6 = Rodolfo
| nom6 = Pellizzoni
| prénom7 = Heechul
| nom7 = Yun
| prénom8 = Russell B.
| nom8 = Kegley
| prénom9 = Dennis R.
| nom9 = Perlman
| prénom10 = Greg
| nom10 = Arundale
| prénom11 = Richard
| nom11 = Bradford
| titre = Real-Time Computing on Multicore Processors
| périodique = IEEE
| année = 2016
| mois = septembre
| volume = 49
| numéro = 
| pages = 69-77
| doi = 10.1109/MC.2016.271
| isbn = 
| issn = 0018-9162
| commentaire = Sponsored by IEEE Computer Society
}}
* {{article
| lang = en
| id = medusa
| prénom1 = Prathap
| nom1 = Kumar Valsan
| prénom2 = Heechul
| nom2 = Yun
| titre = MEDUSA: A Predictable and High-Performance DRAM Controller for Multicore Based Embedded Systems
| périodique = IEEE
| année = 2015
| mois = septembre
| volume = 
| pages = 
| doi = 10.1109/CPSNA.2015.24
| isbn = 
| issn = 
| commentaire =  Cyber-Physical Systems, Networks, and Applications (CPSNA), 2015 IEEE 3rd International Conference
}}
* {{article
| lang = en
| id = Yun2013
| prénom1 = Heechul
| nom1 = Yun
| prénom2 = Gang
| nom2 = Yao
| prénom3 = Rodolfo
| nom3 = Pellizzoni
| prénom4 = Marco
| nom4 = Caccamo
| prénom5 = Lui
| nom5 = Sha
| titre = MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms
| périodique = IEEE
| année = 2013
| mois = juin
| volume = 
| pages = 
| doi = 10.1109/RTAS.2013.6531079
| isbn = 
| issn = 
| commentaire = Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th
}}
* {{article
| lang = en
| id = Ali2017
| prénom1 = Waqar
| nom1 = Ali
| prénom2 = Heechul
| nom2 = Yun
| titre = Work-In-Progress: Protecting Real-Time GPU Applications on Integrated CPU-GPU SoC Platforms
| périodique = IEEE
| année = 2017
| mois = avril
| volume = 
| pages = 
| doi = 10.1109/RTAS.2017.26
| isbn = 
| issn = 
| commentaire = Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017 IEEE
}}
* {{article
| lang = en
| id = Kumar1
| prénom1 = Prathap
| nom1 = Kumar Valsan
| prénom2 = Heechul
| nom2 = Yun
| prénom3 = Farzad
| nom3 = Farshchi
| titre = Addressing isolation challenges of non-blocking caches for multicore real-time systems
| périodique = Kluwer Academic Publishers Norwell, MA, USA
| année = 2017
| mois = septembre
| volume = 53
| pages = 673-708
| doi = 10.1007/s11241-017-9280-9
| isbn = 
| issn = 
| commentaire = 
}}
* {{article
| lang = en
| id = Farshchi2017
| prénom1 = Farzad
| nom1 = Farshchi
| prénom2 = Prathap
| nom2 = Kumar Valsan
| prénom3 = Renato
| nom3 = Mancuso
| prénom4 = Heechul
| nom4 = Yun
| titre = Deterministic Memory Abstraction and Supporting Cache Architecture for Real-Time Systems
| périodique = arXiv
| année = 2017
| mois = Juin
| volume = 
| pages = 
| doi = 
| isbn = 
| issn = 
| arxiv = 1707.05260
| commentaire = 
}}
* {{article
| lang = en
| id = Heechul2015
| prénom1 = Yun
| nom1 = Heechul
| prénom2 = Gondi
| nom2 = Biswas
| prénom3 = Siddhartha
| nom3 = Santosh
| titre = Protecting Memory-Performance Critical Sections in Soft Real-Time Applications
| périodique = arXiv
| année = 2015
| mois = février
| volume = 
| pages = 
| doi = 10.1109/TC.2016.2640961
| isbn = 
| issn = 
| commentaire = technical report
}}
* {{article
| lang = en
| id = Balbastre2009
| prénom1 = P.
| nom1 = Balbastre
| prénom2 = I.
| nom2 = Ripom
| titre = Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling
| périodique = IEEE/IET Electronic Library (IEL)
| année = 2009
| mois = août
| volume = 85
| numéro = 4
| pages = 315-320
| doi = 10.1109/RTCSA.2009.40
| isbn = 978-0-7695-3787-0
| issn = 1533-2306
| commentaire = 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
}}
* {{article
| lang = en
| id = Cucinotta2012
| prénom1 = T.
| nom1 = Cucinotta
| prénom2 = D.
| nom2 = Faggioli
| titre = Handling timing constraints violations in soft real-time applications as exceptions
| périodique = Elsevier Science Direct Freedom Collection
| année = 2012
| mois = avril
| volume = 
| pages = 995-1011
| doi = 10.1016/j.jss.2011.11.1021
| isbn = 
| issn = 0164-1212
| commentaire = The Journal of systems and software
}}
* {{article
| lang = en
| id = HeechulYun2012
| prénom1 = R.
| nom1 = Heechul Yun
| prénom2 = M.
| nom2 = Gang Yao
| titre = Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality
| périodique = IEEE/IET Electronic Library (IEL)
| année = 2012
| mois = juillet
| volume = 
| pages = 299-308
| doi = 10.1109/ECRTS.2012.32
| isbn = 978-1-4673-2032-0
| issn = 1068-3070
| commentaire = 2011 24th Euromicro Conference on Real-Time Systems
}}
* {{article
| lang = en
| id = Schliecker2013
| prénom1 = S.
| nom1 = Schliecker
| prénom2 = R.
| nom2 = Ernst
| titre = Real-Time Performance Analysis of Multiprocessor Systems with Shared Memory
| périodique = ACM Digital Library
| année = 2010
| mois = décembre
| volume = 10
| numéro = 2
| numéro article = 22
| pages = 1-27
| doi = 10.1145/1880050.1880058
| commentaire = ACM Trans. Embedd. Comput. Syst
}}
* {{article
| lang = en
| id = Chen2011
| prénom1 = H.
| nom1 = Chen
| prénom2 = S.
| nom2 = Yang
| titre = Research on Ultra-dependable Embedded Real Time Operating System
| périodique = IEEE/ACM
| isbn = 978-1-4577-1006-3                     
| année = 2011
| mois = octobre
| pages = 144-145, 148-150
| doi = 10.1109/GreenCom.2011.33
| commentaire = International Conference on Green Computing and Communications
}}
* {{article
| id = Nakamoto1
| lang = en
| prénom1 = Y.
| nom1 = Nakamoto
| prénom2 = Y.
| nom2 = Tamura
| titre = Proposing Software Transational Memory for Embedded Systems
| périodique = IEEE Conference Publications
| isbn = 978-1-61284-213-4
| issn = 1541-0056
| année = 2011
| mois = mars
| volume = 
| pages = 347-350
| doi = 10.1109/ISADS.2011.53
| commentaire = 2011 10th International Symposium on Autonomous Decentralized 
}}
* {{article
| lang = en
| id=Yamada2
| prénom1 = Shimpei
| nom1 = Yamada
| prénom2 = Yukikazu
| nom2 = Nakamoto
| titre = Protection Mechanism in Privileged Memory Space for Embedded Systems, Real-Time OS
| périodique = IEEE
| isbn = 978-1-4799-4182-7
| issn = 1545-0678
| année = 2014
| mois = juin
| volume = 
| pages = 161-166
| doi = 10.1109/ICDCSW.2014.17
| commentaire = 34th International Conference on Distributed Computing Systems Workshops
}}
* {{article
| lang = en
| id=Yamada1
| prénom1 = S.
| nom1 = Yamada
| prénom2 =  Y.
| nom2 = Nakamoto
| prénom3 =  Yokoyama
| nom3 = Takanori
| titre = Generic Memory Protection Mechanism for Embedded System and Its Application to Embedded Component Systems
| périodique = IEEE
| isbn = 978-0-7695-3242-4
| année = 2008
| mois = juillet
| volume = 
| pages = 557 - 562
| doi =  10.1109/CIT.2008.Workshops.71
| commentaire = 8th International Conference on Computer and Information Technology Workshops 
}}
* {{article
| id = Takahiro1
| lang = en
| prénom1 = Chiba
| nom1 = Takahiro
| prénom2 =  Myungryun Yoo
| nom2 = Takanori
| prénom3 =  Yokoyama
| nom3 = Takanori
| titre = A Distributed Real-Time Operating System with Distributed Shared Memory for Embedded Control Systems
| périodique = IEEE
| isbn = 978-1-4799-3380-8
| issn = 
| année = 2013
| mois = décembre
| volume = 
| pages = 248-255
| doi = 10.1109/DASC.2013.71
| commentaire = 11th International Conference on Dependable, Autonomic and Secure Computing
}}
* {{article
| lang = en
| id = Kumar2007v2
| prénom1 = R.
| nom1 = Kumar
| prénom2 = A.
| nom2 = Singhania
| prénom3 = Andrew
| nom3 = Castner
| prénom4 = Eddie
| nom4 = Kohler
| prénom5 = Mani
| nom5 = Srivastava
| titre = A System For Coarse Grained Memory Protection In Tiny Embedded Processors
| périodique = IEEE
| issn = 0738-100X
| isbn = 978-1-59593-627-1
| année = 2007
| mois = octobre
| volume =
| pages = 218-223
| doi = 10.1145/1278480.1278534
| commentaire = Proceedings of the 44th annual Design Automation Conference
}}
* {{article
| id=Shin1
| lang = en
| prénom1 = K. G.
| nom1 = Shin
| prénom2 = S.
| nom2 = Suzuki
| titre = On memory protection in real-time OS for small embedded systems
| périodique = IEEE Conference Publications
| isbn = 0-8186-8073-3
| année = 1997
| mois = juin
| volume =
| pages = 51-58
| doi = 10.1109/RTCSA.1997.629173
| commentaire = Real-Time Computing Systems and Applications, 1997. Proceedings., Fourth International Workshop on Real-Time Computing Systems and Applications 
}}
* {{article
| lang = en
| id = Hyoseung2012
| prénom1 =K.
| nom1 = Hyoseung
| prénom2 = R.
| nom2 = Ragunathan
| titre = Memory reservation and shared page management for real-time systems
| périodique = Elsevier
| isbn = 978-1-4673-5165-2
| année = 2012
| mois = juillet
| volume = 60
| pages = 165-178
| doi = 10.1016/j.sysarc.2013.07.002
| commentaire = Journal of Systems Architecture
}}
* {{article
| lang = en
| prénom1 =Vatsalkumar H.
| nom1 = Shah
| prénom2 = A.
| nom2 = Shah
| titre = An Analysis and Review on Memory Management Algorithms for Real Time Operating System
| périodique = Person Education
| issn = 1947-5500
| année = 2016
| mois = mai
| volume = 14
| pages = 236-240
| doi = 10.1016/j.sysarc.2013.07.002
| commentaire = International Journal of Computer Science and Information Security (IJCSIS)
}}

== Voir aussi ==

=== Autres sources bibliographiques ===
* {{article
| lang = fr
| prénom1 = Narjes
| nom1 = Jomaa
| prénom2 = David
| nom2 = Nowak
| prénom3 = Gilles
| nom3 = Grimaud
| prénom4 = Julien
| nom4 = Iguchi-Cartigny
| titre = Formal Proof of Dynamic Memory Isolation Based on MMU
| périodique = Theoretical Aspects of Software Engineering (TASE)
| isbn = 
| issn = 
| année = 2015
| mois = mars
| volume = 
| pages = 297-300
| doi = 10.1109/TASE.2016.28
| commentaire = Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
}}
* {{article
| lang = en
| prénom1 = Philip
| nom1 = Derrin
| prénom2 = Kevin
| nom2 = Elphinstone
| prénom3 = Gerwin
| nom3 = Klein
| prénom4 = David
| nom4 = Cock
| titre = Running the Manual: An Approach to High-Assurance Microkernel Development
| périodique = ACM
| isbn = 1-59593-489-8
| issn = 
| année = 2006
| mois = septembre
| volume = 
| pages = 60-71
| doi = 10.1145/1159842.1159850
| commentaire = Haskell '06 Proceedings of the 2006 ACM SIGPLAN workshop on Haskell 
}}
* {{article
| lang = en
| prénom1 = Kevin
| nom1 = Elphinstone
| prénom2 = Gerwin
| nom2 = Klein
| prénom3 = Philip
| nom3 = Derrin
| prénom4 = Timothy
| nom4 = Roscoe
| titre = Towards a practical, verified kernel
| périodique = USENIX
| isbn = 
| issn = 
| année = 2007
| mois = mai
| volume = 
| pages = 
| doi = 
| commentaire = HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
}}
* {{article
| lang = en
| prénom1 = Liang
| nom1 = Gu
| prénom2 = Alexander
| nom2 = Vaynberg
| prénom3 = Bryan
| nom3 = Ford
| prénom4 = Zhong
| nom4 = Shao
| prénom5 = David
| nom5 = Costanzo
| titre = CertiKOS: a certified kernel for secure cloud computing
| périodique = ACM
| isbn = 978-1-4503-1179-3
| issn = 
| année = 2011
| mois = juillet
| volume = 
| pages = 
| doi = 10.1145/2103799.2103803
| commentaire = APSys '11 Proceedings of the Second Asia-Pacific Workshop on Systems
}}
* {{article
| lang = en
| prénom1 = Heekwon
| nom1 = Kang
| prénom2 = Dongwoo
| nom2 = Kang
| prénom3 = Jongmoo
| nom3 = Choi
| titre = Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation
| périodique = IEEE
| isbn = 9781450324694 
| issn = 
| année = 2014
| mois = mars
| volume = 
| pages = 1517-1522
| doi = 10.1145/2554850.2554972
| commentaire = Proceedings of the 29th Annual ACM Symposium on applied computing
}}
* {{article
| lang = en
| prénom1 = G.
| nom1 = Yao
| prénom2 = R.
| nom2 = Pellizzoni
| prénom3 = S.
| nom3 = Bak
| prénom4 = E.
| nom4 = Betti
| prénom5 = M.
| nom5 = Caccamo
| titre = Memory-centric scheduling for multicore hard real-time systems
| périodique = Springer US
| issn = 0922-6443
| année = 2012
| mois = novembre
| volume = 48
| pages = 681-715
| doi = 10.1007/s11241-012-9158-9
| commentaire = }}
* {{article
| lang = en
| id = Craciunas2012
| prénom1 = Silviu S.
| nom1 = Craciunas
| prénom2 = Christoph M.
| nom2 = Kirsch
| titre = The Power of Isolation
| périodique = IEEE/ACM
| isbn = 978-1-4673-5165-2
| année = 2012
| mois = décembre
| pages = 375 - 382
| doi = 10.1109/ICCSE.2012.59
| commentaire = International Conference on Computational Science and Engineering
}}

=== Articles connexes ===
* [[Système d'exploitation temps réel]]
* [[Worst Case Execution Time]] (Temps d'exécution pire-cas)

{{Portail|sécurité informatique}}

[[Catégorie:Sécurité informatique]]
[[Catégorie:Système d'exploitation temps réel]]
[[Catégorie:Système d'exploitation embarqué]]