Discrete Geometry Applied in Hard Real-Time Systems Validation

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

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

0ff-line validation of hard real-time systems usually stands on state based models. Such approaches always deal with both space and time explosions. This paper proposes a geometrical approach to model applications and to compute operational feasability from topological properties. Thanks to this model, we can decide the feasability of real-time synchronous systems composed of periodic tasks, sharing resources, running on multiprocessor architectures. This method avoids state ennumeration and therefore limits both space and time explosion.

Mots clés: Real-time; operational validation; multiprocessors; resource sharing; geometrical modeling

Domaines: Systèmes embarqués; Mathématique discrète [cs.DM]; Modélisation et simulation

Gaëlle Largeteau-Skapin, Dominique Geniet, Éric Andres. Discrete Geometry Applied in Hard Real-Time Systems Validation. 12th International Conference, DGCI 2005, Apr 2005, Poitiers, France. pp.23-33, ⟨10.1007/b135490⟩. ⟨hal-00345992⟩