 |
|
|
|
| HAL : hal-00345910, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Modélisation des systèmes réactifs, toulouse : France (2001) |
|
|
|
|
| Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels |
|
|
Dominique Geniet 1Gaëlle Largeteau-Skapin 1, 2 |
|
|
| (09/2001) |
|
|
|
| we show that real-time systems composed of both periodic and sporadic interdependents tasks wich CPU time is not fixed can be validated from a methodology based on rational languages. This property leads to the cyclicity of the scheduling sequences for such systems. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
|
|
|
|
|
|
|
| équipe temps-réel |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Performance et fiabilité |
|
|
| Real-time – finite automata – rational languages – ciclycity – temporal validation – feasibility |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00345910, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00345910 | |
| oai:hal.archives-ouvertes.fr:hal-00345910 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Mercredi 10 Décembre 2008, 14:13:04 | |
| Dernière modification le : Vendredi 10 Juillet 2009, 14:58:20 | |
