| Preface |
| Workshop Organisation |
| Methodology / Session 1： |
| 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 |
| Architecture / Session 2： |
| 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 |
| Design Environments / Session 3： |
| 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 ; L. Tambour ; 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 |
| Methodology II / Session 4： |
| 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 |
| Test and Validation / Session 5： |
| Test Case Design for the Validation of Component-Based Embedded Systems / W. Fleisch |
| Timing Constraints Validation using UPPAAL: Schedulability Analysis / H. Sun |
| Distribution and Communication / Session 6： |
| 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 |
| Synthesis / Session 7： |
| 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 |
| Preface |
| Workshop Organisation |
| Methodology / Session 1： |
| 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 |
