Description
Book SynopsisContent.- 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.
Table of ContentsPreface. Workshop Organisation. Session 1: Methodology I. A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach; R. J. Machado, et al. Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology; S. Gérard, et al. Analog/Digital Co-Design; F. Heuschen, K. Waldschmidt. A Design Methodology for Embedded Systems based on Multiple Processors; L. Carro, et al. Session 2: Architecture. An Architecture for Reliable Distributed Computer-Controlled Systems; L. M. Pinho, F. Vasques. Generic Architecture Platform for Multiprocessor System-On-Chip Design; A. Baghdadi, et al. JPURE - A Purified Java Execution Environment for Controller Networks; D. Beuche, et al. Optimizing Functional distribution in Complex System Design; O. P. Dias, et al. Session 3: Design Environments. Customizing Software Toolkits for Embedded Systems-On-Chip; A. Halambi, et al. Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip; N. E. Zergainoh, et al. The Specification Language SpecC within the PARADISE Design Environment; A. Rettberg, et al. Session 4: Methodology II. Real-Time Support for Online Controller Supervision and Optimisation; M. Deppe, O. Oberschelp. A Product Family Approach to Graceful Degradation; W. Nace, P. Koopman. Environment Modelling in Closed Specifications of Embedded Systems; M. Katara, A. Luoma. Session 5: Test and Validation. Test Case Design for the Validation of Component-Based Embedded Systems; W. Fleisch. Timing Constraints Validation using UPPAAL: Schedulability Analysis; H. Sun. Session 6: Distribution andCommunication. A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems; Y. Qiao, et al. Deriving Message Passing Protocols from Collective Behavior; P. Kellomäki. Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems; D. Kim, et al. Session 7: Synthesis. A Verified Hardware Synthesis of Esterel Programs; K. Schneider. EXPLORA&endash;Generic Design Space Exploration during Embedded System Synthesis; F. Cieslok, et al. Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System; C. Homburg, et al.
