Hardware-dependent Software

Principles and Practice

  • Wolfgang Ecker
  • Wolfgang Müller
  • Rainer Dömer

Table of contents

  1. Front Matter
    Pages i-xii
  2. Wolfgang Ecker, Wolfgang Müller, Rainer Dömer
    Pages 1-13
  3. Franz Rammig, Michael Ditze, Peter Janacik, Tales Heimfarth, Timo Kerstan, Simon Oberthuer et al.
    Pages 15-45
  4. Vincent Zimmer, Michael Rothman, Robert Hale
    Pages 47-66
  5. Katalin Popovici, Ahmed Jerraya
    Pages 67-94
  6. Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
    Pages 95-149
  7. Sterling Augustine, Marc Gauthier, Steve Leibson, Peter Macliesh, Grant Martin, Dror Maydan et al.
    Pages 173-202
  8. Gunar Schirner, Rainer Dömer, Andreas Gerstlauer
    Pages 203-231
  9. Henning Zabel, Wolfgang Müller, Andreas Gerstlauer
    Pages 233-260
  10. Matthias Krause, Oliver Bringmann, Wolfgang Rosenstiel
    Pages 261-293
  11. Back Matter
    Pages 295-299

About this book

Introduction

Hardware-dependent Software (HdS) plays a key role in desktop computers and servers for many years. Mainly due to its flexibility, the possibility of late change, and the quick adaptability, the relevance of HdS in the domains of embedded systems and in Systems-on-Chip (SoCs) has significantly increased.
Despite its importance, the role of HdS is most often underestimated and the topic is not well  represented  in literature and education. To address this, Hardware-dependent Software brings together experts from different HdS areas. By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate insight into the current technology and upcoming developments in the domain of HdS. The reader will find an interesting text book with self-contained introductions to the principles of Real-Time Operating Systems (RTOS), the emerging BIOS successor UEFI, and the Hardware Abstraction Layer (HAL). Other chapters cover industrial applications, verification, and tool environments. Tool introductions cover the application of tools in the ASIP software tool chain (i.e. Tensilica) and the generation of drivers and OS components from C-based languages. Applications focus on telecommunication and automotive systems. For automotive systems, two approaches for SystemC-based verification are presented.

Keywords

C++ programming language communication complexity design development language modeling multimedia operating system simulation software structured analysis system testing verification

Editors and affiliations

  • Wolfgang Ecker
    • 1
  • Wolfgang Müller
    • 2
  • Rainer Dömer
    • 3
  1. 1.Infineon Technologies AGMunichGermany
  2. 2.C-LABUniversität PaderbornPaderbornGermany
  3. 3.Henry Samueli School of EngineeringUniversity of California, IrvineIrvineUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-9436-1
  • Copyright Information Springer Netherlands 2009
  • Publisher Name Springer, Dordrecht
  • eBook Packages Engineering
  • Print ISBN 978-1-4020-9435-4
  • Online ISBN 978-1-4020-9436-1
  • About this book