Gilles Motet, Institute of Nationale Sciences, Appliques, France

Published December, 1995 by Prentice Hall PTR (ECS Professional)

Copyright 1996, 320 pp.
Paper
ISBN 0-13-204967-8
$65.00

Sign up for future
mailings on this subject.

See other books about:
    ADA

Ada is used in large industrial projects in which dependability is a prime requirement. This book looks at the capabilities of the Ada programming language in designing dependable software. It presents the theoretical principles of software dependability as well as practical implementation using Ada. The potential of the exception mechanisms are highlighted to arouse the readers interest in these little-known mechanisms for designing dependable software. The book also compares the Ada exceptions to those provided by other languages in order to explore their advantages and limitations.

1. Introduction to Dependability.
2. Fault Avoidance.
3. Fault Removal.
4. Fault Tolerance.
5. Integration.
6. Overview.