Top12: Open-Source Software in Dependable Systems
Thursday 26 August 2004
Organisers
Philippe David (ESA, The
Netherlands)
Hélène Waeselynck (LAAS-CNRS, France)
Overview
While Open-Source Software (OSS) is penetrating the software business at large, software-intensive applications having high dependability requirements have been little concerned so far. At a first glance, introducing OSS into such critical systems seems risky. The constraints imposed by adherence to certification standards may be deemed irreconcilable with the open-source development model. Still, the question is being taken seriously in domains like transportation, space, or nuclear energy: gaining acceptance into dependable systems might well be the new challenge for some mature OSS products.
Programme
10h30 -
12h: Introductory
talks
Chair: Hélène Waeselynck (LAAS-CNRS, France)
OSS in Critical Systems: Motivation and Challenges - Philippe David (ESA, The Netherlands), Hélène Waeselynck, Yves Crouzet (LAAS-CNRS, France)
Trusting Strangers - Carl Landwehr (U. of Maryland, USA)
An Interdisciplinary Perspective of Dependability in Open Source Software - Cristina Gacek (U. of Newcastle, UK)
13h30 -
15h: Insights
from OSS suppliers
Chair: Philippe David (ESA, The Netherlands)
Is Academic Open-Source Software Dependable? - Shigeru Chiba (Tokyo Institute of Technology, Japan)
Open source in Dependable Systems: Current and Future Business Models - Cyrille Comar, Franco Gasperoni (ACT Europe, France)
An Open-Source VHDL IP Library with Plug & Play Configuration - Jiri Gaisler (Gaisler Research, Sweden)
15h30 -
17h: Insights from OSS integrators and
general discussion
Chair: Andrea Servida (European Commission, Belgium)
Linux: a Candidate O/S for Avionics Applications? - Serge Goiffon, Pierre Gaufillet (Airbus, France)
A Journey towards an OSS-Aware Organization in the System Integrator Business - Jean-Michel Tanneau (THALES Research & Technology, France)
General discussion and concluding
remarks by
Andrea Servida (EC, Belgium)
Compilation
of all slides |
![]() |