Workshop on "Human Computer Interaction and Dependability"

Introduction

Roy A. Maxion
Overview of the Problem of Dependable User Interfaces

Session 1  --   Basics and Challenges
Moderator and Rapporteur: David Powell, LAAS-CNRS, Toulouse, France

Tom Anderson, The University of Newcastle Upon Tyne, UK
Dependability, Diversity, Disaster - Whatever Next? (0.2 Mbytes)

Brian Randell, The University of Newcastle Upon Tyne, UK
The Dependability of Computer-based Systems (0.4 Mbytes)

Michael Harrison, The University of Newcastle Upon Tyne, UK
Aspects of Human Error: A Brief Introduction (0.4 Mbytes)

Daniel P. Siewiorek
Robust, Dependable, and User Error Tolerance
Lessons from Computer Games (1.5 + 1.9 Mbytes)

Session 2  --  Dependability Assessment
Moderator and Rapporteur: Walt Heimerdinger, Honeywell Labs., Minneapolis, MN, USA

Michael Harrison
Human Error Analysis and Reliability Assessment (1.3 Mbytes)

Lorenzo Strigini, City University, London, UK
Computer Assistance, Diversity and Dependability (0.1 Mbytes)

Session 3  --  Human Computer Interaction in Real Life
Moderator and Rapporteur:Rick Schlichting, AT&T Labs Research, Florham Park, NJ, USA

Carsten Wittenberg, Siemens AG, Munich, Germany
User Interface Design for Dependable Systems in Industrial Automation (4.4 Mbytes)

Denis Besnard, The University of Newcastle Upon Tyne, UK
Human-machine Interaction in Critical Systems: Where We Are, What We Need,
How to Do It? (4.4 Mbytes)

Art Robinson, System/Technology Development Corporation (S/TDC), Herndon, VA, USA
O. Sami Saydjari, Cyber Defense Agency, Wisconsin Rapids, WI, USA
Major HCI Challenges Supporting the Dependability, Safety and Security of Evolving "On-Demand"
Enterprise Computing and Communications Services (1.9 Mbytes)

Second Day of Workshop Human Interaction and Dependability -- Tuesday, July 6, 2004

Session 4  --  User and System Contributions to Failures
Moderator and Rapporteur:T. Basil Smith, IBM, Hawthorne, NY, USA

Brendan Murphy, Microsoft Research, Cambridge, UK
Failures Associated with HCI (0.2 Mbytes)

Roy A. Maxion
Sources of User Error in the XP Security Interface (1.4 Mbytes)

Session 5 -- Verification and Analysis
Moderator and Rapporteur:W. Kent Fuchs, Cornell University, Ithaca, NY, USA

Cem Kaner, Florida Institute of Technology, Melbourne, FL, USA
Software Testing as a Social Science (0.4 Mbytes)

Michael Harrison
Using Model Checking Techniques to Analyze Interface Moding 
and Timing Problems in Interactive Systems (1.1 Mbytes)

Mieke Massink, ISTI-CNR, Pisa, Italy
Using Hybrid Automata to Support Human Factors Analysis in a Critical System (1.1 Mbytes)

Session 6  --  Workshop Synthesis and Wrap Up
Moderator:Daniel P. Siewiorek

David Powell
Summary of Session 1

Walt Heimerdinger
Summary of Session 2

Rick Schlichting
Summary of Session 3

T. Basil Smith
Summary of Session 4

W. Kent Fuchs
Summary of Session 5

Daniel P. Siewiorek
Wrap Up