Conditions d’ordonnançabilité pour un langage dirigé par le temps

Conditions d’ordonnançabilité pour un langage dirigé par le temps

Les travaux réalisés dans le cadre de cette thèse ont pour objectif de proposer un langage de description temporelle pour des systèmes temps-réel et d’établir les conditions de leur ordonnançabilité sous l’algorithme Earliest Deadline First (EDF). Les langages de description temporelle permettent de...

Full description

Bibliographic Details
Main Author: Kloda, Tomasz
Other Authors: Toulouse, ISAE
Language:fr
Published: 2015
Subjects:
Analyse de l’ordonnançabilité
Edf
Fonction de demande
Déclenchement temporel
Changement de mode
Modélisation de système temps réel
Langage de programmation
Analyse compositionnelle
Real-Time scheduling
Earliest Deadline First
Demand function
Time-Triggered
Mode change
Real-Time systems modeling
Programming language
Compositional analysis
621
Online Access:http://www.theses.fr/2015ESAE0019/document

Internet

http://www.theses.fr/2015ESAE0019/document

Similar Items