Model-based design for embedded systems / Gabriela Nicolescu, Pieter J. Mosterman.

Format:

Book

Contributor:

Nicolescu, G. (Gabriela)

Mosterman, Pieter J.

Sabin W. Colton, Jr., Memorial Fund.

Series:

Computational analysis, synthesis, and design of dynamic models series

Language:

English

Subjects (All):

Embedded computer systems--Design and construction.

Embedded computer systems.

Physical Description:

xxiv, 739 pages : illustrations ; 25 cm.

Place of Publication:

Boca Raton, FL : CRC Press, [2010]

Summary:

The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components-all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.

A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous model-based design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish model-based design and continue to expand its parameters. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout is refinement while enabling analytic and synthetic qualities. They focus on mufti-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface.

Model-based design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, model-based design encourages enhanced performance and quicker time to market for a product. Illustrating a diverse spectrum of applications in the automotive, aerospace, health care, consumer electronics, and other industries, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.

Contents:

Part I Real-Time and Performance Analysis in Heterogeneous Embedded Systems

1 Performance Prediction of Distributed Platforms / Lothar Thiele, Simon Perathoner 3

2 SystemC-Based Performance Analysis of Embedded Systems / Jürgen Schnerr, Oliver Bringmann, Matthias Krause, Alexander Viehl, Wolfgang Rosentiel 27

3 Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems / Simon Schliecker, Jonas Rox, Rafik Henia, Razvan Racu, Arne Hamann, Rolf Ernst 57

4 Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 / Alexandre David, Jacob Illum, Kim G. Larsen, Arne Skou 93

5 Modeling and Analysis Framework for Embedded Systems / Jan Madsen, Michael R. Hansen, Aske W. Brekling 121

6 TrueTime: Simulation Tool for Performance Analysis of Real-Time Embedded Systems / Anton Cervin, Karl-Erik ¿rzén 145

Part II Design Tools and Methodology for Multiprocessor System-on-Chip

7 MPSoC Platform Mapping Tools for Data-Dominated Applications / Pierre G. Paulin, Olivier Benny, Michel Langevin, Youcef Bouchebaba, Chuck Pilkington, Bruno Lavigueur, David Lo, Vincent Gagne, Michel Metzger 179

8 Retargetable, Embedded Software Design Methodology for Multiprocessor-Embedded Systems / Soonhoi Ha 207

9 Programming Models for MPSoC / Katalin Popovici, Ahmed Jerraya 231

10 Platform-Based Design and Frameworks: Metropolis and Metro II / Felice Balarin, Massimiliano D'Angelo, Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Alena Simalatsar, Yosinori Watanabe, Guang Yang, Qi Zhu 259

11 Reconfigurable Multkore Architectures for Streaming Applications / Gerard J. M. Smit, André B. J. Kokkeler, Gerard K. Rauwerda, Jan W. M. Jacobs 323

12 FPGA Platforms for Embedded Systems / Stephen Neuendorffer 351

Part III Design Tools and Methodology for Multidomain Embedded Systems

13 Modeling, Verification, and Testing Using Timed and Hybrid Automata / Stavros Tripakis, Thao Dang 383

14 Semantics of Domain-Specific Modeling Languages / Ethan Jackson, Ryan Thibodeaux, Joseph Porter, Janos Sztipanovits 437

15 Multi-Viewpoint State Machines for Rich Component Models / Albert Benveniste, Benot̋ Caillaud, Roberto Passerone 487

16 Generic Methodology for the Design of Continuous/Discrete Co-Simulation Tools / Luiza Gheorghe, Gabriela Nicolescu, Hanifa Boucheneb 519

17 Modeling and Simulation of Mixed Continuous and Discrete Systems / Edward A. Lee, Haiyang Zheng 559

18 Design Refinement of Embedded Mixed-Signal Systems / Jan Haase, Markus Damm, Christoph Grimm 585

19 Platform for Model-Based Design of Integrated Multi-Technology Systems / Ian O'Connor 603

20 CAD Tools for Multi-Domain Systems on Chips / Steven P. Levitan, Donald M. Chiarulli, Timothy P. Kurzweg, Jose A. Martinez, Samuel J. Dickerson, Michael M. Bails, David K. Reed, Jason M. Boles 643

21 Smart Sensors Modeling Using VHDL-AMS for Microinstrument Implementation with a Distributed Architecture / Carles Ferrer, Laura Barrachina-Saralegu, Bibiana Lorente-Alvarez 697.

Notes:

Includes bibliographical references and index.

Local Notes:

Acquired for the Penn Libraries with assistance from the Sabin W. Colton, Jr., Memorial Fund.

ISBN:

9781420067842

1420067842

OCLC:

156818661

Publisher Number:

99939156066