 |
|
|
|
| HAL : hal-00346030, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Real time systems 2002, Paris : France (2002) |
|
|
|
|
| Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes |
|
|
| Gaëlle Largeteau-Skapin 1, 2, 3Dominique Geniet 1 |
|
|
| (2002) |
|
|
|
| This paper deals with temporal validation of distributed hard real time systems. We consider here the target machine physical properties. Indeed, several temporal characteristics of some tasks depend on hardware properties, and then influence the model. We suppose that there is no task migration, and we did not study the tasks allocation problem. We valid this method to the protocol CAN |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
| 3 : | XLIM (XLIM) |
|
|
|
CNRS : UMR6172 – Université de Limoges |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation |
|
|
| validation – real time – synchronous model – rationnal language – distributed systems – network |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00346030, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346030 | |
| oai:hal.archives-ouvertes.fr:hal-00346030 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Mercredi 10 Décembre 2008, 19:07:06 | |
| Dernière modification le : Jeudi 11 Décembre 2008, 11:03:48 | |
