Skip to Main content Skip to Navigation
Theses

Probabilistic analysis of real-time systems

Résumé : Les systèmes embarqués temps réel critiques intègrent des architectures complexes qui évoluent constamment afin d'intégrer des nouvelles fonctionnalités requises par les utilisateurs finaux 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 afin 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é fixe 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. Cet 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 [61 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750613
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:50:30 PM
Last modification on : Monday, April 20, 2020 - 3:13:47 PM

File

DDOC_T_2013_0267_MAXIM.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750613, version 1

Citation

Dorin Maxim. Probabilistic analysis of real-time systems. Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0267⟩. ⟨tel-01750613v1⟩

Share

Metrics

Record views

67

Files downloads

80