Friday, May 22, 1998

8:30am
Opening

D. Avresky,  Boston University, USA
F. Lombardi, Texas A&M University, USA
B. Johnson, University of Virginia, USA

Session 1  - Invited talks
Chairman B. Johnson, University of Virginia, USA

9:00 - 9:45am
"X-38 Crew Return Vehicle Avionics Architecture"
J. Lala, Draper Labs, USA

9:45 - 10:30am
"A Generic Upgradable Architecture for Real-Time Dependable Systems"
D. Powell, LAAS, CNRS, Toulouse, France

Break 10:30 - 10:45am

Session 2 - Fault-tolerant hardware/software co-design of embedded computing systems
Chairman P. Green, Stratus, USA

10:30 - 10:55am
"A Methodology for Quantifying the Safety of Hardware/Software Systems"
D.T. Smith, T.A. DeLong, B.W. Johnson, T.C. Giras
University of Virginia, USA

10:55 - 11:20am
"Hardware/Software Co-Design of An Airbag Ignition System"
R. von Hanxleden, A. Botorabi, S. Kupczyk
Daimler-Benz AG Germany
 

11:20 - 11:45am
A Hardware/Software Fault-Tolerant Intravenous Infusion Control System"
M.V.D. dos Santos, E. Barros
Universidade Federal de Pernambuco, Brazil

Lunch Break 11:45am - 1pm

Session 3 - Invited talks
Chairman R. Vidale, Boston University, USA

1:00 - 1:45pm
"Challenges for Continuously Available Systems"
Barry Flahive and Rick Harper
Stratus Computer Inc., MA, USA

1:45 - 2:30pm
"Thoroughness evaluation of Verification testing for a Flight Control computing system"
R. Riter, Boeing, USA

Session 4 - Fault Tolerant-Real Time Computing Systems
Chairman R. Harper, Stratus, USA

2:30 - 2:55pm
"Development of Application-Level Fault Tolerance in a Real-Time Benchmark"
J. Haines, V. Lakamraju, I. Koren, C.M. Krishna
University of Massachusetts, USA

2:55 - 3:20pm
"Adding Fault-Tolerance to P-Fair Real-Time Scheduling"
S. Lauzac, R. Melhem, D. Mosse
University of Pittsburgh, USA

3:20 - 3:45pm
"Saving Resources in Fault Tolerant Embedded Real-Time Systems by Using Diverse Software in Probabilistic Time-Redundant Task Execution"
P. Puschner
TU Wien, Austria

Coffee break 3:45 - 4:15pm

Session 5 - Checkpointing
Chairman I. Koren, U. Mass., USA

4:15 - 4:40pm
"Optimized Object State Checkpointing using Compile-Time Reflection"
J.C. Ruiz Garcia*, M. Killijian*, J.C. Fabre*, S. Chiba**
*LAAS-CNRS, France, **University of Tsukuba, Japan

4:40 - 5:05pm
"Compiler-Supported Portable Fault-Tolerant File I/O"
I. Lyubashevskiy, V. Strumpen
MIT, USA

Session 6 - Invited talk
Chairman -  J. Lala, Draper Lab., USA

5:15 - 6:00pm
"Challenges in Building Embedded Fault-Tolerant Systems"
J. Abraham, UT Austin, USA

Saturday, May 23, 1998

Session 7 - Protocols for Dependable Embedded Systems
Chairman D. Powell, LAAS, CNRS, France

8:30 - 8:55am
"Testing Protocols for Dependable Embedded Systems in Cesium"
G.A. Alvarez, F. Cristian
University of California San Diego, USA

8:55 - 9:20am
"A Run Time Error Probe in a Network Computing Environment"
A. Chandra, D.C. Bossen, N. Tendolkar
IBM, USA

9:20 - 9:45am
"Fault Tolerance in Tier-0 Systems"
E.N. Elnozahy, F.L. Rawson
IBM Austin Research Center, USA

Coffee break 9:45 - 10:15 am

