Sunflower

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

55th Meeting

Cortina d'Ampezzo, Italy

January 27 - 31, 2009
Previous Page

Meeting Host
  Andrea Bondavalli, University of Firenze, Italy

Program-at-a-Glance and Contents

Workshop on Evaluation of Dependability and Resiliency

Workshop 
Coordinators
Andrea Bondavalli, University of Firenze, Italy
Henrique Madeira, University of Coimbra, Portugal
Lorenzo Strigini, City University London, UK
Introduction to the Workshop
Session 1 Modeling-Based Evaluation
Session 2 Design Faults and Intentional Faults
Session 3 Human Aspects
Session 4 Panel-Driven Discussion: The Top Technical Challenges over the Next 10 Years
Session 5 Evidence and Assessment I (Experimental and Formal Approaches)
Session 6 Evidence and Assessment II (Safety and Standards)
Session 7 Wrap up

Business Meeting

Research Reports

List of Attendees

Workshop  on Evaluation of Dependability and Resiliency 

January 28 & 30, 2009 (Wednesday/Friday)

Introduction

Lorenzo Strigini, City University London, UK
Introduction to the Workshop

 .pdf icon  176 KB 

Session 1  --   Model-Based Evaluation
John Meyer, University of Michigan, US
Model-Based Evaluation of User-Perceived System Quality
.pdf icon  1.6 MB
Ivan Mura, Microsoft Research, Trento, Italy
From Computer Science to Systems Biology and Vice-Versa: New Modeling Challenges, Approaches, and Tools
.pdf icon  1.6 MB

Session 2  --  Design Faults and Intentional Faults
Bojan Cukic, West Virginia University, US
In Pursuit of Software Faults: Status and Challenges
.pdf icon  1.0 MB
William Sanders, University of Illinois at Urbana-Champaign, US
Security Metrics		 .pdf icon  1.9 MB

Session 3 -- Human Aspects
Michael Harrison, Newcastle University, UK
Slips or Mistakes, Human Factors or Human Actors
.pdf icon 19.6 MB

Session 4  --  Panel-Driven Discussion: The Top Technical Challenges Over the Next 10 Years
Lorenzo Strigini, City University London, UK
Henrique Madeira, University of Coimbra, Portugal
Miroslaw Malek,  Humboldt University, Germany
Roy Maxion, Carnegie-Mellon University, US
John Rushby, SRI International, US
.pdf icon  64 KB

Session 5  --  Evidence and Assessment I (Experimental and Formal)
Lothar Winzer, ESA,  EU
Developing and Evaluating Critical Software for Space Systems - The Do's and the Don't		 .pdf icon  1.9 MB
Jean Arlat, LAAS-CNRS, France
From Fault Injection-Based Assessment to Dependability Benchmarking: A 4-Way Street or a Long and Winding Road?		 .pdf icon  2.5 MB

Session 6  --  Evidence and Assessment II (Safety and Standards)
Joao Batista Camargo, USP, Brazil
Challenges on Safety Evaluation in the Future Rail and Air Transportation Systems
.pdf icon 16.2 MB
Fredrico Caruso, RINA, Italy
Railway Safety Assessment Processes: The Past, the Present, and the Possible Future Challenges		 NA

Session 7  --  Workshop Wrap Up
Susanna Donatelli, University of Torino, Italy
Bev Littlewood, City University London, UK
Aad van Moorsel, Newcastle University, UK
Johan Karlsson,  Chalmers University of Technology, Sweden
.pdf icon  116 KB
.pdf icon  172 KB
.pdf icon  48 KB
.pdf icon  232 KB


 

Business Meeting

Rick Schlichting, AT&T Labs, US
Overall Presentation and News
 .pdf icon  5.1 MB

 

Research Reports

January 31, 2009 (Saturday)

Paulo Verissimo, University of Lisboa, Portugal
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons Learned
 .pdf icon  1.2 MB
Marco Vieira, University of Coimbra, Portugal
Do You Have Dependability Related Data?  Share It!
 .pdf icon  720 KB
Bev Littlewood, City University London, UK
John Rushby,  SRI International, US
Reliability of 1oo2 Software-Based Systems in which One Channel is "Possibly Perfect"
 .pdf icon  364 KB
Hermann Kopetz, TU-Wien, Austria
Complexity Management in GENESYS
 .pdf icon  492 KB
Bojan Cukic, West Virginia University, US
V&V for Adaptive Systems
 .pdf icon  136 KB
Roy Maxion, Carnegie-Mellon University, US
Detection Algorithms for Keystroke Dynamics 		   NA
Aad van Moorsel, Newcastle University, UK
Getting Rich from QoS Models		 .pdf icon  300 KB
Luigi Romano, University of Naples Parthenope, Italy
Research Report 		.pdf icon  984 KB
Tomohiro Yoneda, National Institute of Informatics, Japan
Development of a Dependable Network-on-Chip Platform		 .pdf icon 288 KB
Hans-Peter Schwefel, Forschungszentrum Telekommunikation Wien, Austria
Resilience Challenges and Solutions in Vehicular Settings		 .pdf icon  644 KB
Miroslaw Malek,  Humboldt University, Germany
Analytical Availability Assessment of IT-Services		 .pdf icon  584 KB
Lorenzo Strigini, City University London, UK
Needs for a Dependability Case for an E-Voting System		 .pdf icon  364 KB
Susanna Donatelli, University of Torino, Italy
Modelling at Different Abstraction Levels: The CRUTIAL Experience		 .pdf icon  696 KB
Roberto Baldoni, University of Rome La Sapienza, Italy
Technologies for Adding Resiliency to Dynamic Distributed Systems		 .pdf icon  1.4 MB
Johan Karlsson,  Chalmers University of Technology, Sweden
Impact of Software Errors on a Brake-by-Wire Controller		 .pdf icon  176 KB

List of Attendees

Names and Contact Information
.pdf icon  68 KB