ARTIST2 meeting on Integrated Modular Avionics

November 12-13, 2007       Roma, Italy organised and funded by ARTIST 

Agenda & Slides

The meeting was co-chaired by:
- Albert Benveniste (INRIA, responsible for minutes)
- Alberto Ferrari or Alberto Sangiovanni-Vincentelli (PARADES, chairing sessions)

 

Minutes from the meeting are available here.

Monday November 12th

Alberto Ferrari or Alberto Sangiovanni-Vincentelli, PARADES
Welcome and introductory address
Jean-Bernard Itier, Airbus
A380 Integrated Modular Avionics - (abstract)
Thierry Cornilleau, Dassault-Aviation
Dassault Aviation feedbacks on its military and civil IMA applications - (abstract)
Peter Feiler, SAE AADL Committee
IMA: The Good, The Bad, and The Ugly - (abstract)
John Rushby, SRI (presented by Albert Benveniste)
Compositional Assurance for IMA - (abstract)
Paul Caspi, Verimag
Some issues about IMA in safety critical applications - (abstract)
Gert Doehmen, Airbus
Embedded System Development for Distributed Networked Computing Platforms - (abstract)
Roman Obermaisser, TU Vienna
Supporting Heterogeneous Applications in the DECOS Integrated Architecture (abstract)
Discussion and identification of the main points of the day

Tuesday November 13th

Bruno Bouyssounouse, VERIMAG Laboratory
Overview of the Artist2 Network of Excellence
Kevin Driscoll, Honeywell
Honeywell requirements for IMA - (abstract)
Alex Wilson (Windriver), OS
The application of DO-297 to a COTS based ARINC 653 Environment - (abstract)
Chris J. Walter, WW Technology Group
Dependable solutions for IMA - (abstract)
Panel Session on expectations from research for IMA:
statements from speakers and recorded discussion.
This will be a structured panel involving the speakers, plus some additional panelists. Besides the usual statements and discussion, detailed conclusions and recommendations for research will be collected as part of the meeting minutes.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet