IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

49th Meeting

Tucson, Arizona, USA

February 15-19, 2006

Meeting Host

Rick Schlichting, AT&T Labs, New Jersey, USA

Program-at-a-Glance and Contents

Workshop on Dependability in Robotics and Autonomous Systems

Workshop
Coordinators

David Powell, Raja Chatila, and Félix Ingrand, LAAS-CNRS, Toulouse, France

Introduction	to the Workshop
Session 1	Fault Tolerance and Autonomy
Session 2	Architectural Paradigms for Autonomous Embedded Systems
Session 3	Ground and Field Robotics
Session 4	Space Robotics
Session 5	Dealing with Design Faults in Autonomous Systems
Session 6	Robotics in Human Spaces
Session 7	Rapporteur Summaries and Workshop Windup

Business Meeting (Open Part)

Research Reports

List of Attendees

Download Full Digest from here: TBD

Workshop on Dependability in Robotics and Autonomous Systems

February 16-17, 2006 (Thursday/Friday)

Introduction

David Powell, LAAS-CNRS, France
Introduction to the Workshop

0.2 MB

Session 1 -- Fault Tolerance and Autonomy
Moderator and Rapporteur: Jaynarayan Lala

Dan Siewiorek, Carnegie-Mellon University, Pennsylvania, USA Fault Tolerant Architectures for Avionics and Space: Towards More Autonomy	0.6 MB
Félix Ingrand, LAAS-CNRS, France An Architecture for Robust and Fault Tolerant Autonomous Robots	2.8 MB

Session 2 -- Architectural Paradigms for Autonomous Embedded Systems
Moderator and Rapporteur: Hirokazu Ihara

Paulo Veríssimo, University of Lisboa, Portugal The Quest for Autonomy: Programming Dependably Adaptive R/T Applications in CORTEX	0.9 MB
Yinong Chen, Arizona State University, Arizona, USA Service-Oriented Computing in Recomposable Embedded Systems	0.7 MB

Session 3 -- Ground and Field Robotics
Moderator and Rapporteur: Brian Randell

Ashley Tews, Queensland Centre for Advanced Technologies (QCAT), CSIRO-CST, Australia Towards Long-Term Reliable Field Robot Operations	1.1 MB
Larry Jackel, DARPA, USA Autonomous Navigation of Ground Robots	3.2 MB
Xavier Défago, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan A Look at Dependability and Synchrony in Distributed Mobile Robotic Systems: Adding Some Pragmatism to Theory	0.8 MB

Session 4 -- Space Robotics
Moderator: David Rennels

Eric Dupuis, Canadian Space Agency, Canada Dependability in Space Robotics: The Need for a Paradigm Shift	0.5 MB
Issa Nesnas, Jet Propulsion Laboratory, California, USA Improving Software Reliability for Robotic Space Applications	1.8 MB

Session 5 -- Dealing with Design Faults in Autonomous Systems
Moderator: John Rushby

Charles Pecheur, University of Louvain, Belgium Verification of Intelligent Controllers using Model Checking	0.6 MB
David Powell, LAAS-CNRS, France Fault Tolerance in Autonomous Robots	1.1 MB

Session 6 -- Robots in Human Spaces
Moderator: Jean-Claude Laprie

Bill Hamel, University of Tennessee, Tennessee, USA Dependability Design of a Tracking Fluoroscope System for Othopedic Diagnostics	1.5 MB
Alin Albu-Schäffer, DLR, Germany Safe Physical Human-Robot Interaction	1.6 MB

Session 7 -- Rapporteur Summaries and Workshop Windup

Jaynarayan Lala, Raytheon, Virginia, USA Session 1: Fault Tolerance and Autonomy	0.5 MB
Hirokazu Ihara, Tokyo Denki University, Japan Session 2: Architectural Paradigms for Autonomous Embedded Systems	16 KB
Brian Randell, University of Newcastle upon Tyne, UK Session 3: Ground and Field Robotics	16 KB
David Rennels, UCLA, California, USA Session 4: Space Robotics	16 KB

Business Meeting (Open Part)

Rick Schlichting, AT&T Labs, New Jersey, USA Overall Presentation and News	0.2 MB
Jaynarayan Lala, Raytheon, Virginia, USA Update on 50th IFIP WG 10.4 Meeting (Summer 2006, Annapolis, Maryland, USA)	20 KB
Tom Anderson, University of Newcastle upon Tyne, UK Update on 52nd IFIP WG 10.4 Meeting (Summer 2007, Edinburgh, UK)	16 KB
Philip Koopman, Carnegie-Mellon University, Pennsylvania, USA Update on 54th IFIP WG 10.4 Meeting (Alaska, USA)	0.3 Mb

Research Reports - February 19, 2006 (Sunday)

Session 1
Moderator: Rick Schlichting

Walt Heimerdinger, Honeywell Laboratories, Minnesota, USA Cortex, A Reconfigurable and Survivable Service Environment	0.2 MB
Jean Arlat, LAAS-CNRS, Toulouse, France High Integrity of Communications in Networks for Critical Control Systems	0.5 MB
Karama Kanoun, LAAS-CNRS, Toulouse, France Dependability Modeling Based on AADL Description	0.2 MB
Andrea Bondavalli, University of Florence, Italy HIDENETS: HIghly DEpenedable ip-based NETworks and Services	0.2 MB
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France ReSIST, Resilience for Survivability in IST	0.3 MB
Brian Randell, University of Newcastle upon Tyne, UK ReSIST's Plans for a Resilience Knowledge Base	0.5 MB

Session 2
Moderator: Rick Schlichting

Mario Dal Cin, University of Erlangen-Nürnberg, Germany Pattern-Based System Design and Design Verification (of Dependability Features)	0.2 MB
Nobuyasu Kanekawa, Hitachi Research Laboratory, Japan X-by-wire Systems	1.3 MB
Vic Thomas, Honeywell Laboratories, Minnesota, USA 1. Certifiable Wireless Data Buses, 2. Autonomous Navigation	0.2 MB
Tomohiro Yoneda, Tokyo Institute of Technology, Japan Formal Verification of Real-Time Systems	0.6 MB
Xavier Défago, Japan Advanced Institute of Science and Technology (JAIST), Japan Time-free Collision Prevention for a Group of Mobile Robots: The Additional Pinch of Pragmatism	0.4 MB
John Rushby, SRI International, California, USA SMT Solvers	60 KB

List of Attendees

Names and Contact Information

28 KB

IFIP Working Group 10.4 Dependable Computing and Fault Tolerance

Research Reports

List of Attendees

Workshop on Dependability in Robotics and Autonomous Systems

February 16-17, 2006 (Thursday/Friday)

Research Reports - February 19, 2006 (Sunday)

List of Attendees

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance