 |
|
|
|
| HAL : hal-00346012, version 1 |
| DOI : 10.1016/j.tcs.2007.03.054 |
| Fiche détaillée |  Récupérer au format |
|
|
| Theoretical Computer Science 388, 1-3 (2007) 26-52 |
|
|
|
|
| WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model |
|
|
Dominique Geniet 1Gaëlle Largeteau-Skapin 2 |
|
|
| (05/12/2007) |
|
|
|
| This paper presents the initial step of an aid design method earmarked for operational validation of hard real-time systems. We consider systems that are composed of sequential hard real-time tasks, which are embedded on centralized multiprocessor architectures. We introduce a model based upon untimed finite automata and meant to collect the operational behaviors of the system compatible with its time specifications, and we go on to provide a feasibility decision result for systems composed of tasks presenting CPU loads which are exact values: execution times are not WCET values. This is why we call this approach WCET-free analysis. The results we have achieved likewise involve hardware specifications such as multiprocessors and speeds of processors. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Scientifique et Industrielle (LISI / ENSMA) |
|
|
|
LISI-ENSMA |
|
|
| 2 : | SIGNAL-IMAGE-COMMUNICATION (SIC) |
|
|
|
CNRS : FRE2731 – Université de Poitiers |
|
|
|
|
|
|
|
|
|
| temps réel |
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Modélisation et simulation Informatique/Recherche opérationnelle |
|
|
| Finite automata – Real-time systems – Operational validation |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00346012, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00346012 | |
| oai:hal.archives-ouvertes.fr:hal-00346012 | |
| Contributeur : Gaëlle Largeteau-Skapin | |
| Soumis le : Mercredi 10 Décembre 2008, 18:08:47 | |
| Dernière modification le : Lundi 27 Juillet 2009, 16:17:30 | |
