Academic Press is an imprint of Elsevier
30 Corporate Drive, Suite 400, Burlington, MA 01803, USA
525 B Street, Suite 1900, San Diego, California 92101-4495, USA
84 Theobald's Road, London WC1X 8RR, UK

All rights reserved.

No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher.

Permissions may be sought directly from Elsevier's Science & Technology Rights Department in Oxford, UK: phone: (+44) 1865 843830, fax: (+44) 1865 853333, permissions@elsevier.com. You may also complete your request on-line via the Elsevier homepage (http://elsevier.com), by selecting "Support & Contact" then "Copyright and Permission" and then "Obtaining Permissions"

Library of Congress Cataloging-in-Publication Data

Grady, Jeffrey O.

System verification: proving the design solution satisfies the requirements/Jeffrey O. Grady.

p. cm.

Includes bibliographical references and index.

ISBN: 978-0-12-374014-4 (alk. paper)

1. Process control. 2. Systems engineering. I. Title.

TS156.8.G73 2007
620.001 171-dc22

2006047987

British Library Cataloguing-in-Publication Data

A catalogue record for this book is available from the British Library.

ISBN: 978-0-12-374014-4

For information on all Academic Press publications visit our Web site at www.books.elsevier.com

07 08 09 10 11 9 8 7 6 5 4 3 2 1

ACKNOWLEDGMENTS

This book is dedicated to the memory of Mr. Max Wike, a retired naval officer and a system engineer in the department I managed at General Dynamics Space Systems Division in the...