Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the c
- PDF / 46,278,358 Bytes
- 446 Pages / 453.534 x 680.307 pts Page_size
- 5 Downloads / 194 Views
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems Edited by
Filip Thoen National Semiconductor Corporation, Santa Clara, CA, U.S.A.
and
Francky Catthoor IMEC, Leuven, Belgium
" ~
SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-1-4613-6998-1 ISBN 978-1-4615-4437-1 (eBook) DOI 10.1007/978-1-4615-4437-1
Printed on acid-free paper
AII Rights Reserved © 2000 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers, Boston in 2000 Softcover reprint ofthe hardcover lst edition 2000 No part of the material protected by this copyright notice may be reproduced utilized in any form Of by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.
Of
To the ones [love . ..
"Of course, the entire effort is to put oneself OutsUle the ordinary range Of what are called statistics" - {Stephen Spender] "The sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work." -[John Von Neumann]
Contents Acknowledgments Foreword Chapter 1. INTRODUCTION 1. Systems-on-a-chip 2. Heterogeneous real-time embedded systems 2.1 Target application domain 2.2 Characteristics 2.3 Embedded systems - ta~k-Ievel design problems 3. Unified meta design flow for multi-media and telecom applications 3.1 Motivation, context and objectives 3.2 Unified meta-flow summary 3.3 Global view and principles 3.4 Overview of main steps 3.5 Propagation modes thruogh the flow 4. Design methodology & CAD design support 4.1 System design support 4.2 Embedded low-level software design support 5. Overview of the book Chapter 2. 1. 2.
3. 4.
5.
RELATED WORK AND CONTEMPORARY APPROACHES Manual approach Real-time operating systems 2.1 Characteristics of real-time operating systems 2.2 Shortcomings 2.3 Recent research since '94 2.4 Conclusions Processor architecture integration 3.1 Traditional approaches 3.2 Advanced approaches Task concurrency management 4.1 Co-design community 4.2 Real-time community 4.3 Best effort scheduling 4.4 Other approaches Motivation for a new approach
Chapter 3. SYSTEM REPRESENTATION MODEL 1. Model requirements 2. Related Work - Models considering time 2.1 Formal models 2.2 Flowgraph models
xi Xlll
1 2 6 6 7 11 13 13 14 16 20 27 28 29 31 37 41 42 44 44 49 52 55 55 56 58 60 60 63 71 72 73 79 79 81 81 88
Vlll
TASK-LEVEL CONCURRENCY IN REAL-TIME SYSTEMS
2.3 System-level and co-design models 2.4 Miscellaneous 3. Basic Multi-Thread Graph model 3.1 Formal definition 3.2 Operation nodes 3.3 Control edges 3.4 Operational semantics 3.5 Concurrency 3.6 Synchronization 3.7 Thread defining entities 4.
