Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes

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

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

Mots clés: validation; real time; synchronous model; rationnal language; distributed systems; network

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

Gaëlle Largeteau-Skapin, Dominique Geniet. Validation Temporelle d'Applications Temps Réel Distribuées à Contraintes Strictes. Real time systems 2002, 2002, Paris, France. pp.I.S.B.N.: 2-87717-081-0. ⟨hal-00346030⟩