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

Gaëlle Largeteau-Skapin (1, 2) , Dominique Geniet (2) , Jean-Philippe Dubernard (3)

1 SIC - SIGNAL-IMAGE-COMMUNICATION
2 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
3 LIFAR - Laboratoire d'informatique fondamentale et appliquée de Rouen

‘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.

Domaines: Systèmes embarqués; Modélisation et simulation

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. pp.151-155. ⟨hal-00346370⟩