Skip to Main content Skip to Navigation
Theses

Probabilistic analysis of real-time systems

Dorin Maxim 1
1 TRIO - Real time and interoperability
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Résumé : Les systèmes embarqués temps réel critiques intègrent des architectures complexes qui évoluent constamment a n d'intégrer des nouvelles fonctionnalités requises par les utilisateurs naux des systèmes (automobile, avionique, ferroviaire, etc.). Ces nouvelles architectures ont un impact direct sur la variabilité du comportement temporel des systèmes temps réel. Cette variabilité entraîne un sur-approvisionnement important si la conception du système est uniquement basée sur le raisonnement pire cas. Approches probabilistes proposent des solutions basées sur la probabilité d'occurrence des valeurs les plus défavorables a n d'éviter le sur-approvisionnement, tout en satisfaisant les contraintes temps réel. Les principaux objectifs de ce travail sont de proposer des nouvelles techniques d'analyse des systèmes temps réel probabilistes et des moyens de diminuer la complexité de ces analyses, ainsi que de proposer des algorithmes optimaux d'ordonnancement á priorité xe pour les systèmes avec des temps d'exécution décrits par des variables aléatoires. Les résultats que nous présentons dans ce travail ont été prouvés surs et á utiliser pour les systèmes temps réel durs, qui sont l'objet principal de notre travail. Notre analyse des systèmes avec plusieurs paramètres probabilistes a été démontrée considérablement moins pessimiste que d'autres types d'analyses. Cette analyse combinée avec des algorithmes d'ordonnancement optimaux appropriées pour les systèmes temps réel probabilistes peut aider les concepteurs de systèmes á mieux apprécier la faisabilité d'un systéme, en particulier de ceux qui sont jugé irréalisable par des analyses/algorithmes d'ordonnancement déterministes.
Document type :
Theses
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01750613
Contributor : Dorin Maxim <>
Submitted on : Saturday, January 4, 2014 - 4:38:54 PM
Last modification on : Friday, April 24, 2020 - 1:14:29 AM
Document(s) archivé(s) le : Friday, April 4, 2014 - 10:20:29 PM

Identifiers

  • HAL Id : tel-01750613, version 3

Citation

Dorin Maxim. Probabilistic analysis of real-time systems. Embedded Systems. Université de Lorraine, 2013. English. ⟨tel-01750613v3⟩

Share

Metrics

Record views

688

Files downloads

478