Certifiable Memory Management System for Safety Critical Partitioned System - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Certifiable Memory Management System for Safety Critical Partitioned System

Alexy Torres Aurora Dugo
  • Fonction : Auteur
  • PersonId : 1142566
Jean-Baptiste Lefoul
  • Fonction : Auteur
  • PersonId : 1142567
Serge Harnois
  • Fonction : Auteur
  • PersonId : 1142568
Felipe Gohring de Magalhaes
  • Fonction : Auteur
  • PersonId : 1142569
Gabriela Nicolescu
  • Fonction : Auteur
  • PersonId : 909176

Résumé

Aerospace systems are safety-critical systems that need to respect tight constraints in terms of execution time, resource usage and predictability. This industry is currently transitioning from predictable single-core processors to less predictable multicore architectures. This transition reveals multiple challenges due to interferences. The contention of different cores on shared resources introduces interferences. This phenomenon prevents the required isolation between applications and the estimation of their worst-case execution time. To prevent interferences and ease the certification of robust partitioned multi-core systems, guidance documents, such as the CAST-32A, provide objectives on resource isolation and management. In this paper, we propose a memory manager to mitigate memory interferences generated in shared cache, main memory and memory bus. Our results show an increase in timing predictability by 68.1%. Aside the memory manager, based on our results, we provide a set of recommendations to assist system integrators' decisions and ease the certification process by conforming to the current guidance.
Fichier principal
Vignette du fichier
ERTS__Certifiable_Memory_Management_System_for_Safety_Critical_Partitioned_System_.pdf (577.51 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03697093 , version 1 (16-06-2022)

Identifiants

  • HAL Id : hal-03697093 , version 1

Citer

Alexy Torres Aurora Dugo, Jean-Baptiste Lefoul, Serge Harnois, Felipe Gohring de Magalhaes, Gabriela Nicolescu. Certifiable Memory Management System for Safety Critical Partitioned System. ERTS2022, Jun 2022, Toulouse, France. ⟨hal-03697093⟩

Collections

ERTS2022
202 Consultations
222 Téléchargements

Partager

More