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
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
Concurrent design, or co-design of hardware and software is extremely important for meeting design goals, such as high performance, that are the key to commercial competitiveness. ...
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.