IEEE International Workshop
On Embedded Fault-Tolerant Systems
May 22-23, 1998
Empire Ballroom, Tremont Hotel, Boston, MA
Sponsored by:
IEEE Computer Society Technical Committee on Fault-Tolerant Computing
In cooperation with
IFIP Working group 10.4, Boston University, Boston, MA


Friday, May 22, 1998


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

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

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

"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

"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

"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