Virtual Open Systems Publications Scientifiques
Évènement
23rd IEEE FRUCT Conference (FRUCT23), Bologne, Italie.
Mots-clés
ISO-26262, virtualisation, sûreté, criticité mixte, ARM TrustZone, VOSYSmonitor.
Auteurs
Pierre Lucas, Kevin Chappuis, Benjamin Boutin, Julian Vetter, and Daniel Raho.
Remerciement
Ce travail de recherche a été soutenu par le programme de recherche et innovation Européen Horizon H2020 dReDBox, sous la convention de subvention numéro 687632. Ce travail reflète uniquement le point de vue des auteurs et la Commission européenne n'est pas responsable de l'usage qui pourrait être fait des informations qu'il contient.
Abstract
Avec l'émergence des systèmes embarqués multicœurs sur puce (SoC), l'intégration de plusieurs applications de différents niveaux de criticité sur une même plate-forme est de plus en plus populaire. Ces plates-formes, appelées systèmes à criticité mixte, doivent répondre à de nombreuses exigences (exemple: contraintes temps-réel, planification de systèmes d'exploitation (OS) multiples, isolement temporel et spatial). Dans ce contexte, Virtual Open Systems a développé VOSYSmonitor, une couche logicielle qui permet la co-exécution d'applications critiques et non critiques sur un seul SoC multi-cœur ARM. Ce composant logiciel a été développé selon la norme ISO 26262. L'un des aspects clés de cette norme est le contrôle de défaillances aléatoires et systématiques, y compris celles induites par un matériel défectueux ou vieillissant. Dans le cas d'un composant logiciel, les moyens de détection des anomalies sur le matériel sont limités et dépendent des choix du fabricant (exemple: la mise en œuvre d'un "Dual redundant Core Lock step" (DCLS)). Cependant, le logiciel est capable de vérifier une partie de ces défaillance qui peut se faire soit en lisant les registres de configuration d'un périphérique, soit en vérifiant l'intégrité d'une région mémoire. L'objectif de cet article est de montrer comment un élément logiciel de sûreté comme VOSYSmonitor peut détecter les défaillances et y remédier, tout en s'assurant que les objectifs en matière de sûreté sont toujours atteints.
Accès complet à cette article scientifique
Identifiant ou inscription pour visualiser l'information complète
- Vosysmonitor ecrts2017
- Rdma virtualisation hpcs2017
- Hpc exascale dsd2017
- Vfpgamanager reconfig2017
- Safe split display icons2018
- Edge vim bmsb2018
- Openflow vswitch fmec18
- Vosysvirtualnet sies2018
- Egvirt als2018
- Vfpgamanager bmsb2018
- Microvm benchmark eucnc2018
- Egvirt aglamm2018
- Trustedvim wcnc2019
- Geofencing trustedvim eucnc2019
- Vfpgamanager eucnc2019
- 5gcity edge virt 5gwf2019
- X86 smm mixed criticality applepies2020
- Vosysmonitorv risc v meco2021
- Sriov vfunction manager cits2023
- Cross compartment virtio loopback esars2024
- Virtio fpga esars itec 2023
- Virtio loopback perf eval icai2024