Intégration d'Éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications Temps-Réel
Nous étudions la modélisation et la validation hors-ligne des applications temps-réel en environnement monoprocesseur, qui prend explicitement en compte l'échange des messages, le partage des ressources et les instructions conditionnelles entre les tâches. Notre objectif est de mettre en éviden...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00684788 http://tel.archives-ouvertes.fr/docs/00/68/47/88/PDF/These.pdf |