Content. - A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. - Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology. - Analog/Digital Co-Design. - A Design Methodology for Embedded Systems based on Multiple Processors. - An Architecture for Reliable Distributed Computer-Controlled Systems. - Generic Architecture Platform for Multiprocessor System-On-Chip Design. - JPURE A Purified Java Execution Environment for Controller Networks. - Optimizing Functional distribution in Complex System Design. - Customizing Software Toolkits for Embedded Systems-On-Chip. - Framework for System Design Validation and Fast Prototyping of Multiprocessor System-On-Chip. - The Specification Language SpecC within the PARADISE Design Environment. - Real-Time Support for Online Controller Supervision and Optimisation. - A Product Family Approach to Graceful Degradation. - Environment Modelling in Closed Specifications of Embedded Systems. - Test Case Design for the Validation of Component-Based Embedded Systems. - Timing Constraints Validation using UPPAAL: Schedulability Analysis. - A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems. - Deriving Message Passing Protocols from Collective Behavior. - Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems. - A Verified Hardware Synthesis of Esterel Programs. - EXPLORA Generic Design Space Exploration during Embedded System Synthesis. - Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. Language: English