Model-Based Design for Embedded Systems- P1 pptx

Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page i 2009-10-13
Model-Based Design
for Embedded Systems
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page ii 2009-10-13
Computational Analysis, Synthesis,
and Design of Dynamic Models Series
Series Editor
Pieter J. Mosterman
The MathWorks
Natick, Massachusetts
Discrete-Event Modeling and Simulation: A Practitioner's Approach,
Gabriel A. Wainer
Discrete-Event Modeling and Simulation: Theory and Applications,
edited by Gabriel A. Wainer and Pieter J. Mosterman
Model-Based Design for Embedded Systems,
edited by Gabriela Nicolescu and Pieter J. Mosterman
Model-Based Testing for Embedded Systems,
edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman
Multi-Agent Systems: Simulation & Applications
,
edited by Adelinde M. Uhrmacher and Danny Weyns
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page iii 2009-10-13
CRC Press is an imprint of the
Taylor & Francis Group, an informa business
Boca Raton London New York
Model-Based Design
for Embedded Systems
Gabriela Nicolescu
Pieter J. Mosterman
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page iv 2009-10-13

MATLAB® and Simulink® are trademarks of The MathWorks, Inc. and are used with permission. The Math-
Works does not warrant the accuracy of the text of exercises in this book. This book’s use or discussion
of MATLAB® and Simulink® software or related products does not constitute endorsement or sponsorship
by The MathWorks of a particular pedagogical approach or particular use of the MATLAB® and Simulink®
software.
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
© 2010 by Taylor and Francis Group, LLC
CRC Press is an imprint of Taylor & Francis Group, an Informa business
No claim to original U.S. Government works
Printed in the United States of America on acid-free paper
10 9 8 7 6 5 4 3 2 1
International Standard Book Number: 978-1-4200-6784-2 (Hardback)
This book contains information obtained from authentic and highly regarded sources. Reasonable efforts
have been made to publish reliable data and information, but the author and publisher cannot assume
responsibility for the validity of all materials or the consequences of their use. The authors and publishers
have attempted to trace the copyright holders of all material reproduced in this publication and apologize to
copyright holders if permission to publish in this form has not been obtained. If any copyright material has
not been acknowledged please write and let us know so we may rectify in any future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmit-
ted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented,
including photocopying, microfilming, and recording, or in any information storage or retrieval system,
without written permission from the publishers.
For permission to photocopy or use material electronically from this work, please access www.copyright.
com ( or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood
Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that provides licenses and
registration for a variety of users. For organizations that have been granted a photocopy license by the CCC,
a separate system of payment has been arranged.

Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used
only for identification and explanation without intent to infringe.
Library of Congress Cataloging-in-Publication Data
Model-based design for embedded systems / Gabriela Nicolescu, Pieter J. Mosterman.
p. cm. (Computational analysis, synthesis, and design of dynamic models series)
Includes bibliographical references and index.
ISBN 978-1-4200-6784-2 (hardcover : alk. paper)
1. Embedded computer systems Design and construction. I. Nicolescu, G. (Gabriela)
II. Mosterman, Pieter J. III. Title. IV. Series.
TK7895.E42M62 2010
004.16 dc22 2009036996
Visit the Taylor & Francis Web site at

and the CRC Press Web site at

Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page v 2009-10-13
Contents
Preface ix
Introduction xi
Contributors xix
PartI Real-Time and Performance Analysis in
Heterogeneous EmbeddedSystems
1 PerformancePrediction of Distributed Platforms 3
LotharThiele andSimonPerathoner
2SystemC-Based Performance Analysis of Embedded
Systems 27
Jürgen Schnerr, Oliver Bringmann, Matthias Krause,
Alexander Viehl, and WolfgangR
osentiel
3F

ormal Performance Analysis for Real-Time Heterogeneous
EmbeddedSystems 57
Simon Schliecker, Jonas Rox, Rafik Henia, Razvan Racu,
ArneHamann,andRolfErnst
4 Model-BasedFrameworkfor Schedulability Analysis
UsingU
PPAAL 4.1 93
Alexandre David, Jacob Illum, Kim G. Larsen,and Arne Skou
5 Modeling andAnalysis Frameworkfor Embedded
Systems 121
JanMadsen, Michael R. Hansen,and Aske W. Brekling
6TrueTime:Simulation Tool forPerformance Analysis
of
Real-Time E
mbeddedSystems 145
Anton Cervin andKarl-Erik Årzén
v
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page vi 2009-10-13
vi Contents
PartII Design Toolsand Methodology for
Multiprocessor System-on-Chip
7 MPSoC Platform Mapping Tools for Data-Dominated
Applications 179
Pierre G. Paulin, Olivier Benny, Michel Langevin,Youcef Bouchebaba,
Chuck Pilkington,Bruno Lavigueur, David Lo, Vincent Gagne,
and Michel Metzger
8Retargetable,Embedded
Software D
esignMethodology
forMultiprocessor-EmbeddedSystems 207

Soonhoi Ha
9 Pr ogramming Models forMPSoC 231
KatalinPopovici and Ahmed Jerraya
10 Platform-BasedDesignandFrameworks:
M
ETROPOLIS and METRO II 259
Felice Balarin, Massimiliano D’Angelo, AbhijitDavare, Douglas Densmore,
TrevorMeyerowitz, Roberto Passerone, Alessandro Pinto, Alberto
Sangiovanni-Vincentelli, AlenaSimalatsar,Yosinori Watanabe,
GuangYang, andQiZhu
11 ReconfigurableMulticore Architectures for Streaming
Applications
323
G
erard J. M. Smit, AndréB.J.Kokkeler, GerardK. Rauwerda,
and JanW.M.Jacobs
12 FPGA Platforms for EmbeddedSystems 351
StephenNeuendorffer
Part III Design Toolsand Methodology for
Multidomain EmbeddedSystems
13 Modeling, Verification, andTestingUsingTimed and
HybridAutomata 383
Stavros Tripakis and Thao Dang
14 Semantics of Domain-Specific ModelingLanguages 437
EthanJackson,RyanThibodeaux, Joseph Porter,
and Janos
Sztipanovits
15 Mult
i-ViewpointStateMachines for Rich
Component Models 487

Albert Benveniste, Benoît Caillaud, andRoberto Passerone
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page vii 2009-10-13
Contents vii
16 Generic Methodology for the Design of Continuous/Discrete
Co-Simulation Tools 519
Luiza Gheorghe, Gabriela Nicolescu,andHanifa Boucheneb
17 Modeling andSimulation of MixedContinuousand
Discrete Systems 559
Edward A. Lee
and Haiyang Z
heng
18 Design RefinementofEmbedded Mixed-SignalSystems 585
Jan Haase, Markus Damm, andChristoph Grimm
19 Platform forModel-BasedDesign of Integrated
Multi-Technology Systems 603
Ian O’Connor
20 CAD Tools forMulti-Domain Systems on Chips
643
S
tevenP.Levitan, Donald M. Chiarulli, Timothy P. Kurzweg,
Jose A. Martinez, Samuel J. Dickerson, Michael M. Bails,
David K. Reed, and JasonM.Boles
21 SmartSensors ModelingUsing VHDL-AMSfor
MicroinstrumentImplementation with a Distributed
Architecture
697
Ca
rles Ferrer,LauraBarrachina-Saralegui, and BibianaLorente-Alvarez
Index 719
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page viii 2009-10-13

Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page ix 2009-10-13
Preface
The unparalleled flexibility of computation has been a key driver and fea-
ture bonanza in the development of a wide range of products across a broad
and diverse spectrum of applications such as in the automotive aerospace,
health care, consumer electronics, etc. Consequently, the embedded micro-
processors that implement computational functionality have become a part
of almost every facet of our world, thereby significantly improving the qual-
ity of our lives. The versatility of computational features invites and endorses
a degree of imagination and creativity in design that has unlocked an almost
insatiable demand for consistently increasing both the complexity of embed-
ded systems and the performance of embedded computations. The quest to
rise to these demands has resulted in computing architectures of a heteroge-
neous nature. These architectures often integrate several types of processors,
analog and digital electronic components, as well as mechanical and optical
components, all on a single chip. To efficiently design for such heterogene-
ity and to maximally exploit its capabilities have become one of the most
prominent challenges that we are now faced with as a design automation
community.
Model-Based Design is emerging as a solution to bridge the gap between
computational capabilities that are available but that we are yet unable to
exploit. Using a computational approach in the design itself allows rais-
ing the level of abstraction of the system specification at which novel and
differentiating functionalities are captured. Automation can then assist in
refining this specification to an implementation. For this to be successful, per-
formance studies of potential implementations at a high level of abstraction
are essential, combined with the necessity of traceability and parameteriza-
tion throughout the refinement process.
This book provides a compilation of the work of internationally
renowned authors on Model-Based Design. Each chapter contributes

supreme results that have helped establish Model-Based Design and that
continue to expand its barriers. The respective authors excel in their exper-
tise on the automation of design refinement and how to relate properties
throughout this refinement while enabling analytic and synthetic qualities.
We are delighted and honored by their participation in the effort that led to
this book, and we sincerely hope that the readers will find the indulgence of
intellectual achievement as enjoyable and stimulating as we do.
In closing, we would like to express our genuine appreciation and grat-
itude for all the time and effort that each of the authors has put in. Our
ix