Workshop on "Challenges and Directions for Dependable Computing"
|
Coordinators:
|
Jean Arlat, LAAS-CNRS, Toulouse, France Takashi Nanya, University of Tokyo, Japan William H. Sanders, The University of Illinois at Urbana-Champaign, USA |
Overview
| Design for Dependability 1 | |
| Dependability Assessment | |
| Generic Dependability | |
| Design for Dependability 2 | |
| Dependable Applications | |
| Dependability Programs | |
| Synthesis and Wrap Up |
Position Papers Submitted to the Workshop
First day of Workshop -- Saturday, January 5
Session 1 -- Design for
Dependability
1
Moderator: Takashi Nanya
Algirdas Avizienis, A. Avizienis and Associates Inc., Santa Monica,
CA, USA
Building a Hierarchical Defense: An
Immune
System Paradigm for the Design of Fault-Tolerant Systems
Dimiter R. Avresky, Northeastern University, Boston, MA, USA
Dependable Private Virtual Networks
Philip Koopman, Carnegie Mellon University, Pittsburgh, PA, USA
Creating Robust Software Interfaces: Fast
+ Cheap + Good
(Now You Can Get All Three)
Session 2 -- Dependability
Assessment
Moderator: John Meyer, The University of Michigan, Ann Arbor,
USA
Jean Arlat
From Fault Injection Experiments to
Dependability
Benchmarking
Mario Barbacci, SEI-CMU, Pittsburgh, PA, USA
Software Quality Attributes and Software
Architecture Tradeoffs
William H. Sanders
Designing and Assessing Adaptive Dependable
Distributed Systems:
Putting the Model in the Loop
Aad van Moorsel, Hewlett-Packard Laboratories, Palo Alto, CA, USA
‘Quality of Business’: Metrics for
the Internet Age
Session 3 -- Generic
Dependability
Moderator: Paulo J. Veríssimo, University of Lisbon,
Portugal
Felicita Di Giandomenico, IEI-CNR, Pisa, Italy
Production Process of Dependable
Systems / Human Factors / Emerging Applications
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France
(Some Remarks About) Dependability of Large
Networked Computer Systems
Gérard Le Lann, INRIA, Rocquencourt, France
Is Software Really the Weak Link in
Dependable
Computing?
Brian Randell, The University of Newcastle, UK
Challenges and Directions for Dependable
Computing: Some Reflections
Session 4 -- Design for
Dependability
2
Moderator: Andrea Bondavalli, University of Florence, Italy
Walter L. Heimerdinger, Honeywell Laboratories, Minneapolis, MN, USA
Adding Security to Operational Systems
Yennun Huang, PreCache Inc., Bridgewater, NJ, USA
Dependability Issues of Push-Based Applications and Networks
Lisa Spainhower, IBM Corp., Poughkeepsie, NY, USA
Server Lessons & Opportunities -
Autonomic Computing Challenge
Second day of Workshop -- Sunday, January 6
Session 5 -- Dependable
Applications
Moderator: Chuck Weinstock, Carnegie Mellon University,
Pittsburgh,
PA, USA
Cristof Fetzer, AT&T Labs?Research, Florham Park, NJ, USA
Pervasive Dependability: Moving Dependable
Computing Towards Mainstream Systems
Günter Heiner, DaimlerChrysler AG, Berlin, Germany
Future Automotive Scenarios and Dependability Challenges
Hermann Kopetz, Vienna University of Technology, Austria
Research Issues in Dependable Embedded
Systems
Session 6 -- Dependability
Programs
Moderator: Roy Maxion, Carnegie Mellon University, Pittsburgh,
PA, USA
Jaynarayan H. Lala, Defense Advanced Research Projects Agency,
Arlington,
VA, USA
Dependability: Information Assurance Research
Agenda
Carl E. Landwehr, National Science Foundation, Arlington, VA, USA
Research Directions in Trustworthy
{Trusted,
Dependable} Computing
Andrea Servida, European Commission DG INFSO C-4, Brussels, Belgium
(presented par Jean-Claude Laprie)
The European Initiative on Dependability:
Towards a Dependable Information Society?
Session 7 -- Synthesis and
Wrap-up
Moderator: Alain Costes, LAAS-CNRS, Toulouse, France
Reports on Sessions by Moderators
- Takashi Nanya -- Report on Session 1: Design for Dependability 1
- John Meyer -- Report on Session 2: Dependability Assessment
- Paulo J. Veríssimo -- Report on Session 3: Generic Dependability
- Andrea Bondavalli -- Report on Session 4: Design for Dependability2
- Charles B. Weinstock -- Report on Session 5: Dependable Applications
- Roy Maxion -- Report on Session 6: Dependability Programs
Additional Short Presentations
- Jean Arlat
Emerging
Technologies
& New Computing Paradigms
- Luca Simoncini, CNUCE-CNR and University
of Pisa, Italy
Usability
- David P. Gluch, Embry-Riddle Aeronautical
University,
Daytona Beach, FL, USA
Dependability
Challenges in Model Centered Software Development
- Robert Stroud, The University of Newcastle, UK
Two More
Dependability Challenges
Workshop Wrap-up
- Alain Costes
List of
Position
Papers Submitted to the Workshop
(alphabetical order of authors)
Get the Compilation of Positions Papers (.pdf file -- about 250k)
01. From Fault Injection Experiments to Dependability Benchmarking
Jean Arlat (LAAS-CNRS,
Toulouse,
France)
02. Building a Hierarchical Defense: An Immune System Paradigm
for Fault-Tolerant System Design
Algirdas Avizienis
(University of California at Los Angeles, USA)
03. Dependable Computer Networks
Dimiter R. Avresky
(Northeastern
University, Boston, MA, USA)
04. Interactions and Tradeoffs between Software Quality Attributes
Mario Barbacci and Charles
B. Weinstock (SEI-CMU, Pittsburgh, PA, USA)
05. Production Process of Dependable Systems / Human Factors /
Emerging
Applications
Andrea Bondavalli
(University
of Florence, Italy), Felicita Di Giandomenico (IEI-CNR, Pisa, Italy)
and Luca Simoncini
(CNUCE-CNR
and University of Pisa, Italy)
06. Creating Robust Software Interfaces: Fast, Cheap, Good — Now You
Can Get All Three
John DeVale and Philip
Koopman
(Carnegie Mellon University, Pittsburgh, PA, USA)
07. Pervasive Dependability: Moving Dependable Computing Towards
Mainstream
Systems
Cristof Fetzer and Richard
D. Schlichting (AT&T Labs?Research, Florham Park, NJ, USA)
08. Dependability Challenges in Model-Centered Software Development
David P. Gluch (Embry-Riddle
Aeronautical University, Daytona Beach, FL, USA)
09. Report Correlation for Improved Intrusion Detection and Fault
Diagnostics
Walter L. Heimerdinger
(Honeywell
Technology Center, Minneapolis, MN, USA)
10. Future Automotive Scenarios and R&D Challenges
Günter Heiner
(DaimlerChrysler
AG, Berlin, Germany)
11. Dependability Challenges in Pushed-based Systems
Yennun Huang (PreCache Inc.,
Bridgewater, NJ, USA)
12. Dependability Challenges in the Field of Embedded Systems
Hermann Kopetz (Vienna
University
of Technology, Austria)
13. Dependability: Information Assurance Research Agenda
Jaynarayan H. Lala (Defense
Advanced Research Projects Agency, Arlington, VA, USA)
14. Research Directions in Trustworthy {Trusted, Dependable}
Computing
Carl E. Landwehr (National
Science Foundation, Arlington, VA, USA)
15. (Some Remarks About) Dependability of Large Networked Systems
Jean-Claude Laprie
(LAAS-CNRS,
Toulouse, France)
16. Can we Avoid Faults in Requirements Capture Process? / Which
Computational
Models
for Dependable and Real-time Mobile
Computing, Autonomous Complex Systems?
Gérard Le Lann
(INRIA,
Rocquencourt, France)
17. Some Reflections
Brian Randell (The
University
of Newcastle, England)
18. Designing and Assessing Adaptive Dependable Distributed Systems:
Putting the Model in the Loop
William H. Sanders (The
University of Illinois at Urbana-Champaign, USA)
19. The European Dependability Initiative in the RTD Framework
Programme
6th:
An Opportunity for Global Collaboration
Andrea Servida (European
Commission DG INFSO C-4, Brussels, Belgium)
20. High End Commercial Computer Fault Tolerance: Trends and
Directions
Lisa Spainhower (IBM Corp.,
Poughkeepsie, NY, USA)
21. Metrics for the Internet Age: Quality of Experience and Quality
of Business
Aad van Moorsel
(Hewlett-Packard
Laboratories, Palo Alto, CA, USA)