Room

Ariane 1

Organiser

Jean Arlat (LAAS-CNRS, France)

Programme

Monday 23 August 2004

13h30 - 15h: Setting up the Scene

Chair: Alain Costes (LAAS-CNRS, France)

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

Chair: Jacob A. Abraham (U. Texas at Austin, USA)

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

Chair: Hirokazu Ihara (Hiro Systems Laboratory Tokyo, Japan)

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 for the Time-Triggered Architecture - Hermann Kopetz (U. Technology Vienna, Austria)

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

Chair: Yoshihiro Tohma (Tokyo Denki U., Japan)

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

Chair: William H. Sanders (UIUC, USA)

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)