Joseph Sifakis
Turing Prize in 2007
CNRS Research Director
Schneider-INRIA-Digiteo industrial chair
Verimag laboratory

June 19th, 2:00 pm
Lecture hall, Ecole Doctorale on Campus Saint-Priest

French poster (pdf)




Abstract
Embedded systems are small components but are becoming ever more a part of many objects in our daily lives. They are found in cars, vacuum cleaners, rockets and satellites. They perform a simple, precise task: ensuring that their host apparatus works properly. As they multiply in number and uses, they are having to meet requirements related to space allowances, energy consumption and especially robustness. The slightest failure in any of these respects can have disastrous consequences ranging from the breakdown of cars to the explosion of rockets. To deal with these constraints, researchers are pursuing work to improve their knowledge of embedded systems. Their studies involve the design of tools for analysis that combine both physical and computational methods.


Joseph Sifakis has participated in the development of a methodology for the enumeration and verification of computational models. The nature and quality of his work earned him the Turing Prize in 2007. Based on his experience in this field, he will present as part of his lecture the strengths and weaknesses of current models in the interest of improving them. As a reminder, Joseph Sifakis is a research director at the CNRS, also directs the Verimag laboratory and has held the Schneider-INRIA-Digiteo industrial chair since 2008.