i-xix
Front matter
Part I / Embedded Operating Systems for SoC
3-10
Application Mapping to a Hardware Platform Through Automated Code Generation Targeting a RTOS
A Design Case Study
Monica Besana and Michele Borgatti
11-24
Formal Methods for Integration of Automotive Software
Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat and Rolf Ernst, et al.
25-38
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect
A Micro-Kernel with standard API for SoCs with generic interconnects
Frédéric Pétrol, Pascal Gomez and Denis Hommais
39-51
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results
B. Nicolescu and R. Velazco
Part II / Operating System Abstraction and Targeting
55-68
RTOS Modeling for System Level Design
Andreas Gerstlauer, Haobo Yu and Daniel D. Gajski
69-82
Modeling and Integration of Peripheral Devices in Embedded Systems
Shaojie Wang, Sharad Malik and Reinaldo A. Bergamaschi
83-93
Systematic Embedded Software Generation from Systemc
F. Herrera, H. Posadas, P. Sánchez and E. Villar
Part III / Embedded Software Design and Implementation
97-109
Exploring SW Performance Using SoC Transaction-Level Modeling
Imed Moussa, Thierry Grellier and Giang Nguyen
111-124
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
Marco Götze
125-136
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
137-150
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
Shinya Honda and Hiroaki Takada
151-163
Interactive Ray Tracing on Reconfigurable SIMD Morphosys
H. Du, M. Sanchez-Elez, N. Tabrizi, N. Bagherzadeh and M. L. Anido, et al.
165-176
Porting a Network Cryptographic Service to the RMC2000
A Case Study in Embedded Software Development
Stephen Jan, Paolo de Dios and Stephen A. Edwards
Part IV / Embedded Operating Systems for SoC
179-186
Introduction to Hardware Abstraction Layers for SoC
Sungjoo Yoo and Ahmed A. Jerraya
187-206
Hardware/Software Partitioning of Operating Systems
The δ Hardware/Software RTOS Generation Framework for SoC
Vincent J. Mooney
207-212
Embedded SW in Digital AM-FM Chipset
M. Sarlotte, B. Candaele, J. Quevremont and D. Merel
Part V / Software Optimisation for Embedded Systems
215-229
Control Flow Driven Splitting of Loop Nests at the Source Code Level
Heiko Falk, Peter Marwedel and Francky Catthoor
231-243
Data Space Oriented Scheduling
M. Kandemir, G. Chen, W. Zhang and I. Kolcu
245-259
Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines
Satish Pillai and Margarida F. Jacome
261-274
State Space Compression in History Driven Quasi-Static Scheduling
Antonio G. Lomeña, Marisa López-Vallejo, Yosinori Watanabe and Alex Kondratyev
275-285
Simulation Trace Verification for Quantitative Constraints
Xi Chen, Harry Hsieh, Felice Balarin and Yosinori Watanabe
Part VI / Energy Aware Software Techniques
289-303
Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications
A Pre-Characterization Free Approach
Venkata Syam P. Rapaka and Diana Marculescu
305-318
Dynamic Parallelization of Array Based On-Chip Multiprocessor Applications
M. Kandemir, W. Zhang and M. Karakoy
319-330
SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms
P. Marchal, J. I. Gomez, D. Bruni, L. Benini and L. Piñuel, et al.
Part VII / Safe Automotive Software Development
333-342
Safe Automotive Software Development
Ken Tindell, Hermann Kopetz, Fabian Wolf and Rolf Ernst
Part VIII / Embedded System Architecture
345-358
Exploring High Bandwidth Pipelined Cache Architecture for Scaled Technology
Amit Agarwal, Kaushik Roy and T. N. Vijaykumar
359-371
Enhancing Speedup in Network Processing Applications by Exploiting Instruction Reuse with Flow Aggregation
G. Surendra, Subhasis Banerjee and S. K. Nandy
373-386
On-Chip Stochastic Communication
Tudor Dumitraş and Radu Marculescu
387-401
Hardware/Software Techniques for Improving Cache Performance in Embedded Systems
Gokhan Memik, Mahmut T. Kandemir, Alok Choudhary and Ismail Kadayif
403-417
Rapid Configuration & Instruction Selection for an ASIP: A Case Study
Newton Cheung, Jörg Henkel and Parameswaran Sri
Part IX / Transformations for Real-Time Software
421-434
Generalized Data Transformations
V. Delaluz, I. Kadayif, M. Kandemir and U. Sezer
435-448
Software Streaming via Block Streaming
Pramote Kuacharoen, Vincent J. Mooney and Vijay K. Madisetti
449-463
Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems
Ying Zhang and Krishnendu Chakrabarty
Part X / Low Power Software
467-484
Software Architectural Transformations
A New Approach to Low Energy Embedded Software
Tat K. Tan, Anand Raghunathan and Niraj K. Jha
485-497
Dynamic Functional Unit Assignment for Low Power
Steve Haga, Natsha Reeves, Rajeev Barua and Diana Marculescu
499-512
Energy-Aware Parameter Passing
M. Kandemir, I. Kolcu and W. Zhang
513-525
Low Energy Associative Data Caches for Embedded Systems
Dan Nicolaescu, Alex Veidenbaum and Alex Nicolau
527-530
Back matter