Preface. Chapter 1 Hardware-dependent Software – Introduction and Overview; Wolfgang Ecker, Wolfgang Müller and Rainer Dömer. 1.1. Increasing Complexity. 1.2. Hardware-dependent Software. 1.3. Chapter Overview. References. Chapter 2 Basic Concepts of Real Time Operating Systems; Franz Rammig, Michael Ditze, Peter Janacik, Tales Heimfarth, Timo Kerstan, Simon Oberthuer and Katharina Stahl. 2.1. Introduction. 2.2. Characteristics of Real-Time Tasks. 2.3. Real-Time Scheduling. 2.4. Operating System Designs. 2.5. RTOS for Safety Critical Systems. 2.6. Multi-Core Architectures. 2.7. Operating Systems for Wireless Sensor Networks. 2.8. Real-Time Requirements of Multimedia Application. 2.9. Conclusions. References. Chapter 3 UEFI: From Reset Vector to Operating System; Vincent Zimmer, Michael Rothman and Robert Hale. 3.1. Introduction. 3.2. The Ever Growing Ever Changing BIOS. 3.3. Time for a Change. 3.4. UEFI and Standardization of BIOS. 3.5. Framework, Foundation, and Platform Initialization. Chapter 4 Hardware Abstraction Layer – Introduction and Overview; Katalin Popovici and Ahmed Jerraya. 4.1. Introduction. 4.2. Software Stack. 4.3. Hardware Abstraction Layer. 4.4. Existing Commercial HAL. 4.5. Overview of the Software Design and Validation Flow. 4.6. HAL Execution and Simulation Using Software Development Platforms. 4.7. Experiments. 4.8. Conclusions. References. Chapter 5 HW/SW Interface – Implementation and Modeling; Wolfgang Ecker, Volkan Esen, Thomas Steininger and Michael Velten. 5.1. Introduction. 5.2. Reading and Writing Data Words. 5.3. Bit Fields. 5.4. Register Address and Data Mismatch. 5.5. Textual Specification of the SIF. 5.6. Register Header File. 5.7. SIF Driver Functions. 5.8. Synchronization. 5.9.Template Based Code Generation. 5.10. Modeling the HW/SW Interface. 5.11. Conclusions. References. Chapter 6 Firmware Development for Evolving Digital Communication Technologies; Stefan Heinen and Michael Joost. 6.1. Introduction. 6.2. Evolution of Wireless Standards and the Consequences. 6.3. System Level Design Flow. 6.4. Hardware /Firmware Interface. 6.5. Test Bench. 6.6. Summary. References. Chapter 7 Generation and Use of an ASIP Software Tool Chain; Sterling Augustine, Marc Gauthier, Steve Leibson, Peter Macliesh, Grant Martin, Dror Maydan, Nenad Nedeljkovic and Bob Wilson. 7.1. Introduction. 7.2. Range of Processor Configurability. 7.3. Models for Generating Software Development Tools. 7.4. Evolution of Tool-Development Approaches. 7.5. The C/C++ Compiler. 7.6. The Assembler. 7.7. The Linker. 7.8. The Loader. 7.9. The Disassembler. 7.10. The Debugger. 7.11. Other Software-Development Tools. 7.12. Operating Systems and Other System Software. 7.13. The Instruction Set Simulator (ISS). 7.14. System Simulation. 7.15. The IDE (Integrated Development Environment). 7.16. Conclusions and Futures. References. Chapter 8 High-Level Development, Modeling and Automatic Generation of Hardware-Dependent Software; Gunar Schirner, Rainer Dömer and Andreas Gerstlauer. 8.1. Introduction. 8.2. Software-enabled System Design Flow. 8.3. Software Generation Overview. 8.4. Hardware-dependent Software Generation. 8.5. Experimental Results. 8.6. Conclusions. References. Chapter 9 Accurate RTOS Modeling and Analysis with SystemC; Henning Zabel, Wolfgang Müller and Andreas Gerstlauer. 9.1. Introduction. 9.2. SystemC RTOS Model. 9.3. Related Approaches. 9.4. Applications. 9.5. Conclusions. References. Chapter 10 Verification ofAUTOSARSoftware by SystemC-Based
