文档介绍：SAFETY-CRITICAL
COMPUTER
SYSTEMS
Neil Storey
Prentice
Hall
Harlow, England • London • New York • Boston • San Francisco • loronto
Sydney • Tokyo • Singapore • Hong Kong • Seoul • Taipei • New Delhi
Cape Town • Madrid • Mexico City • Amsterdam • Munich • Paris • Milan I
Pearson Education limited
Edinburgh Gate
Harlow
Essex CM20 2JE
England
and panies throughout the world
Visit us on die World Wide Web at
http //
©Addison Wesley Longman 1996
The right of Neil Storey to be identified as author of this Work has been asserted by
him in accordance with the Copyright, Designs and Patents Act 1988
All rights reserved No part of this publication may be reproduced, stored in a
retrieval system, or transmitted in any form or by any means, electronic, mechanical,
photocopying, recording or otherwise, without either the prior written permission of
the pubhsher or a licence permitting restricted copying in the United Kingdom issued
by the Copyright Licensing Agency Ltd, 90 Tottenham Court Road, London
W1T4LP
The programs in this book have been included for dieir instructional value They have
been tested with care but are not guaranteed for any particular purpose The publisher
does not offer any warranties or representations nor does it accept any liabilities with
respect to the programs
Many of the designations used by manufacturers and sellers to distinguish their
products are claimed as trademarks Addison-Wesley has made every attempt to
supply trademark information about manufacturers and their products mentioned in
this book A list of the trademark designanons and their owners appears on page xvni
Cover designed by Christ Eley Design, Reading
and printed by The Oxted Colour Press Ltd, Oxted
Cover photographs supplied by British Aerospace, British Nuclear Fuels Ltd
and Railrrack
Illustrations by PanTek Arts, Maidstone
Typeset by CRB Associates> Norwich
Printed in Great Britain by Bookcraft, Bath
First printed 1996
ISBN