Hard copies are available at
Secretary
Department of Computer Science
University of the Witwatersrand, Johannesburg 
Private Bag 3, 2050 Wits, South Africa
phone: +27 11 7163295, fax: +27 11 3393513
email: secretary@cs.wits.ac.za
at the cost of US$30 or R145.
Front Cover Page
Table of Contents
Preface
Workshop Committees
Referees
Back Cover Page

Tutorials

Chair: Robert Baber, PHDS Wits
Distributed Fault-Tolerance 
David Powell, LAAS-CNRS, Toulouse, France
david.powell@laas.fr
Hardware Verification: Theory and Practice
Jacob A. Abraham
Computer Engineering Research Center, University of Texas at Austin
jaa@cerc.utexas.edu
Software Development for Intranet Applications
Dan Marinescu
Computer Science Department, Purdue University
dcm@cs.purdue.edu

Keynote Address

Chair: Hermann Kopetz, University of Vienna
Infrastructure-Based Design of Fault-Tolerant Systems
Algirdas Avizienis
UCLA Computer Science Department, Los Angeles, CA, USA 
Vytautas Magnus University, Kaunas, Lithuania
aviz@CS.UCLA.EDU

Session A Fault-Tolerant Systems

Chair: Jean-Claude Laprie, LAAS-CNRS
A development Cycle for Dependable Reactive Systems
T. Mikkonen, Tampere University of Technology, Finland
tjm@cs.tut.fi
On development of a dependable distributed system
Authors: Y. Chen
Highly Dependable Systems Research Programme, University of Witwatersrand
yinong@cs.wits.ac.za
Multi-Agent Techniques for Fault-Tolerance in Computer Control Systems
Authors: A Stothert and I MacLeod
Department of Electrical Engineering, University of Witwatersrand
stoth@odie.ee.wits.ac.za

Keynote Addresses

Chair: Eliane Martins, State University of Campinas
Dependability: From Concepts to Limits
Jean-Claude Laprie
LAAS-CNRS, Toulouse, France
laprie@laas.fr
More Dependable Systems in Computing -Autonomous Decentralized Systems-
H. Ihara, International University of Health and Welfare, Japan
ihara@iuhw.ac.jp

Session B Fault-Tolerant Applications

Chair: Peter Knothe, Generation Engineering, ESKOM
The fault tolerant computer system of the
Brazilian scientific application microsatellites
Authors: A.R. de Paula Jr and C.R. Sonnenburg, UNIVAP, Brazil
alderico@univap.br, sonnen@univap.br
A new trend on development of fault-tolerant applications:
software meta-level architecture
Authors: M.L.B. Lisboa, UFRGS, Brazil
llisboa@caracol.inf.ufrgs.br
A reliable distributed file system for UNIX based on NFS
Authors: M.M. Leboute and Taicy Weber, UFRGS, Brazil
taisy@inf.ufrgs.br

Session C Testing and Validation

Chair: Conrad Mueller, PHDS Wits
The way forward for unifying dynamic test case generation: 
The optimisation-based approach
Authors: N. Tracey, et al., University of York, UK
jac@cs.york.ac.uk, ntj@cs.york.ac.uk
Using Formal Validation Techniques to Develop a Microkernel
Authors: Pieter de Villiers
pja@cs.sun.ac.za
Circuit resynthesis for improved testability
Authors: B. Roussev
Department of Computer Science, University of Witwatersrand
borislav@cs.wits.ac.za

Keynote Addresses 

Chair: Scott Hazelhurst, PHDS Wits
Time-Triggered Architecture
Author: H. Kopetz, University of Vienna, Austria
hk@vmars.tuwien.ac.at
Early Validation of Dependable Systems by Fault Injection into VHDL Models 
Author: Jean Arlat, LAAS-CNRS, Toulouse, France
arlat@laas.fr

Session D Fault Injection

Chair: Jean Arlat, LAAS-CNRS
Using reflective programming to inject faults into object-oriented systems
Authors: A.A. Rosa, E. Martins, State University of Campinas, Brazil
eliane@dcc.unicamp.br
A Design Methodology for Software Fault Injection in Embedded Systems
Authors: N. Krishnamurthy, V. Jhaveri and Jacob A. Abraham, 
The University of Texas at Austin
krishnam@cerc.utexas.edu
End of the Workshop