Skip to Main content Skip to Navigation
Journal articles

WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00346012
Contributor : Gaëlle Largeteau-Skapin Connect in order to contact the contributor
Submitted on : Wednesday, December 10, 2008 - 6:08:47 PM
Last modification on : Wednesday, October 20, 2021 - 3:22:08 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 4:01:44 PM

File

DG_GL_TCS_2004.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Dominique Geniet, Gaëlle Largeteau-Skapin. WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model. Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp.26-52. ⟨10.1016/j.tcs.2007.03.054⟩. ⟨hal-00346012⟩

Share

Metrics

Record views

110

Files downloads

128