Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems

Yasmina Abdeddaïm 1 Maxim Dorin 2
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Abstract : In this paper we present a probabilistic response time analysis for mixed criticality real-time systems running on a single processor according to a fixed priority pre-emptive scheduling policy. The analysis extends the existing state of the art probabilistic analysis to the case of mixed criticalities, taking into account both the level of assurance at which each task needs to be certified, as well as the possible criticalities at which the system may execute. The proposed analysis is formally presented as well as explained with the aid of an illustrative example.
Type de document :
Communication dans un congrès
Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland
Liste complète des métadonnées

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

https://hal-upec-upem.archives-ouvertes.fr/hal-01583159
Contributeur : Yasmina Abdeddaïm <>
Soumis le : mercredi 6 septembre 2017 - 18:32:52
Dernière modification le : samedi 9 septembre 2017 - 01:05:03

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01583159, version 1

Collections

Citation

Yasmina Abdeddaïm, Maxim Dorin. Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems . Design, Automation and Test in Europe - DATE 2017, Mar 2017, Lausanne, Switzerland. 〈hal-01583159〉

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

13