I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

Abstract : In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixed-criticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temporal isolation, fault propagation can be prevented among mixed-criticality applications (regarded as partitions). However, I/O sharing between partitions could be the path of fault propagation that hinders the partitioning. E.g. a crashed partition generates incorrect outputs to shared I/Os, which affects the functioning of another partition. This paper focuses on a message-based approach of I/O sharing in the HARTEX real-time kernel on a multi-core platform. Based on a simple multi-core partitioning architecture, a certifiable I/O sharing approach is implemented based on a safe message mechanism, in order to support the partitioning architecture, enable individual certification of mixed-criticality applications and thus achieve minimized total certification cost of the entire system.
Type de document :
Communication dans un congrès
Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.331-342, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_30〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01466689
Contributeur : Hal Ifip <>
Soumis le : lundi 13 février 2017 - 16:39:32
Dernière modification le : vendredi 1 décembre 2017 - 01:09:42
Document(s) archivé(s) le : dimanche 14 mai 2017 - 14:55:41

Fichier

978-3-642-38853-8_30_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Gang Li, Søren Top. I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications. Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.331-342, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_30〉. 〈hal-01466689〉

Partager

Métriques

Consultations de la notice

69

Téléchargements de fichiers

26