 |
18th
IFIP World Computer Congress (WCC2004) Toulouse, France -- August 22-27, 2004 -- www.wcc2004.org Topical Day/Session Track “Building the Information Society” |
|
Organizer:
|
Jean Arlat, LAAS-CNRS, Toulouse, France |
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 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
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
Session 5 -- Further Challenges and Perspectives
Moderator: Jean Arlat