Hardware-dependent Software

Hardware-dependent Software
Author :
Publisher : Springer Science & Business Media
Total Pages : 304
Release :
ISBN-10 : 9781402094361
ISBN-13 : 1402094361
Rating : 4/5 (361 Downloads)

Book Synopsis Hardware-dependent Software by : Wolfgang Ecker

Download or read book Hardware-dependent Software written by Wolfgang Ecker and published by Springer Science & Business Media. This book was released on 2009-01-16 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Hardware-dependent Software Related Books

Hardware-dependent Software
Language: en
Pages: 304
Authors: Wolfgang Ecker
Categories: Technology & Engineering
Type: BOOK - Published: 2009-01-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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, Hardwar
Co-verification of Hardware and Software for ARM SoC Design
Language: en
Pages: 287
Authors: Jason Andrews
Categories: Technology & Engineering
Type: BOOK - Published: 2004-09-04 - Publisher: Elsevier

DOWNLOAD EBOOK

Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly d
Taxonomies for the Development and Verification of Digital Systems
Language: en
Pages: 195
Authors: Brian Bailey
Categories: Technology & Engineering
Type: BOOK - Published: 2005-12-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its
Formal System Verification
Language: en
Pages: 193
Authors: Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2017-06-21 - Publisher: Springer

DOWNLOAD EBOOK

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of forma
Hardware and Software: Verification and Testing
Language: en
Pages: 383
Authors: Valeria Bertacco
Categories: Computers
Type: BOOK - Published: 2013-10-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24