Term Validation of distributed hard real time applications

Gaëlle Largeteau-Skapin (1, 2) , Dominique Geniet (1)

1 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
2 SIC - SIGNAL-IMAGE-COMMUNICATION

We show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way.

Mots clés: real-time; automata; validation

Domaines: Systèmes embarqués; Modélisation et simulation; Performance et fiabilité [cs.PF]; Recherche opérationnelle [math.OC]

Gaëlle Largeteau-Skapin, Dominique Geniet. Term Validation of distributed hard real time applications. CIAA 2002 : international conference on implementation and application of automata No7, Jul 2002, Tours, France. pp.339--343, ⟨10.1007/3-540-44977-9⟩. ⟨hal-00345984⟩