Preface                                                              iii
DCIA98 Workshop Organisation Committees                                v
Referees                                                              vi

Tutorials
Chair: R. Baber

D. Powell, Distributed Fault-Tolerance                                 1
J.A. Abraham, Hardware Verification                                   13
D.C. Marinescu, Software Development for Intranet Applications        31
Workshop

Welcome Message from the Workshop Committees
Yinong Chen, Hermann Kopetz

Keynote Address
Chair: H. Kopetz

A. Avizienis, Infrastructure-Based Design of Fault-Tolerant Systems    51

Session A   Fault-Tolerant Systems
Chair: J-C. Laprie

T. Mikkonen, A development Cycle for Dependable Reactive Systems       70
Y. Chen, On development of a dependable distributed system             83
A Stothert and I MacLeod, Multi-Agent Techniques for Fault-Tolerance
in Computer Control Systems                                            97

Keynote Addresses
Chair: E. Martins

J-C. Laprie, Dependability: From Concepts to Limits                   108
H. Ihara, More Dependable Systems in Computing -Autonomous
Decentralized Systems-                                                127

Session B   Fault-Tolerant Applications
Chair: P. Knoth

A.R. de Paula Jr and C.R. Sonnenburg, The fault tolerant computer
system of the Brazilian scientific application microsatellites        138
M.L.B. Lisboa, A new trend on development of fault-tolerant 
applications: software meta-level architecture                        148
M.M. Leboute and T.S. Weber,  A reliable distributed file system for 
UNIX based on NFS                                                     158

Session C   Testing and Validation
Chair: C. Mueller

N. Tracey, et al., The way forward for unifying dynamic test case 
generation: The optimisation-based approach                           169
P. de Villiers, Using Formal Validation Techniques to Develop a 
Microkernel                                                           181
B. Roussev, Circuit resynthesis for improved testability              193

Keynote Addresses

Chair: S. Hazelhurst
H. Kopetz, Time-Triggered Architecture                                203
J. Arlat, Early Validation of Dependable Systems by Fault Injection
into VHDL Models                                                      215

Session D   Fault Injection
Chair: J. Arlat

A.A. Rosa, E. Martins, Using reflective programming to inject faults
into object-oriented systems                                          227
N. Krishnamurthy, V. Jhaveri and Jacob A. Abraham, A Design 
Methodology for Software Fault Injection in  Embedded Systems         237

Author Index                                                          249