Design Technology for Heterogeneous Embedded Systems
Designing technology to address the problem of heterogeneous embedded systems, while remaining compatible with standard “More Moore” flows, i.e. capable of handling simultaneously both silicon complexity and system complexity, represents one of the most i
- PDF / 23,841,691 Bytes
- 473 Pages / 439.37 x 666.142 pts Page_size
- 109 Downloads / 305 Views
Gabriela Nicolescu r Ian O’Connor Christian Piguet Editors
Design Technology for Heterogeneous Embedded Systems
r
Editors Prof. Gabriela Nicolescu Department of Computer Engineering Ecole Polytechnique Montreal 2500 Chemin de Polytechnique Montreal Montreal, Québec Canada H3T 1J4 [email protected]
Prof. Christian Piguet Integrated and Wireless Systems Division Centre Suisse d’Electronique et de Microtechnique (CSEM) Jaquet-Drotz 1 2000 Neuchâtel Switzerland [email protected]
Prof. Ian O’Connor CNRS UMR 5270 Lyon Institute of Nanotechnology Ecole Centrale de Lyon av. Guy de Collongue 36 Bâtiment F7 69134 Ecully France [email protected]
ISBN 978-94-007-1124-2 e-ISBN 978-94-007-1125-9 DOI 10.1007/978-94-007-1125-9 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2011942080 © Springer Science+Business Media B.V. 2012 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Cover design: VTeX UAB, Lithuania Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G. Nicolescu, I. O’Connor, and C. Piguet
Part I 2
1
Methods, Models and Tools
Extending UML for Electronic Systems Design: A Code Generation Perspective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Yves Vanderperren, Wolfgang Mueller, Da He, Fabian Mischkalla, and Wim Dehaene
13
3
Executable Specifications for Heterogeneous Embedded Systems . . Yves Leduc and Nathalie Messina
41
4
Towards Autonomous Scalable Integrated Systems . . . . . . . . . . Pascal Benoit, Gilles Sassatelli, Philippe Maurine, Lionel Torres, Nadine Azemard, Michel Robert, Fabien Clermidy, Marc Belleville, Diego Puschini, Bettina Rebaud, Olivier Brousse, and Gabriel Marchesan Almeida
63
5
On Software Simulation for MPSoC . . . . . . . . . . . . . . . . . . Frédéric Pétrot, Patrice Gerin, and Mian Muhammad Hamayun
91
6
Models for Co-design of Heterogeneous Dynamically Reconfigurable SoCs . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 Jean-Luc Dekeyser, Abdoulaye Gamatié, Samy Meftali, and Imran Rafiq Quadri
7
Wireless Design Platform Combining Simulation and Testbed Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 Alain Fourmigue, Bruno Girodias, Luiza Gheorghe, Gabriela Nicolescu, and El Mostapha Aboulhamid
8
Property-Based Dynamic Verification and Test . . . . . . . . . . . . 157 Dominique Borrione, Katell Morin-Allory, and Yann Oddos v
vi
Contents
9
Trends in Design Methods for Complex Heterogeneous Systems . . . 177 C. Piguet, J.-L. Nagel, V. Peiris, S. Gyger, D. S
