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
Machine generated contents note: Session 1: Methodology I A Methodology for Complex Embedded Systems Design: -- Petri Nets within a UML Approach -- R. J. Machado, J. M. Fernandes, H. D. Santos -- Efficient System Modeling for Complex Real-Time Industrial Networks -- using the ACCORD/UML Methodology...
Gespeichert in:
| Körperschaften: | , , , |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Boston u.a.
Kluwer Academic Publishers
2001
|
| Schriftenreihe: | IFIP
61 |
| Schlagworte: | |
| Online Zugang: | Volltext Inhaltstext Publisher description |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Machine generated contents note: Session 1: Methodology I A Methodology for Complex Embedded Systems Design: -- Petri Nets within a UML Approach -- R. J. Machado, J. M. Fernandes, H. D. Santos -- Efficient System Modeling for Complex Real-Time Industrial Networks -- using the ACCORD/UML Methodology -- S. Gerard, N. S. Voros, C. Koulamas, F. Terrier -- Analog/Digital Co-Design -- F. Heuschen, K. Waldschmidt -- A Design Methodology for Embedded Systems based on -- Multiple Processors -- L. Carro, F. Wagner, M Kreutz, M. Oyamada 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, N-E. Zergainoh, D. Lyonnard, A. A. Jerraya -- JPURE - A Purified Java Execution Environment for Controller Networks -- D. Beuche, L. Buttner, D. Mahrenholz, W. Schroder-Preikschat, -- F. Schon -- Optimizing Functional distribution in Complex System Design -- 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 -- A. Halambi, N. Dutt, A. Nicolau -- Framework for System Design, Validation and Fast Prototyping of -- Multiprocessor System-On-Chip -- N. E. Zergainoh, A. Baghdadi, L. Tambour, D. Lyonnard, L. Gauthier, -- A. Jerraya -- The Specification Language SpecC within the PARADISE Design -- Environment -- A. Rettberg, F. J. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt, -- B. Kleinjohann -- vi 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 and Communication A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor -- Systems -- Y. Qiao, H. Wang, 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, Y.-H. Lee Session 7: Synthesis A Verified Hardware Synthesis of Esterel Programs -- K. Schneider -- EXPLORA - Generic Design Space Exploration during Embedded System -- Synthesis -- F. Cieslok, H. Esau, J. Teich -- Automatic Code Generation for Multirate Simulink Models with Support -- for the OSEK Real-Time Operating System -- C. Homburg, U. Kiffmeier, L. Kosters |
|---|---|
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | IX, 236 S graph. Darst |
| ISBN: | 0792373456 0-7923-7345-6 |