Organiser

Jean Arlat (LAAS-CNRS, France), jean.arlat@laas.fr

Overview

The wide variety of vulnerabilities, outages and failures that may affect information processing systems and infrastructures constitute increasing worries in most today's technology deployments. These concerns extend beyond the classical application domains (such as space, power production, telecommunications, transportation, etc.) and reach all information infrastructures (such as the Internet) and impact more societal domains that increasingly rely on the proper behavior of these infrastructures. Even embedded systems, that could be classically considered as closed systems, are now impacted by the cross-coupling that is establishing between the dedicated computerized control systems supporting the critical applications, and the overall information infrastructures.

The goal of these Topical Days is to provide a state-of-the-art review of the emerging problems and challenges, and anticipate potential solutions and research avenues to cope with these issues.

Programme

Monday 23 August 2004

13h30 - 15h: Setting up the Scene

Brief Addresses by the IFIP WG10.4 Past and Current Chairs - Algirdas Avizienis (UCLA, USA and Vytautas Magnus U., Lithuania), Jean-Claude Laprie (LAAS-CNRS, France), Hermann Kopetz (U. Technology Vienna, Austria), Jean Arlat (LAAS-CNRS, France)

Dependable Systems of t he Future: What Is Still Needed? - Algirdas Avizienis (UCLA, USA and Vytautas Magnus U., Kaunas, Lithuania)

Dependability and Its Threats: A Taxonomy - Algirdas Avizienis (UCLA, USA and Vytautas Magnus U., Kaunas, Lithuania), Jean-Claude Laprie (LAAS-CNRS, France), Brian Randell (U. Newcastle, UK)

15h30 - 17h30: Contributions, Advances and Trends

Current Research Activities on Dependable Co mputing and Other Dependability Issues in Japan - Yoshihiro Tohma (Tokyo Denki U., Japan), Masao Mukaidono (Meiji U., Kawasaki, Japan)

Dependable Computing at Illinois - Ravishankar K. Iyer, William H. Sanders, Janak H.Patel (UIUC, USA)

Wrapping the Future - Tom Anderson, Brian Randell, Alexander Romanovsky (U. Newcastle, UK)

From the University of Illinois via JPL and UCLA to Vytautas Magnus University: 50 Years of Computer Engineering by Algirdas Avizienis - David A. Rennels, Milos D. Ercegovac (UCLA, USA)

Tuesday 24 August 2004

10h30 - 12h: Dependability and Predictability of Embedded Systems

Airbus Fly-by-Wire: A Total Approach to Dependability - Pascal Traverse, Isabelle Lacaze, Jean Souyris (Airbus, France)

Unique Dependability Issues for Commercial Airplane Fly By Wire Systems - Ying C. Yeh (Boeing Corporation, USA)

The Fault-Hypothesis of the Time-Triggered Architecture - Hermann Kopetz, (U. Technology Vienna, Austria)

13h30 - 15h: Focuses on Communications, Security, and Software Verification

Communications Dependability Evolution Between Convergence and Competition - Michele Morganti (Siemens Mobile Communications, Milan, Italy)

Intrusion Tolerance for Internet Applications - Yves Deswarte, David Powell (LAAS-CNRS, France)

Static Program Transformations for Efficient Software Model Checking - Shobha Vasudevan, Jacob A. Abraham (U. Texas at Austin, USA)

15h30 - 17h: Further Challenges and Perspectives

Architectural Challenges for a Dependable Information Society - Luca Simoncini (U. Pisa and PDCC, Italy), Andrea Bondavalli (U. Florence and PDCC, Italy), Felicita Di Giandomenico, Silvano Chiaradonna (ISTI-CNR and PDCC, Italy)

Experimental Research in Dependable Computing at Carnegie Mellon University - Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan (Carnegie Mellon U., USA)

Systems Approach to Computing Dependability In and Out of Hitachi: Concept, Applications and Perspective - Hirokazu Ihara (Hiro Systems Laboratory Tokyo, Japan), Motohisa Funabashi (Hitachi Ltd, Kawasaki, Japan)