IFIP International Workshop on |
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