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 updated on Mon May 20 02:15:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page