Architecture and design of distributed embedded systems
Subtitle: IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloss Eringerfeld, Germany
By: edited by Bernd Kleinjohann.
Contributors: Kleinjohann, Bernd.
Series: International Federation For Information Processing -- 61; International Federation for Information Processing (Series) -- 61.
Publisher: Kluwer Academic Publishers
Published: 2001
Place of publication: Boston
Language: eng
Number of pages: 236
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Parallel processing (Electronic computers) -- Congresses.; Embedded computer systems -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.
Table of contents: title: Machine generated contents note: Session 1: Methodology I A Methodology for Complex Embedded Systems Design:; title: Petri Nets within a UML Approach; title: R. J. Machado, J. M. Fernandes, H. D. Santos; title: Efficient System Modeling for Complex Real-Time Industrial Networks; title: using the ACCORD/UML Methodology; title: S. Gerard, N. S. Voros, C. Koulamas, F. Terrier; title: Analog/Digital Co-Design; title: F. Heuschen, K. Waldschmidt; title: A Design Methodology for Embedded Systems based on; title: Multiple Processors; title: L. Carro, F. Wagner, M Kreutz, M. Oyamada Session 2: Architecture An Architecture for Reliable Distributed Computer-Controlled Systems; title: L. M. Pinho, F. Vasques; title: Generic Architecture Platform for Multiprocessor System-On-Chip Design; title: A. Baghdadi, N-E. Zergainoh, D. Lyonnard, A. A. Jerraya; title: JPURE - A Purified Java Execution Environment for Controller Networks; title: D. Beuche, L. Buttner, D. Mahrenholz, W. Schroder-Preikschat,; title: F. Schon; title: Optimizing Functional distribution in Complex System Design; title: O. P. Dias, I. M Teixeira, J P. Teixeira, L. B. Becker, C. E. Pereira Session 3: Design Environments Customizing Software Toolkits for Embedded Systems-On-Chip; title: A. Halambi, N. Dutt, A. Nicolau; title: Framework for System Design, Validation and Fast Prototyping of; title: Multiprocessor System-On-Chip; title: N. E. Zergainoh, A. Baghdadi, L. Tambour, D. Lyonnard, L. Gauthier,; title: A. Jerraya; title: The Specification Language SpecC within the PARADISE Design; title: Environment; title: A. Rettberg, F. J. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt,; title: B. Kleinjohann; title: vi Session 4: Methodology II Real-Time Support for Online Controller Supervision and Optimisation; title: M. Deppe, O. Oberschelp; title: A Product Family Approach to Graceful Degradation; title: W. Nace, P. Koopman; title: Environment Modelling in Closed Specifications of Embedded Systems; title: M. Katara, A. Luoma Session 5: Test and Validation Test Case Design for the Validation of Component-Based Embedded; title: Systems; title: W. Fleisch; title: Timing Constraints Validation using UPPAAL: Schedulability Analysis; title: H. Sun Session 6: Distribution and Communication A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor; title: Systems; title: Y. Qiao, H. Wang, G. Dai; title: Deriving Message Passing Protocols from Collective Behavior; title: P. Kellomaki; title: Java Real-Time Publish-Subscribe Middleware for Distributed Embedded; title: Systems; title: D. Kim, Y. Doh, Y.-H. Lee Session 7: Synthesis A Verified Hardware Synthesis of Esterel Programs; title: K. Schneider; title: EXPLORA - Generic Design Space Exploration during Embedded System; title: Synthesis; title: F. Cieslok, H. Esau, J. Teich; title: Automatic Code Generation for Multirate Simulink Models with Support; title: for the OSEK Real-Time Operating System; title: C. Homburg, U. Kiffmeier, L. Kosters.