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

part of IFIP World Congress 2002

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

Modelling and Specification

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

Specification and Analysis

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

Verification and Validation

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

Fault Tolerance and Detection

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

Middleware and Reuse

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

Timing and Performance Analysis

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

Partitioning and Scheduling

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

Communication and Application

• Romualdo Santamaria: IEEE-1394 A Standard to Interconnect Distributed Systems. 217-225
• 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
• Stefan Ihmor, Markus Visarius, Wolfram Hardt: A Consistent Design Methodology for Configurable HW/SW-interfaces in Embedded Systems. 237-246
• Dirk Stichling, Bernd Kleinjohann: Low Latency Color Segmentation on Embedded Real-Time Systems. 247-256

Design Methods and Frameworks

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

Last update Fri May 25 08:22:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page