Workshop on "Open Source and Dependability"
|
Coordinator:
|
Jean Arlat, LAAS-CNRS, Toulouse, France |
Overview
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