Open AccessCertifiable Memory Management System for Safety Critical Partitioned System
Author(s) -
Alexy Torres Aurora Dugo,
Jean-Baptiste Lefoul,
Serge Harnois,
Felipe Göhring de Magalhães,
Gabriela Nicolescu
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Danish
Resource type - Conference proceedings
Subject(s) - computer science , memory management , reliability engineering , operating system , engineering , overlay