Scheduling for Critical Embedded Systems
Image Logo-LAAS-CNRS-400
$\quad \mbox{} \quad$ Image avion

The conditions for the correct performance of a real-time system include not only the logical correctness of each of the tasks that are executed but also their timing correctness, that is the system should meet the timing requirements of each task. The design of such systems usually relies on a pessimistic analysis based on worst-case execution times of the tasks in order to find a taks scheduling meeting the strict real-time requirements of the tasks. Even if it is approriate in some specific application areas (e.g. avionics), this approach does not allow to address many of the most important real-time system applications because, when the execution time variance is high, it leads to a significant over-provisionning of resources and puts unnecessary constraints on the development. For real-time systems for which the task set exhibit substantial variability, one would like to develop approaches taking into account the stochastic nature of processing times. Such approaches can lead to a drastic reduction in the amount of on-board processing resources. Similarly, taking into account the needs for system reconfiguration in case of failure can lead to significant gains.

OSEC is a 2-year project funded by the LAAS laboratory. It is a joint project of 3 research groups: MRS, OLC and MOGISA.

See full description of the project: PDF

Contact Information $\quad \mbox{} \quad$ Members
Olivier Brun
7 Avenue Colonel Roche
31077 Toulouse Cedex 4
Email: brun{at}laas.fr
Phone: +33 561 336 918
Fax: +33 561 336 936

Faculty & Postdocs & PhD Students
Open Positions
We are seeking a postdoc to work on the project OSEC (PDF).
The position is to be filled up to October 3rd, 2011.


Real-time queueing theory / Reconfiguration of real-time systems
Internship subjects