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)


WCC 2004
Compilation of all slides
Top of the page