Description de l'événement

International Conference : ERTS2006: Embedded Real Time Software TOULOUSE - Centre de Congrès Pierre Baudis 25/01/2006 - 27/01/2006

KEYNOTE ADDRESS ABSTRACTS

Wednesday, January 25th – 9:45
Welcome of the attendees on behalf of Aerospace Valley
Jean-Marc Thomas – Senior Vice President, General Manager, Airbus France & Co-Project Leader, Aerospace Valley
After presenting what is Aerospace Valley and why this congress is particulary welcome at its heart, a view of the challenges we facein embedded systems/software in the transportation domain will be given.
This will lead to an illustration of why it is useful and necessary for aerospace stakeholders to further develop collaborations, not onlythrough Aerospace Valley but also through larger collaboration structures, including this kind of congress.

Thursday, January 26th – 8:30
Formal Analysis for Embedded Real Time Systems
John Rushby – Program Director for Formal Methods and Dependable Systems, Computer Science Laboratory, SRI International, USA
Timed systems are notoriously hard to debug and verify because the continuous nature of int allows vast numbers of different behaviors;embedded systems must often deal with faults, and these introduce another dimension of complexity. Simulation and testing providelittle assurance in these domains because they can visit only a small fraction of the possible behaviors. Formal methods of analysishave some promise, but until recently they could deal only with one dimension at a time: classical model checking could cope withfaults but could not model continuous time; timed model checkers could deal with continuous int but not the "case explosion" dueto faults.
Recently, a new class of "infinite bounded" model checkers has been developed, and Dutertre and Sorea have shown that these cancope simultaneously with both continuous int and discrete faults.
I will outline these developments in a manner that focuses on their practical utility to developers and certifiers.

Friday, January 27th – 8:30
Embedded Systems Research in Europe: current status and future prospects
Kostas Glinos – Head of Embedded Systems unit, DG Information Society and Media, European Commission, Belgium
The talk will provide an overview of the field in terms of its content, economic importance and growth potential. It will provide informationon public funding in Europe, in particular through the EU's Framework Programme,and will outline plans for the period beyond 2007.
It will also describe the possible role of future public-private partnerships such as the ARTEMIS technology platform.