Abstract is missing.
- A Methodology for Complex Embedded Systems Design: Petri Nets within a UML ApproachRicardo Jorge Machado, João M. Fernandes, Henrique D. Santos. 1-10
- Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML MethodologySébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier. 11-22
- Analog/Digital Co-DesignF. Heuschen, Klaus Waldschmidt. 23-32
- A Design Methodology for Embedded Systems based on Multiple ProcessorsLuigi Carro, Flávio Rech Wagner, Márcio Eduardo Kreutz, Márcio Oyamada. 33-42
- An Architecture for Reliable Distributed Computer-Controlled SystemsLuís Miguel Pinho, Francisco Vasques. 43-52
- Generic Architecture Platform for Multiprocessor System-On-Chip DesignAmer Baghdadi, Nacer-Eddine Zergainoh, Damien Lyonnard, Ahmed Amine Jerraya. 53-64
- JPURE - A Purified Java Execution Environment for Controller NetworksDanilo Beuche, Lars Büttner, Daniel Mahrenholz, Wolfgang Schröder-Preikschat, Friedrich Schön. 65-74
- Optimizing Functional distribution in Complex System DesignOctávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira. 75-86
- Customizing Software Toolkits for Embedded Systems-On-ChipAshok Halambi, Nikil D. Dutt, Alexandru Nicolau. 87-98
- Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-ChipNacer-Eddine Zergainoh, Amer Baghdadi, Ludovic Tambour, Damien Lyonnard, Lovic Gauthier, Ahmed Amine Jerraya. 99-110
- The Specification Language SpecC within the PARADISE Design EnvironmentAchim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann. 111-120
- Real-Time Support for Online Controller Supervision and OptimisationMarkus Deppe, Oliver Oberschelp. 121-130
- A Product Family Approach to Graceful DegradationWilliam Nace, Phil Koopman. 131-140
- Environment Modelling in Closed Specifications of Embedded SystemsMika Katara, Arto Luoma. 141-150
- Test Case Design for the Validation of Component-Based Embedded SystemsW. Fleisch. 151-160
- Timing Constraints Validation using UPPAAL: Schedulability AnalysisH. Sun. 161-172
- A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor SystemsYing Qiao, Hongan Wang, Guozhong Dai. 173-182
- Deriving Message Passing Protocols from Collective BehaviorPertti Kellomäki. 183-192
- Java Real-Time Publish-Subscribe Middleware for Distributed Embedded SystemsDaeyoung Kim, Yoonmee Doh, Yann-Hang Lee. 193-204
- A Verified Hardware Synthesis of Esterel ProgramsKlaus Schneider. 205-214
- EXPLORA - Generic Design Space Exploration during Embedded System SynthesisF. Cieslok, H. Esau, Jürgen Teich. 215-226
- Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating SystemCarsten Homburg, Ulrich Kiffmeier, L. Kösters. 227