DIPES 1998: Schloß Eringerfeld, Germany

Franz J. Rammig (Ed.): Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES '98), October 5-6. 1998, Schloß Eringerfeld, Germany. IFIP Conference Proceedings 155 Kluwer 1999, ISBN 0-7923-8614-0 BibTeX

@proceedings{DBLP:conf/ifip10-3/1998dipes,
  editor    = {Franz J. Rammig},
  title     = {Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5
               International Workshop on Distributed and Parallel Embedded Systems
               (DIPES '98), October 5-6. 1998, Schlo{\ss} Eringerfeld, Germany},
  booktitle = {DIPES},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {155},
  year      = {1999},
  isbn      = {0-7923-8614-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formalisms for Embedded System Design

Daniel Gajski, Rainer Dömer, Jianwen Zhu: IP-Centric Methodology and Specification Language. 3-22 BibTeX
Bernd Kleinjohann: Multilanguage Design. 23-38 BibTeX

Synthesis from Synchronous / Asynchronous Specification

Peter Scholz: From synchronous Specifications to Asynchronous Distributed Implementations. 39-50 BibTeX
Jürgen Tacken: Using Extended Predicate / Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems. 51-60 BibTeX
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. 61-72 BibTeX
Claude Ackad: Software Synthesis from Statechart Models for Real Time Systems. 73-84 BibTeX

Partitioning and Load-Balancing

Ronald Moore, Melanie Klang, Bernd Klauer, Klaus Waldschmidt: Combining Static Partitioning with Dynamic Distribution of Threads. 85-96 BibTeX
Ralf Stolpe, Oliver Obershelp: Distributed HIL-Simulation for the Design of Decentralised Control Structures. 97-106 BibTeX
Mauro Cesar Zanella, Ralf Stolpe: Distributed HIL-Simulation of Mechatronic Systems Applied to an Agriculture Machine. 107-116 BibTeX
Ralf Kluthe, Wolfgang Obelöer, Claus Grewe: Agent-Based Load Balancing for Mobile Robot Applications. 117-128 BibTeX

Verification and Validation

Klaus Schneider, Michaela Huhn: Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. 129-138 BibTeX
Matthieu Courrier, Françoise Simonot-Lion, Yeqiong Song: Microscopic Modeling of Support System for In- Vehicle Embedded Systems. 139-148 BibTeX
Philippe Leblanc, Jean-Luc Roux: Extended SDL-based Tools for Rapid Prototyping of Application Specific Signal Processors. 149-156 BibTeX
Ulrich Kiffmeier, Michael Beine: Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPs. 157-168 BibTeX

Design Environments

Marco Di Natale, Andrea Domenici: The DASE Tool: An Environment for the Development of Real-Time Applications. 169-180 BibTeX
Wolfram Hardt, Peter Altenbernd, Carsten Böke, Giuseppe Del Castillo, C. Ditze, Edwin Erpenbach, Uwe Glässer, Bernd Kleinjohann, Georg Lehrenfeld, Franz J. Rammig, Carsten Rust, Friedhelm Stappert, Joachim Stroop, Jürgen Tacken: Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems. 181-190 BibTeX
F. Hessel, P. LeMarrec, Carlos A. Valderrama, M. Romdhani, Ahmed Amine Jerraya: MCI- Multilanguage Distributed Co- Simulation Tool. 191-202 BibTeX

Object Oriented Approaches

Markus Deppe, Carsten Homburg: Rapid Prototyping of Distributed Mechatronic Applications. 203-212 BibTeX
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Carlos Eduardo Pereira: An OO Based Methodology for Real-Time HW/SW Systems Modeling. 213-222 BibTeX
Pertti Kellomäki, Tommi Mikkonen: Modeling Distributed State as an Abstract Object. 223-230 BibTeX
Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk: Design Rationale of the PURE Object-Oriented Embedded Operation System. 231- BibTeX