Session 8 - Embedded Fault-Tolerant Systems in Automotive Industry
Chairman P. Puschner, TU Wien, Austria

10:15 - 10:40pm
"Automotive Embedded Computing: The current automotive non-fault-tolerant baseline for safety critical systems"
P.L. Goddard
Raytheon Consulting Group, USA

10:40 - 11:05pm
"Optimization of the Fault Tolerance of an Embedded Distributed Automotive Computing System for the Control of Switch-Gear stations"
S. Draber
ABB Corporate Research, Switzerland

11:05 - 11:30pm
"Fault Tolerance in Holonic Manufacturing Systems"
M. Fletcher, S. Misbah Deen
Keele University, U.K.
 

Session 9 - Embedded fault-tolerant systems in the aerospace industry
Chairman -R. von Hanxleden, Germany

11:30 - 11:55am
"Case Study: Verification of an Embedded Fault-Tolerant Avionics System"
U. Brockmeyer, G. Wittick
OFFIS, Germany

11:55 - 12:20am
"Theory and Experiments for Asymptotic Stability in the Presence of controller Pertubation"
A.L. White, H. Kim
NASA Langley Research Center, USA

Lunch break 12:20 - 1:00pm

Session 10 - Fault-Tolerant Parallel Systems
Chairman - E. Maehle, Germany

1:00 - 1:25pm
"A New Framework for Fault-Tolerant Communication in Embedded Supercomputing"
G. Efhivoulidis, A. Kantizas, A. Meliores, T. Varvarigou, E. Verentziotios
National Technical University of Athens, Greece

1:25-1:50pm
"Fault Tolerant Routing for Embedded High Performance Cluster Systems"
A.C. Doering, G. Lustig, E. Maehle, W. Obeloeer
Medical University of Luebeck, Germany

1:50 - 2:15pm
"Diagnosis Algorithms for Multiprocessor Systems"
B.S. Joshi* and S.H. Hosseini**
*Western Carolina University, ** University of Wisconsin-Milwaukee, USA

2:15-2:40pm
"The SIFT Approach for Embedding a Data Compression Algorithm in Faulty Hypercubes"
D. Avresky*, S.Geoghegan **
*Boston University, **Texas A&M University, USA

Session 11 - Chip-Level Design of Embedded Fault-tolerant Systems
Chairman - F. Lombardi, USA

2:40-3:05pm
"Rapid In-Place Reconfiguration for One-Time-Programmable FPGAs"
X.T. Chen, F.J. Meyer, W. Feng, J. Zhao, F.Lombardi
Texas A&M University, USA

3:05 - 3:30pm
"A New Concept for Generating Reliable Embedded Processors"
M. Pflanz, H.T. Vierhaus
Brandenburg University of Technology, Germany

3:30 - 3:55pm
"A New Approach to Programmable Memory Built-In Self-Test Scheme"
K. Zarrineh, S.J. Upadhyaya
SUNY Buffalo, USA

Coffee break 3:55 - 4:30pm

Session 12 - Verification and Validation
Chairman - D. Avresky, Boston University, USA

4:30 - 4:55pm
"Multilevel Concurrent Simulation (MCS): An Extensible Architectural Environment"
K. Lentz*, J. Heller*, P. Montessoro**
*Tufts University, USA, **University of Udine, Italy

4:55 - 5:20pm
"Model Checking in Industrial Design-Flows for Secure  Embedded Systems"
R.B. Hughes
Abstract Inc, USA

5:20 - 5:45pm
"Transient-Fault Tolerant Finite State Machine Based on Convolutional Codes"
P. Nagvajara and S. Chansilp
Drexel University, USA

Session 13 - Fault Injection
Chairman - A. White, NASA, USA

5:45 - 6:10pm
"Validation of a Commercial Fault-Tolerant High Speed Network, A Case Study"
T. Liu, Z. Kalbarczyk, R.K. Iyer
University of Illinois, USA

6:10 - 6:35pm
"Establishing Ultra Reliability by Fault Injection Experiments"
A.L. White
NASA Langley Research Center, USA