DIPES 2002: Montréal, Québec, Canada

Bernd Kleinjohann, K. H. Kim, Lisa Kleinjohann, Achim Rettberg (Eds.): Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada. IFIP Conference Proceedings 219 Kluwer 2002, ISBN 1-4020-7156-6 BibTeX

Modelling and Specification

João M. Fernandes, Ricardo Jorge Machado: Can UML be a System-Level Language for Embedded Software?. 1-10 BibTeX
Roman Gumzej, Wolfgang A. Halang: PEARL for Distributed Embedded Systems. 11-20 BibTeX
Uwe Glässer, Margus Veanes: Universal Plug and Play Machine Models. 21-30 BibTeX

Zonghua Gu, Kang G. Shin: Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach. 31-40 BibTeX
Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson: Petri Net Based Design of Reconfigurable Embedded. 41-50 BibTeX
Jean-Pierre Talpin: Model Checking Robustness to Desynchronization. 51-60 BibTeX

Nihal Kececi, Wolfgang A. Halang, Alain Abran: A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. 61-69 BibTeX
Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. 71-80 BibTeX
Prabhat Mishra, Nikil D. Dutt: Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions. 81-90 BibTeX

Emerson Rogério de Oliveira Junior, Ingrid Jansch-Pôrto: Statistical Analysis of a Hybrid Replication Model. 91-100 BibTeX
Paul Townend, Jie Xu, Malcolm Munro: Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study. 101-112 BibTeX
Domen Verber, Matjaz Colnaric, Wolfgang A. Halang: Fault Detection in Safety-Critical Embedded Systems. 113-119 BibTeX

Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat: Dependability Characterization of Middleware Services. 121-130 BibTeX
Stephen S. Yau, Fariaz Karim: Adaptive Middleware for Ubiquitous Computing Environments. 131-140 BibTeX
Danilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat: Finegrained Application Specific Customization of Embedded Software. 141-151 BibTeX

Wolfgang A. Halang, Nihal Kececi, Grace Tsai: Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. 153-162 BibTeX
Peter P. Puschner: Transforming Execution-Time Boundable Code into Temporally Predictable Code. 163-172 BibTeX
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Bottom-Up Performance Analysis of HW/SW Platforms. 173-183 BibTeX

Christophe Bobda: Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems. 185-194 BibTeX
Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig: Integration of Low Power Analysis into High-Level Scheduling in Distributed Real-Time Computing Systems. 205-215 BibTeX

Romualdo Santamaria: IEEE-1394 A Standard to Interconnect Distributed Systems. 217-225 BibTeX
Mauro Cesar Zanella, Thomas Lehmann, Thorsten Hestermeyer, Andreas Pottharst: Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a. 227-236 BibTeX
Stefan Ihmor, Markus Visarius, Wolfram Hardt: A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems. 237-246 BibTeX
Dirk Stichling, Bernd Kleinjohann: Low Latency Color Segmentation on Embedded Real-Time Systems. 247-256 BibTeX

Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, Giedrius Majauskas: Soft IP Design Framework Using Metaprogramming Techniques. 257-266 BibTeX
Achim Rettberg, Wolfgang Thronicke: How to integrate Webservices in Embedded System Design?. 267-276 BibTeX
Markus Deppe, Mauro Cesar Zanella: Design and Realization of Distributed Real-Time Controller for Mechatronic Systems. 277-286 BibTeX