 |
|
|
|
| HAL : hal-00346370, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs, orlando, florida : United States (2002) |
|
|
|
|
| Validation of distributed periodic real-time systems using CAN protocol with finite automata |
|
|
Gaëlle Largeteau-Skapin 1, 2Dominique Geniet 2 |
|
|
| (2001) |
|
|
|
| ‘In a previous work, we have defined a temporal model based on regular languages to validate periodic real-time systems: the feasability decisional process is expressed by means of algebraic operations on languages, such as intersection, Hadamard product, and language center computing. Here, we describe how this model can be used to validate periodic distributed real-time systems. We base this description on the example of the CAN network protocol. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
| 2 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 3 : | Laboratoire d'informatique fondamentale et appliquée de Rouen (LIFAR EA2655) |
|
|
|
Université de Rouen |
|
|
|
|
|
|
|
|
|
| temps-réel |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00346370, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346370 | |
| oai:hal.archives-ouvertes.fr:hal-00346370 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Jeudi 11 Décembre 2008, 15:01:08 | |
| Dernière modification le : Lundi 27 Juillet 2009, 16:20:20 | |
