2009

Hardware-dependent Software

Principles and Practice

Editors:

ISBN: 978-1-4020-9435-4 (Print) 978-1-4020-9436-1 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xii

  2. No Access

    Book Chapter

    Pages 1-13

    Hardware-dependent Software

  3. No Access

    Book Chapter

    Pages 15-45

    Basic Concepts of Real Time Operating Systems

  4. No Access

    Book Chapter

    Pages 47-66

    UEFI: From Reset Vector to Operating System

  5. No Access

    Book Chapter

    Pages 67-94

    Hardware Abstraction Layer

  6. No Access

    Book Chapter

    Pages 95-149

    HW/SW Interface

  7. No Access

    Book Chapter

    Pages 151-171

    Firmware Development for Evolving Digital Communication Technologies

  8. No Access

    Book Chapter

    Pages 173-202

    Generation and Use of an ASIP Software Tool Chain

  9. No Access

    Book Chapter

    Pages 203-231

    High-Level Development, Modeling and Automatic Generation of Hardware-Dependent Software

  10. No Access

    Book Chapter

    Pages 233-260

    Accurate RTOS Modeling and Analysis with SystemC

  11. No Access

    Book Chapter

    Pages 261-293

    Verification of AUTOSAR Software by SystemC-Based Virtual Prototyping

  12. Back Matter

    Pages 295-299