45th IFIP WG 10.4 Meeting
Moorea, French Polynesia -- March 5-9, 2004

Workshop on "Open Source and Dependability"

  Jean Arlat, LAAS-CNRS, Toulouse, France


Introduction    to the Workshop
Session 1    Setting up the scene
Session 2    Software Executives
Session 3    Hardware Components
Session 4    Experiences and Experiments
Session 5    Workshop Synthesis and Conclusion

First Day of Workshop Open Source and Dependability -- Saturday March 6, 2004


Jean Arlat
Overview of Workshop Goals

Session 1  --   Setting up the Scene
Moderator: John F. Meyer, University of Michigan, Ann Arbor, USA

Jean Arlat
Open Source and Critical Systems: Some Challenges and Lessons Learnt

Paulo J. Veríssimo, University of Lisbon, Portugal
Open Source in Dependable Systems: A Problem or a Solution

Session 2  --  Software Executives
Moderator: Luca Simoncini, University of Pisa, Italy

Karama Kanoun, LAAS-CNRS, Toulouse, France
Dependability Benchmarking of Off-the-Shelf OS Kernels

Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA
Characterizing Linux Dependability on the Pentium and PowerPC Platforms

Session 3  --  Hardware Components
Moderator: Algirdas Avizienis, VMU, Kaunas, Lithuania and UCLA, CA, USA

Jacob A. Abraham, University of Texas at Austin, USA
How Can Hardware Design Benefit from Open Source

Jiri Gaisler, Gaisler Research, Gothenburg, Sweden
Industrial Use of Open Source IP Cores

Second Day of Workshop Open Source and Dependability -- Sunday March 7, 2004

Session 4  --  Experiences and Experiments
Moderator: Jean-Claude Laprie, LAAS-CNRS, Toulouse, France

Philip Koopman, Carnegie Mellon University, Pittsburgh, PA, USA
Experiences with Component Interference on Shared Hardware Resources

Dietmar Millinger, DECOMSYS, Vienna, Austria
Experiences and Considerations about Open Source Software
for Standard Software Components in Automotive Environments

Rainer Knauf, Ilmenau Technical University, Germany
Validating a Validation Technology: Towards a Protoptype Validation Experiment

Session 5  --  Workshop Synthesis and Conclusion
Moderator: Jean Arlat

John Meyer
Summary of Session 1

Luca Simoncini
Summary of Session 2

Algirdas Avizienis
Summary of Session 3

Jean-Claude Laprie
Summary of Session 4