Embedded Systems: Design, Analysis and Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component
3. Altmetric Badge
   Chapter 2 Programming Robots with Events
4. Altmetric Badge
   Chapter 3 Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding
5. Altmetric Badge
   Chapter 4 Automatic Execution of Test Cases on UML Models of Embedded Systems
6. Altmetric Badge
   Chapter 5 Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software
7. Altmetric Badge
   Chapter 6 Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines
8. Altmetric Badge
   Chapter 7 Low-Power Processors Require Effective Memory Partitioning
9. Altmetric Badge
   Chapter 8 Enhancement of System-Lifetime by Alternating Module Activation
10. Altmetric Badge
    Chapter 9 Model Checking Memory-Related Properties of Hardware/Software Co-designs
11. Altmetric Badge
    Chapter 10 Reducing Re-verification Effort by Requirement-Based Change Management
12. Altmetric Badge
    Chapter 11 Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories
13. Altmetric Badge
    Chapter 12 Automated Functional Verification of Application Specific Instruction-set Processors
14. Altmetric Badge
    Chapter 13 Compressing Microcontroller Execution Traces to Assist System Analysis
15. Altmetric Badge
    Chapter 14 Hardware and Software Implementations of Prim’s Algorithm for Efficient Minimum Spanning Tree Computation
16. Altmetric Badge
    Chapter 15 A Passive Monitoring Tool for Evaluation of Routing in Wireless HART Networks
17. Altmetric Badge
    Chapter 16 Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration
18. Altmetric Badge
    Chapter 17 Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction
19. Altmetric Badge
    Chapter 18 Towards Virtualization Concepts for Novel Automotive HMI Systems
20. Altmetric Badge
    Chapter 19 Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs
21. Altmetric Badge
    Chapter 20 Formal Verification of Concurrent Embedded Software
22. Altmetric Badge
    Chapter 21 On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
23. Altmetric Badge
    Chapter 22 Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks
24. Altmetric Badge
    Chapter 23 Adaptive Total Bandwidth Server: Using Predictive Execution Time
25. Altmetric Badge
    Chapter 24 Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System
26. Altmetric Badge
    Chapter 25 Contract-Based Compositional Scheduling Analysis for Evolving Systems
27. Altmetric Badge
    Chapter 26 Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management
28. Altmetric Badge
    Chapter 27 Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems
29. Altmetric Badge
    Chapter 28 A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware
30. Altmetric Badge
    Chapter 29 Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems
31. Altmetric Badge
    Chapter 30 I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications
32. Altmetric Badge
    Chapter 31 Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System