Analysis, Architectures and Modelling of Embedded Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 State Machine Based Method for Consolidating Vehicle Data
3. Altmetric Badge
   Chapter 2 Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation
4. Altmetric Badge
   Chapter 3 Modelling of Device Driver Software by Reflection of the Device Hardware Structure
5. Altmetric Badge
   Chapter 4 An Infrastructure for UML-Based Code Generation Tools
6. Altmetric Badge
   Chapter 5 A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance
7. Altmetric Badge
   Chapter 6 ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs
8. Altmetric Badge
   Chapter 7 Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support
9. Altmetric Badge
   Chapter 8 Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices
10. Altmetric Badge
    Chapter 9 Modeling Cache Effects at the Transaction Level
11. Altmetric Badge
    Chapter 10 Event Stream Calculus for Schedulability Analysis
12. Altmetric Badge
    Chapter 11 Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms
13. Altmetric Badge
    Chapter 12 Task-Dependent Processor Shutdown for Hard Real-Time Systems
14. Altmetric Badge
    Chapter 13 Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects
15. Altmetric Badge
    Chapter 14 Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling
16. Altmetric Badge
    Chapter 15 Formal Verification for Embedded Systems Design Based on MDE
17. Altmetric Badge
    Chapter 16 Systematic Model-in-the-Loop Test of Embedded Control Systems
18. Altmetric Badge
    Chapter 17 Proteus, a Hybrid Virtualization Platform for Embedded Systems
19. Altmetric Badge
    Chapter 18 Constructing a Multi-OS Platform with Minimal Engineering Cost
20. Altmetric Badge
    Chapter 19 A Synchronization Method for Register Traces of Pipelined Processors
21. Altmetric Badge
    Chapter 20 Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
22. Altmetric Badge
    Chapter 21 Automatic Transformation of System Models in Automotive Electronics
23. Altmetric Badge
    Chapter 22 Towards a Load Balancing Middleware for Automotive Infotainment Systems
24. Altmetric Badge
    Chapter 23 Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks
25. Altmetric Badge
    Chapter 24 A Hybrid Hardware and Software Component Architecture for Embedded System Design
26. Altmetric Badge
    Chapter 25 Low–Level Space Optimization of an AES Implementation for a Bit–Serial Fully Pipelined Architecture
27. Altmetric Badge
    Chapter 26 The Case for Interpreted Languages in Sensor Networks
28. Altmetric Badge
    Chapter 27 Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
29. Altmetric Badge
    Chapter 28 FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks
30. Altmetric Badge
    Chapter 29 Efficient Modeling of Embedded Systems Using Computer-Aided Recoding
31. Altmetric Badge
    Chapter 30 New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies