 |
|
|
|
| HAL : hal-00345992, version 1 |
| DOI : 10.1007/b135490 |
| Fiche détaillée |  Récupérer au format |
|
|
| 12th International Conference, DGCI 2005, Poitiers : France (2005) |
|
|
|
|
| Discrete Geometry Applied in Hard Real-Time Systems Validation |
|
|
Gaëlle Largeteau-Skapin 1Dominique Geniet 2 |
|
|
| (04/2005) |
|
|
|
| 0ff-line validation of hard real-time systems usually stands on state based models. Such approaches always deal with both space and time explosions. This paper proposes a geometrical approach to model applications and to compute operational feasability from topological properties. Thanks to this model, we can decide the feasability of real-time synchronous systems composed of periodic tasks, sharing resources, running on multiprocessor architectures. This method avoids state ennumeration and therefore limits both space and time explosion. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
| 2 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
|
|
|
|
|
|
|
| temps-réel, Informatique graphique |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Mathématique discrète Informatique/Modélisation et simulation |
|
|
| Real-time – operational validation – multiprocessors – resource sharing – geometrical modeling |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00345992, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00345992 | |
| oai:hal.archives-ouvertes.fr:hal-00345992 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Jeudi 11 Décembre 2008, 09:26:00 | |
| Dernière modification le : Jeudi 18 Décembre 2008, 22:49:51 | |
