文档介绍：EMBEDDED SOFTWARE FOR SoC
This page intentionally left blank
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: 0-306-48709-8
Print ISBN: 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:
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 1
Chapter 1
APPLICATION MAPPING TO A HARDWARE PLATFORM THROUGH
ATOMATED CODE GENERATION TARGETING A RTOS
Monica Besana and Michele Borgatti 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
v