Architecture and Design of Distributed Embedded Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Methodology for Complex Embedded Systems Design
3. Altmetric Badge
   Chapter 2 Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology
4. Altmetric Badge
   Chapter 3 Analog/Digital Co-Design
5. Altmetric Badge
   Chapter 4 A Design Methodology for Embedded Systems Based on Multiple Processors
6. Altmetric Badge
   Chapter 5 An Architecture for Reliable Distributed Computer-Controlled Systems
7. Altmetric Badge
   Chapter 6 Generic Architecture Platform for Multiprocessor System-on-Chip Design
8. Altmetric Badge
   Chapter 7 JPURE — A Purified Java Execution Environment for Controller Networks
9. Altmetric Badge
   Chapter 8 Optimizing Functional Distribution in Complex System Design
10. Altmetric Badge
    Chapter 9 Customizing Software Toolkits for Embedded Systems-on-Chip
11. Altmetric Badge
    Chapter 10 Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-on-Chip
12. Altmetric Badge
    Chapter 11 The Specification Language SpecC within the PARADISE Design Environment
13. Altmetric Badge
    Chapter 12 Real-Time Support for Online Controller Supervision and Optimisation
14. Altmetric Badge
    Chapter 13 A Product Family Approach to Graceful Degradation
15. Altmetric Badge
    Chapter 14 Environment Modelling in Closed Specifications of Embedded Systems
16. Altmetric Badge
    Chapter 15 Test Case Design for the Validation of Component-Based Embedded Systems
17. Altmetric Badge
    Chapter 16 Timing Constraints Validation Using Uppaal
18. Altmetric Badge
    Chapter 17 A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems
19. Altmetric Badge
    Chapter 18 Deriving Message Passing Protocols from Collective Behavior
20. Altmetric Badge
    Chapter 19 Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems
21. Altmetric Badge
    Chapter 20 A Verified Hardware Synthesis of Esterel Programs
22. Altmetric Badge
    Chapter 21 EXPLORA — Generic Design Space Exploration During Embedded System Synthesis
23. Altmetric Badge
    Chapter 22 Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System
24. Altmetric Badge
    Chapter 23 Erratum to: Architecture and Design of Distributed Embedded Systems