Research Catalog

Title

Architecture and design of distributed embedded systems : IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloss Eringerfeld, Germany / edited by Bernd Kleinjohann.

Author

IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (2000 : Schloss Eringerfeld, Germany)

Publication

Boston : Kluwer Academic Publishers, [2001], ©2001.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Kleinjohann, Bernd.

Description

ix, 236 pages : illustrations; 24 cm.

Series Statement

International Federation For Information Processing ; 61

Uniform Title

International Federation for Information Processing (Series) ; 61.

Subject

• Electronic data processing > Distributed processing > Congresses
• Parallel processing (Electronic computers) > Congresses
• Embedded computer systems > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach / R. J. Machado, J. M. Fernandes and H. D. Santos -- Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology / S. Gerard, N. S. Voros and C. Koulamas / [et al.] -- Analog/Digital Co-Design / F. Heuschen and K. Waldschmidt -- A Design Methodology for Embedded Systems based on Multiple Processors / L. Carro, F. Wagner and M. Kreutz / [et al.] -- An Architecture for Reliable Distributed Computer-Controlled Systems / L. M. Pinho and F. Vasques -- Generic Architecture Platform for Multiprocessor System-On-Chip Design / A. Baghdadi, N.-E. Zergainoh and D. Lyonnard / [et al.] -- JPURE - A Purified Java Execution Environment for Controller Networks / D. Beuche, L. Buttner and D. Mahrenholz / [et al.] -- Optimizing Functional distribution in Complex System Design / O. P. Dias, I. M. Teixeira and J. P. Teixeira / [et al.] --
• Customizing Software Toolkits for Embedded Systems-On-Chip / A. Halambi, N. Dutt and A. Nicolau -- Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip / N. E. Zergainoh, A. Baghdadi and L. Tambour / [et al.] -- The Specification Language SpecC within the PARADISE Design Environment / A. Rettberg, F. J. Rammig and A. Gerstlauer / [et al.] -- Real-Time Support for Online Controller Supervision and Optimisation / M. Deppe and O. Oberschelp -- A Product Family Approach to Graceful Degradation / W. Nace and P. Koopman -- Environment Modelling in Closed Specifications of Embedded Systems / M. Katara and A. Luoma -- Test Case Design for the Validation of Component-Based Embedded Systems / W. Fleisch -- Timing Constraints Validation using UPPAAL: Schedulability Analysis / H. Sun -- A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems / Y. Qiao, H. Wang and G. Dai --
• Deriving Message Passing Protocols from Collective Behavior / P. Kellomaki -- Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems / D. Kim, Y. Doh and Y.-H. Lee -- A Verified Hardware Synthesis of Esterel Programs / K. Schneider -- EXPLORA - Generic Design Space Exploration during Embedded System Synthesis / F. Cieslok, H. Esau and J. Teich -- Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System / C. Homburg, U. Kiffmeier and L. Kosters.

ISBN

0792373456 (alk. paper)

LCCN

2001020410

OCLC

• ocm45963275
• SCSB-4175867

Owning Institutions

Columbia University Libraries