Logo IFIP WCC2004 18th IFIP World Computer Congress (WCC2004)

Toulouse, France -- August 22-27, 2004 -- www.wcc2004.org

Topical Day/Session Track “Building the Information Society”


Top 3: Fault Tolerance for Trustworthy and Dependable Information Infrastructures

Toulouse, France -- August 23-24, 2004

Organizer:
  Jean Arlat, LAAS-CNRS, Toulouse, France

Overview

A.Avizienis 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 was 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.

This event was organized by IFIP WG 10.4 on Dependable Computing and Fault Tolerance, in honor of Prof. Algirdas Avizienis (Vytautas Magnus University, Kaunas, Lithuania and University of California at Los Angeles, USA), whose pioneering and leading work has shaped the discipline of fault-tolerant and dependable computing.

Program

Session 1 
  Setting up the Scene
Session 2 
  Contributions, Advances and Trends
Session 3 
  Dependability and Predictability of Embedded Systems
Session 4 
  Focuses on Communications, Security, and Software Verification
Session 5 
  Further Challenges and Perspectives


First Day of Top 3: Fault Tolerance for Trustworthy and Dependable Information Infrastructures -- August 23, 2004

Session 1  --   Setting up the Scene
Moderator: Alain Costes, LAAS-CNRS, Toulouse, France

Brief Addresses by the IFIP WG10.4 Past and Current Chairs
Algirdas Avizienis, Vytautas Magnus Univ., Kaunas, Lithuania & Univ. of California at Los Angeles, USA
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France
Hermann Kopetz, Vienna University of Technology, Austria
Jean Arlat, LAAS-CNRS, Toulouse, France [.pdf -- 28k]
 
Dependable Systems of the Future: What Is Still Needed? [.pdf -- 44k]
Algirdas Avizienis, VMU, Kaunas, Lithuania and UCLA, USA

Dependability and Its Threats: A Taxonomy [.pdf -- 180k]
Algirdas Avizienis, VMU, Kaunas, Lithuania & UCLA, CA, USA; Jean-Claude Laprie, LAAS-CNRS, Toulouse, France;
Brian Randell, Univ. of Newcastle, UK

Session 2  --  Contributions, Advances and Trends
Moderator: Jacob A. Abraham, University of Texas at Austin, USA

Current Research Activities on Dependable Computing and Other Dependability Issues in Japan [.pdf -- 332k]
Yoshihiro Tohma, Tokyo Denki Univ.; Masao Mukaidono, Meiji Univ., Tokyo; Japan

Dependable Computing at Illinois [.pdf -- 1100k]
Ravishankar K. Iyer, William H. Sanders, Janak Patel, Zbigniew Kalbarczyk, Univ. of Illinois at Urbana-Champaign, USA

Wrapping the Future [.pdf -- 176k]
Tom Anderson, Brian Randell, Alexander Romanovsky, Univ. of Newcastle, UK

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

Second Day of Top 3: Fault Tolerance for Trustworthy and Dependable Information Infrastructures -- August 24, 2004

Session 3  --  Dependability and Predictability of Embedded Systems
Moderator: Hirokazu Ihara, Hiro Systems Laboratory Tokyo, Japan

Airbus Fly-by-Wire: A Total Approach to Dependability [.pdf -- 1700k]
Pascal Traverse, Isabelle Lacaze, Jean Souyris, Airbus, France

Unique Dependability Issues for Commercial Airplane Fly By Wire Systems [.pdf -- 476k]
Ying C. Yeh, Boeing Corporation, Seattle, WA, USA

The Fault-Hypothesis for the Time-Triggered Architecture [.pdf -- 532k]
Hermann Kopetz, Vienna Univ. of Technology, Austria

Session 4  --  Focuses on Communications, Security, and Software Verification
Moderator: Yoshihiro Tohma, Tokyo Denki Univ., Japan

Communications Dependability Evolution Between Convergence and Competition [.pdf -- 1700k]
Michele Morganti, Siemens Mobile Communications, Milan, Italy

Intrusion Tolerance for Internet Applications
[.pdf -- 1300k]
Yves Deswarte, David Powell, LAAS-CNRS, Toulouse, France

Static Program Transformations for Efficient Software Model Checking
[.pdf -- 52k]
Shobha Vasudevan, Jacob A. Abraham, Univ. of Texas at Austin, USA

Session 5  --  Further Challenges and Perspectives
Moderator: Jean Arlat

Architectural Challenges for a Dependable Information Society [.pdf -- 212k]
Luca Simoncini, Univ. Pisa & PDCC; Andrea Bondavalli, Univ. Florence & PDCC;
Felicita Di Giandomenico, Silvano Chiaradonna, ISTI-CNR, Pisa & PDCC; Italy

Experimental Research in Dependable Computing at Carnegie Mellon University [.pdf -- 1000k]
Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan, Carnegie Mellon Univ., Pittsburgh, PA, USA

Systems Approach to Computing Dependability In and Out of Hitachi: Concept, Applications and Perspective [.pdf -- 1900k]
Hirokazu Ihara, Hiro Systems Laboratory Tokyo; Motohisa Funabashi, Hitachi Ltd, Kawasaki; Japan