Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel
Un système informatique est temps-réel lorsque ses traitements doivent vérifier des propriétés d'ordre à la fois logique et temporel. Dans ce travail, nous proposons un outil de simulation pour l'évaluation de tels systèmes. Il peut venir compléter les méthodes sûres d'analyse statiqu...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Rennes 1
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00003582 http://tel.archives-ouvertes.fr/docs/00/04/56/67/PDF/tel-00003582.pdf http://tel.archives-ouvertes.fr/docs/00/04/56/67/ANNEX/tel-00003582.ppt |