| |
| |
Preface | |
| |
| |
| |
Hardware-dependent Software G++ | |
| |
| |
Introduction and Overview | |
| |
| |
| |
| |
Increasing Complexity | |
| |
| |
| |
Hardware-dependent Software | |
| |
| |
| |
Chapter Overview | |
| |
| |
References | |
| |
| |
| |
Basic Concepts of Real Time Operating Systems | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Characteristics of Real-Time Tasks | |
| |
| |
| |
Real-Time Scheduling | |
| |
| |
| |
Operating System Designs | |
| |
| |
| |
RTOS for Safety Critical Systems | |
| |
| |
| |
Multi-Core Architectures | |
| |
| |
| |
Operating Systems for Wireless Sensor Networks | |
| |
| |
| |
Real-Time Requirements of Multimedia Application | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
| |
UEFI: From Reset Vector to Operating System | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
The Ever Growing Ever Changing BIOS | |
| |
| |
| |
Time for a Change | |
| |
| |
| |
UEFI and Standardization of BIOS | |
| |
| |
| |
Framework, Foundation, and Platform Initialization | |
| |
| |
| |
Hardware Abstraction Layer G++ | |
| |
| |
Introduction and Overview | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Software Stack | |
| |
| |
| |
Hardware Abstraction Layer | |
| |
| |
| |
Existing Commercial HAL | |
| |
| |
| |
Overview of the Software Design and Validation Flow | |
| |
| |
| |
HAL Execution and Simulation Using Software Development Platforms | |
| |
| |
| |
Experiments | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
| |
HW/SW Interface G++ Implementation and Modeling | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Reading and Writing Data Words | |
| |
| |
| |
Bit Fields | |
| |
| |
| |
Register Address and Data Mismatch | |
| |
| |
| |
Textual Specification of the SIF | |
| |
| |
| |
Register Header File | |
| |
| |
| |
SIF Driver Functions | |
| |
| |
| |
Synchronization | |
| |
| |
| |
Template Based Code Generation | |
| |
| |
| |
Modeling the HW/SW Interface | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
| |
Firmware Development for Evolving Digital Communication Technologies | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Evolution of Wireless Standards and the Consequences | |
| |
| |
| |
System Level Design Flow | |
| |
| |
| |
Hardware /Firmware Interface | |
| |
| |
| |
Test Bench | |
| |
| |
| |
Summary | |
| |
| |
References | |
| |
| |
| |
Generation and Use of an ASIP Software Tool Chain | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Range of Processor Configurability | |
| |
| |
| |
Models for Generating Software Development Tools | |
| |
| |
| |
Evolution of Tool-Development Approaches | |
| |
| |
| |
The C/C++ Compiler | |
| |
| |
| |
The Assembler | |
| |
| |
| |
The Linker | |
| |
| |
| |
The Loader | |
| |
| |
| |
The Disassembler | |
| |
| |
| |
The Debugger | |
| |
| |
| |
Other Software-Development Tools | |
| |
| |
| |
Operating Systems and Other System Software | |
| |
| |
| |
The Instruction Set Simulator (ISS) | |
| |
| |
| |
System Simulation | |
| |
| |
| |
The IDE (Integrated Development Environment) | |
| |
| |
| |
Conclusions and Futures | |
| |
| |
References | |
| |
| |
| |
High-Level Development, Modeling and Automatic Generation of Hardware-Dependent Software | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Software-enabled System Design Flow | |
| |
| |
| |
Software Generation Overview | |
| |
| |
| |
Hardware-dependent Software Generation | |
| |
| |
| |
Experimental Results | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
| |
Accurate RTOS Modeling and Analysis with SystemC | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
SystemC RTOS Model | |
| |
| |
| |
Related Approaches | |
| |
| |
| |
Applications | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
| |
Verification ofAUTOSAR | |
| |
| |
Software by SystemC-Based | |
| |
| |
Virtual Prototyping | |
| |
| |
| |
| |
Introduction | |
| |
| |
| |
Concepts of AUTOSAR | |
| |
| |
| |
Different System Views on Distributed Embedded Systems | |
| |
| |
| |
Applying SystemC for AUTOSAR Software Verification | |
| |
| |
| |
Integration of Timing Behavior into Virtual Prototypes | |
| |
| |
| |
Application Example | |
| |
| |
| |
Conclusions | |
| |
| |
References | |
| |
| |
Index | |