 |
|
|
|
| HAL : hal-00345984, version 1 |
| DOI : 10.1007/3-540-44977-9 |
| Fiche détaillée |  Récupérer au format |
|
|
| CIAA 2002 : international conference on implementation and application of automata No7, Tours : France (2002) |
|
|
|
|
| Term Validation of distributed hard real time applications |
|
|
Gaëlle Largeteau-Skapin 1, 2Dominique Geniet 1 |
|
|
| (2003) |
|
|
|
| We show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
|
|
|
|
|
|
|
| temps réel |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation Informatique/Performance et fiabilité Informatique/Recherche opérationnelle |
|
|
| real-time – automata – validation |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00345984, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00345984 | |
| oai:hal.archives-ouvertes.fr:hal-00345984 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Mercredi 10 Décembre 2008, 17:26:30 | |
| Dernière modification le : Lundi 27 Juillet 2009, 16:18:59 | |
