Architecture and Design of Distributed Embedded Systems: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems ... 18-19, 2000, Schloß Eringerfeld, Germany - Softcover

Softcover

ISBN 10: 1475745346 ISBN 13: 9781475745344

Publisher: Springer, 2013

Synopsis

Preface. 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.

Edition details

• Publisher: Springer
• Publication date: 2013
• Language: English
• ISBN 10: 1475745346
• ISBN 13: 9781475745344
• Binding: Paperback
• Number of pages: 252
• Editor: Kleinjohann Bernd