Communication Dans Un Congrès Année : 2012

An Extensible Partitioning Framework for Safety-Critical Systems

Anas Showk
  • Fonction : Auteur
  • PersonId : 1051298
Attila Bilgic
  • Fonction : Auteur
  • PersonId : 978771

Résumé

Certification of safety-critical systems requires a separation of certified and non-safe components. Up to today, partitioning operating systems, that have the capability to isolate software components in safety-critical systems, are almost exclusively found in complex embedded systems with standardized runtime environments, e.g. in the avionic industry. On the other hand, their use is highly uncommon in deeply-embedded systems, that are frequently characterized by severe power, memory, and latency constraints. Here we show, how partitioning can be efficiently provided in deeply-embedded systems. For this purpose, we propose a framework for highly customized and constrained embedded devices, which achieves the separation of software components using a legacy real-time operating system. The approach focuses on the flexibility and low complexity of the framework in order to minimize the effort for safety certification. The framework is modular and extensible.

Fichier principal
Vignette du fichier
3A-1.pdf (288.1 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02191805 , version 1 (23-07-2019)

Licence

Identifiants

  • HAL Id : hal-02191805 , version 1

Citer

Felix Bruns, Dirk Kuschnerus, Anas Showk, Attila Bilgic. An Extensible Partitioning Framework for Safety-Critical Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191805⟩

Collections

277 Consultations
402 Téléchargements

Partager

  • More