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

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

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

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.

Keywords: Finite automata; Real-time systems; Operational validation

Domains: Embedded Systems; Modeling and Simulation; Operations Research [math.OC]

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, 2007, 388 (1-3), pp.26-52. ⟨10.1016/j.tcs.2007.03.054⟩. ⟨hal-00346012⟩