Artech House
http://www.artechhouse.com

Library of Congress Cataloging-in-Publication Data
A catalog record for this book is available from the U.S. Library of Congress.

British Library Cataloguing in Publication Data
A catalog record for this book is available from the British Library.

Cover design by Yekaterina Ratner

685 Canton Street
Norwood, MA 02062

All rights reserved. No part of this book may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording, or by any information storage and retrieval system, without permission in writing from the publisher.

All terms mentioned in this book that are known to be trademarks or service marks have been appropriately capitalized. Artech House cannot attest to the accuracy of this information. Use of a term in this book should not be regarded as affecting the validity of any trademark or service mark.

A Library of Congress Catalog Card number is available from the Library of Congress.

10 9 8 7 6 5 4 3 2 1

This book is dedicated to my wife, Esther,
whose encouragement made it possible.

About the Author

Herbert Hecht is vice chairman of the Board of SoHaR Incorporated, an R&D and consulting company for high dependability systems. (The name of the company is a contraction of software and hardware reliability.) In addition to his managerial duties, he supervises technical work in hardware and software reliability analysis, sneak circuit analysis, and safety analysis.

His expertise has caused him...