 |
|
|
|
| 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, 2Dominique 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 |
|
|
|
|
|
|
|
|
|
| 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 26 Avril 2012, 16:25:46 | |
