DIPES 2000: Schloß Eringerfeld, Germany

@proceedings{DBLP:conf/ifip10-3/2000dipes,
  editor    = {Bernd Kleinjohann},
  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,
               Schlo{\ss} Eringerfeld, Germany},
  booktitle = {DIPES},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {189},
  year      = {2001},
  isbn      = {0-7923-7345-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methodology I

• Ricardo Jorge Machado, João M. Fernandes, Henrique D. Santos: A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. 1-10 BibTeX
• Sébastien Gérard, Nikos S. Voros, Chris Koulamas, François Terrier: Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology. 11-22 BibTeX
• F. Heuschen, Klaus Waldschmidt: Analog/Digital Co-Design. 23-32 BibTeX
• Luigi Carro, Flávio Rech Wagner, Márcio Eduardo Kreutz, Márcio Oyamada: A Design Methodology for Embedded Systems based on Multiple Processors. 33-42 BibTeX

Architecture

• Luís Miguel Pinho, Francisco Vasques: An Architecture for Reliable Distributed Computer-Controlled Systems. 43-52 BibTeX
• Amer Baghdadi, Nacer-Eddine Zergainoh, Damien Lyonnard, Ahmed Amine Jerraya: Generic Architecture Platform for Multiprocessor System-On-Chip Design. 53-64 BibTeX
• Danilo Beuche, Lars Büttner, Daniel Mahrenholz, Wolfgang Schröder-Preikschat, Friedrich Schön: JPURE - A Purified Java Execution Environment for Controller Networks. 65-74 BibTeX
• Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira: Optimizing Functional distribution in Complex System Design. 75-86 BibTeX

Design Environments

• Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau: Customizing Software Toolkits for Embedded Systems-On-Chip. 87-98 BibTeX
• Nacer-Eddine Zergainoh, Amer Baghdadi, Ludovic Tambour, Damien Lyonnard, Lovic Gauthier, Ahmed Amine Jerraya: Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip. 99-110 BibTeX
• Achim Rettberg, Franz J. Rammig, Andreas Gerstlauer, Daniel Gajski, Wolfram Hardt, Bernd Kleinjohann: The Specification Language SpecC within the PARADISE Design Environment. 111-120 BibTeX

Methodology II

• Markus Deppe, Oliver Oberschelp: Real-Time Support for Online Controller Supervision and Optimisation. 121-130 BibTeX
• William Nace, Phil Koopman: A Product Family Approach to Graceful Degradation. 131-140 BibTeX
• Mika Katara, Arto Luoma: Environment Modelling in Closed Specifications of Embedded Systems. 141-150 BibTeX

Test and Validation

• W. Fleisch: Test Case Design for the Validation of Component-Based Embedded Systems. 151-160 BibTeX
• H. Sun: Timing Constraints Validation using UPPAAL: Schedulability Analysis. 161-172 BibTeX

Distribution and Communication

• Ying Qiao, Hongan Wang, Guozhong Dai: A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems. 173-182 BibTeX
• Pertti Kellomäki: Deriving Message Passing Protocols from Collective Behavior. 183-192 BibTeX
• Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee: Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems. 193-204 BibTeX

Synthesis

• Klaus Schneider: A Verified Hardware Synthesis of Esterel Programs. 205-214 BibTeX
• F. Cieslok, H. Esau, Jürgen Teich: EXPLORA - Generic Design Space Exploration during Embedded System Synthesis. 215-226 BibTeX
• Carsten Homburg, Ulrich Kiffmeier, L. Kösters: Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. 227- BibTeX