OSTRE

Optimization of Embedded Real-Time Systems

Key-Words: rapid prototyping, system level CAD, co-design, partitionning, multiprocessor, parallel, distributed, specific integrated circuit, real-time, embedded, optimization, scheduling, operating system, executive, fault tolerance.
Goals: four research topics in the field of distributed real-time embedded systems: 1) modeling of such systems with graphs and partial order theories, 2) optimization of real-time implementation, using real-time scheduling algorithms in the case of monoprocessor, and using distribution and scheduling heuristics in the case of multicomponent (network of processors and specific integrated circuits, 3) technics for automatic code generation for processor and for integrated circuit, 4) fault tolerance.
These researches aim at linking automatic control and computer science domains, by minimizing the gap between the specification/simulation phase and the implementation in real-time phase, in order to reduce the development cycle of distributed real-time embedded applications.
They led on the one hand to a methodology called AAA (Algorithm Architecture Adequation), and on the other hand to a system level CAD software called SynDEx for the optimization of distributed embedded real-time applications.
Team: Yves Sorel (DR), Cyril Faure and Julien Forget (Expert engineers), Arnaud Rouanet (Associated engineer), Rémy Kocik, Christophe Lavarenne, and Thierry Grandpierre (External collaborators), Liliana Cucu, Hamoudi Kalla, Linda Kaouane, Nicolas Pernet, Mickaël Raulet (PHD students).

	Optimization of Embedded Real-Time Systems
	Key-Words: rapid prototyping, system level CAD, co-design, partitionning, multiprocessor, parallel, distributed, specific integrated circuit, real-time, embedded, optimization, scheduling, operating system, executive, fault tolerance. Goals: four research topics in the field of distributed real-time embedded systems: 1) modeling of such systems with graphs and partial order theories, 2) optimization of real-time implementation, using real-time scheduling algorithms in the case of monoprocessor, and using distribution and scheduling heuristics in the case of multicomponent (network of processors and specific integrated circuits, 3) technics for automatic code generation for processor and for integrated circuit, 4) fault tolerance. These researches aim at linking automatic control and computer science domains, by minimizing the gap between the specification/simulation phase and the implementation in real-time phase, in order to reduce the development cycle of distributed real-time embedded applications. They led on the one hand to a methodology called AAA (Algorithm Architecture Adequation), and on the other hand to a system level CAD software called SynDEx for the optimization of distributed embedded real-time applications. Team: Yves Sorel (DR), Cyril Faure and Julien Forget (Expert engineers), Arnaud Rouanet (Associated engineer), Rémy Kocik, Christophe Lavarenne, and Thierry Grandpierre (External collaborators), Liliana Cucu, Hamoudi Kalla, Linda Kaouane, Nicolas Pernet, Mickaël Raulet (PHD students).