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

목차 (Table of Contents)

• CONTENTS
• Preface = ⅶ
• Workshop Organisation = ⅸ
• Session 1 : Methodology Ⅰ
• A Methodology for Complex Embedded Systems Design : Petri Nets within a UML Approach / R. J. Machado ; J. M. Fernandes ; H. D. Santos = 1
• Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD／UML Methodology / S. G$$\acute e$$rard ; N. S. Voros ; C. Koulamas ; F. Terrier = 11
• Analog／Digital Co-Design / F. Heuschen ; K. Waldschmidt = 23
• A Design Methodology for Embedded Systems based on Multiple Processors / L. Carro ; F. Wagner ; M. Kreutz ; M. Oyamada = 33
• Session 2 : Architecture
• An Architecture for Reliable Distributed Computer-Controlled Systems / L. M. Pinho ; F. Vasques = 43
• Generic Architecture Platform for Multiprocessor System-On-Chip Design / A. Baghdadi ; N-E. Zergainoh ; D. Lyonnard ; A. A. Jerraya = 53
• JPURE - A Purified Java Execution Environment for Controller Networks / D. Beuche ; L. B$$\ddot u$$ttner ; D. Mahrenholz ; W. Schr$$\ddot o$$der-Preikschat ; F. Sch$$\ddot o$$n = 65
• Optimizing Functional distribution in Complex System Design / O. P. Dias ; I. M. Teixeira ; J. P. Teixeira ; L. B. Becker ; C. E. Pereira = 75
• Session 3 : Design Environments
• Customizing Software Toolkits for Embedded Systems-On-Chip / A. Halambi ; N. Dutt ; A. Nicolau = 87
• 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 = 99
• The Specification Language SpecC within the PARADISE Design Environment / A. Rettberg ; F. J. Rammig ; A. Gerstlauer ; D. D. Gajski ; W. Hardt ; B. Kleinjohann = 111
• Session 4 : Methodology Ⅱ
• Real-Time Support for Online Controller Supervision and Optimisation / M. Deppe ; O. Oberschelp = 121
• A Product Family Approach to Graceful Degradation / W. Nace ; P. Koopman = 131
• Environment Modelling in Closed Specifications of Embedded Systems / M. Katara ; A. Luoma = 141
• Session 5 : Test and Validation
• Test Case Design for the Validation of Component-Based Embedded Systems / W. Fleisch = 151
• Timing Constraints Validation using UPPAAL : Schedulability Analysis / H. Sun = 161
• Session 6 : Distribution and Communication
• A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems / Y. Qiao ; H. Wang ; G. Dai = 173
• Deriving Message Passing Protocols from Collective Bahavior / P. Kellom$$\ddot a$$ki = 183
• Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems / D. Kim ; Y. Doh ; Y. -H. Lee = 193
• Session 7 : Synthesis
• A Verified Hardware Synthesis of Esterel Programs / K. Schneider = 205
• EXPLORA - Generic Design Space Exploration during Embedded System Synthesis / F. Cieslok ; H. Esau ; J. Teich = 215
• Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System / C. Homburg ; U. Kiffmeier ; L. K$$\ddot o$$sters = 227