Design of Dependable Computing Systems

Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service. For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable. Hence, it is necessary to take dependability attributes into account, along the product lifecycle. This book aims at providing a general overview of the dependability of computing systems: impairments and protective means. Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies.

[1]  B. A. Wichmann.  High Integrity Ada , 1997, SAFECOMP.

[2]  Shi-Yu Huang,et al.  Formal Equivalence Checking and Design Debugging , 1998 .

[3]  David Luckham,et al.  Programming with Specifications , 1990, Texts and Monographs in Computer Science.

[4]  Vishwani D. Agrawal,et al.  Unified Methods for VLSI Simulation and Test Generation , 1989 .

[5]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[6]  Brian Marick.  Book Reviews: The Craft of Software Testing: Subsystem Testing Including Object-Based and Object-Oriented Testing, Brian Maxick , 1994, SOEN.

[7]  Linda A. Macaulay.  Requirements engineering , 1996, Applied Computing.

[8]  J.J. Shea.  Electronic failure analysis handbook: techniques and applications for electronic and electrical packages, components, and assemblies [Book Reviews] , 2000, IEEE Electrical Insulation Magazine.

[9]  E. A. Amerasekera,et al.  Failure Mechanisms in Semiconductor Devices , 1987 .

[10]  Bruce Powel Douglass.  Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[11]  David R.H. Jones,et al.  Failure analysis case studies II : a sourcebook of case studies selected from the pages of Engineering failure analysis 1997-1999 , 1998 .

[12]  Karl-Erwin Großpietsch,et al.  Fault tolerance , 1994, IEEE Micro.

[13]  Kenneth P. Parker.  The Boundary-Scan Handbook , 1992, Springer US.

[14]  Niraj K. Jha,et al.  Testing and Reliable Design of CMOS Circuits , 1989 .

[15]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[16]  Simon P. Wilson,et al.  Statistical methods in software engineering : reliability and risk , 1999 .

[17]  Rolf Drechsler.  Formal Verification of Circuits , 2000, Springer US.

[18]  Way Kuo,et al.  Reliability, Yield, And Stress Burn-In , 1998 .

[19]  Michel Banâtre,et al.  Hardware and Software Architectures for Fault Tolerance , 1994, Lecture Notes in Computer Science.

[20]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[21]  Luciano Lavagno,et al.  Algorithms for Synthesis and Testing of Asynchronous Circuits , 1993 .

[22]  Ian C. Pyle.  Developing safety systems: a guide using Ada , 1991 .

[23]  Alexander Miczo,et al.  Digital logic testing and simulation , 1986 .

[24]  James W. Moore.  Software Engineering Standards , 2002 .

[25]  Robert M. Poston.  Automating specification-based software testing , 1996 .