Validation of distributed periodic real-time systems using CAN protocol with finite automata

Abstract : ‘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.
Type de document :
Communication dans un congrès
World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs, 2002, orlando, florida, United States. XIV, pp.151-155, 2001
Liste complète des métadonnées

https://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 : mardi 22 mars 2016 - 01:25:56
Document(s) archivé(s) le : mardi 8 juin 2010 - 16:26:34

Fichier

GL-DG-JPD.SCI-Actes.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00346370, version 1

Collections

Citation

Gaëlle Largeteau-Skapin, Dominique Geniet, Jean-Philippe Dubernard. Validation of distributed periodic real-time systems using CAN protocol with finite automata. World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs, 2002, orlando, florida, United States. XIV, pp.151-155, 2001. <hal-00346370>

Partager

Métriques

Consultations de
la notice

170

Téléchargements du document

98