Embedded Software for SoC
The evolution of electronic systems is pushing traditional silicon designers into areas that require new domains of expertise. In addition to the design of complex hardware, System-on-Chip (SoC) design requires software devel- ment, operating systems and
- PDF / 25,806,282 Bytes
- 521 Pages / 432 x 684 pts Page_size
- 85 Downloads / 214 Views
Embedded Software for SoC Edited by
Ahmed Amine Jerraya TIMA Laboratory, France
Sungjoo Yoo TIMA Laboratory, France
Diederik Verkest IMEC, Belgium and
Norbert Wehn University of Kaiserlautern, Germany
KLUWER ACADEMIC PUBLISHERS NEW YORK, BOSTON, DORDRECHT, LONDON, MOSCOW
eBook ISBN: Print ISBN:
0-306-48709-8 1-4020-7528-6
©2004 Springer Science + Business Media, Inc. Print ©2003 Kluwer Academic Publishers Dordrecht All rights reserved No part of this eBook may be reproduced or transmitted in any form or by any means, electronic, mechanical, recording, or otherwise, without written consent from the Publisher Created in the United States of America
Visit Springer's eBookstore at: and the Springer Global Website Online at:
http://www.ebooks.kluweronline.com http://www.springeronline.com
DEDICATION
This book is dedicated to all designers working in hardware hell.
TABLE OF CONTENTS
Dedication
v
Contents
vii
Preface
xiii
Introduction
xv
PART I: EMBEDDED OPERATING SYSTEMS FOR SOC Chapter 1 APPLICATION MAPPING TO A HARDWARE PLATFORM ATOMATED CODE GENERATION TARGETING A RTOS Monica Besana and Michele Borgatti
1
THROUGH
3
Chapter 2 FORMAL METHODS FOR INTEGRATION OF AUTOMOTIVE SOFTWARE Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam and Fabian Wolf
11
Chapter 3 LIGHTWEIGHT IMPLEMENTATION OF THE POSIX THREADS API FOR AN ON-CHIP MIPS MULTIPROCESSOR WITH VCI INTERCONNECT Frédéric Pétrot, Pascal Gomez and Denis Hommais
25
Chapter 4 DETECTING SOFT ERRORS BY A PURELY SOFTWARE APPROACH: METHOD, TOOLS AND EXPERIMENTAL RESULTS B. Nicolescu and R. Velazco
39
PART II: OPERATING SYSTEM ABSTRACTION AND TARGETING
53
Chapter 5 RTOS MODELLING FOR SYSTEM LEVEL DESIGN Andreas Gerstlauer, Haobo Yu and Daniel D. Gajski
55
Chapter 6 MODELING AND INTEGRATION OF PERIPHERAL DEVICES IN EMBEDDED SYSTEMS Shaojie Wang, Sharad Malik and Reinaldo A. Bergamaschi
69
vii
viii
Table of Conents
Chapter 7 SYSTEMATIC EMBEDDED SOFTWARE GENERATION FROM SYSTEMIC F. Herrera, H. Posadas, P. Sánchez and E. Villar PART III: EMBEDDED SOFTWARE DESIGN AND IMPLEMENTATION
83
95
Chapter 8 EXPLORING SW PERFORMANCE USING SOC TRANSACTION-LEVEL MODELING Imed Moussa, Thierry Grellier and Giang Nguyen
97
Chapter 9 A FLEXIBLE OBJECT-ORIENTED SOFTWARE ARCHITECTURE FOR SMART WIRELESS COMMUNICATION DEVICES Marco Götze
111
Chapter 10 SCHEDULING AND TIMING ANALYSIS OF HW/SW ON-CHIP COMMUNICATION IN MP SOC DESIGN Youngchul Cho, Ganghee Lee, Kiyoung Choi, Sungjoo Yoo and Nacer-Eddine Zergainoh
125
Chapter 11 EVALUATION OF APPLYING SPECC TO THE INTEGRATED DESIGN METHOD OF DEVICE DRIVER AND DEVICE Shinya Honda and Hiroaki Takada
137
Chapter 12 INTERACTIVE RAY TRACING ON RECONFIGURABLE SIMD MORPHOSYS H. Du, M. Sanchez-Elez, N. Tabrizi, N. Bagherzadeh, M. L. Anido and M. Fernandez
151
Chapter 13 PORTING A NETWORK CRYPTOGRAPHIC SERVICE TO THE RMC2000 Stephen Jan, Paolo de Dios, and Stephen A. Edwards
165
PART IV: EMBEDDED OPERATING SYSTEMS FOR SOC Chapter 14 INTRODUCTION TO HARDWARE ABSTRACTIO
