文档介绍：Modeling and Verification of Real-Time Systems
Modeling and Verification
of Real-Time Systems
Formalisms and Software Tools
Edited by
Stephan Merz
Nicolas Navet
First published in Great Britain and the United States in 2008 by ISTE Ltd and John Wiley & Sons, Inc.
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as
permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced,
stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers,
or in the case of reprographic reproduction in accordance with the terms and licenses issued by the CLA.
Enquiries concerning reproduction outside these terms should be sent to the publishers at the
undermentioned address:
ISTE Ltd John Wiley & Sons, Inc.
6 Fitzroy Square 111 River Street
London W1T 5DX Hoboken, NJ 07030
UK USA
© ISTE Ltd, 2008
The rights of Stephan Merz and Nicolas Navet to be identified as the authors of this work have been
asserted by them in accordance with the Copyright, Designs and Patents Act 1988.
Library of Congress Cataloging-in-Publication Data
Modeling and verification of real-time systems : formalisms and software tools / edited by Nicolas Navet,
Stephan Merz.
p. cm.
Includes bibliographical references and index.
ISBN-13: 978-1-84821-013-4
1. Real-time data processing. 2. Computer software--Verification. 3.
Formal methods (Computer science) I. Navet, Nicolas. II. Merz, Stephan.
2008
'51--dc22
2007045063
British Library Cataloguing-in-Publication Data
A CIP record for this book is available from the British Library
ISBN: 978-1-84821-013-4
Printed and bound in Great Britain by Antony Rowe Ltd, Chippenham, Wiltshire.
Contents
Preface ......................................... 15
Stephan MERZ and Nicolas NAV E T
Chapter 1.