 |
|
|
|
| HAL: hal-00345992, version 1 |
| DOI: 10.1007/b135490 |
| Detailed view |  Export this paper |
|
|
| 12th International Conference, DGCI 2005, Poitiers : France (2005) |
|
|
|
|
| Discrete Geometry Applied in Hard Real-Time Systems Validation |
|
|
Gaëlle Largeteau-Skapin 1Dominique Geniet 2 |
|
|
| (2005-04) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
| 2: | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Embedded Systems Computer Science/Discrete Mathematics Computer Science/Modeling and Simulation |
|
|
| Real-time – operational validation – multiprocessors – resource sharing – geometrical modeling |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00345992, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00345992 | |
| oai:hal.archives-ouvertes.fr:hal-00345992 | |
| From: Gaëlle Largeteau-Skapin | |
| Submitted on: Thursday, 11 December 2008 09:26:00 | |
| Updated on: Thursday, 18 December 2008 22:49:51 | |
