Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots.For the design of embedded systems the designer has to tackle three major aspects:

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.