DIPES 2004: Toulouse, France

part of IFIP World Congress 2004

Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg (Eds.): Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France. Kluwer 2004, ISBN 1-4020-8148-0

Modelling and Specification

• Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat: MDA Platform for Complex Embedded Systems Development. 1-10
• Michael Kersten, Wolfgang Nebel: On Detecting Deadlocks in Large UML Models. 11-20
• Martin Kardos, Yuhong Zhao: Verification Framework for UML-Based Design of Embedded Systems. 21-30

Verification and Analysis

• Yuhong Zhao: LTL's Intutitive Representations and its Automaton Translation. 31-42
• Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi: Modeling and Verification of Hybrid Systems Based on Equations. 43-52
• Wojciech Noworyta: Distribution of Time Interval Between Successive Interrupt Requests. 53-62

Fault Detection and Toleration

• Håkan Sivencrona, Mattias Persson, Jan Torin: A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults. 63-72
• Karen Godary, Isabelle Augé-Blum, Anne Mignotte: Temporal Bounds for TTA: Validation. 73-82
• Alain Girault, Hamoudi Kalla, Yves Sorel: An Active Replication Scheme that Tolerates Failure in Distributed Embedded Real-Time Systems. 83-92

Automotive and Mechatronic Systems Design

• Uwe Honekamp, Matthias Wernicke: Development of Distributed Automotive Software: The DaVinci Methodology. 93-102
• Per Johannessen, Fredrik Törner, Jan Torin: Experiences from Model Based Development of Drive-By-Wire Control Systems. 103-112
• André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig: Hardware Design and Protocol Specification for the Control and Communication within a Mechatronic System. 113-122

Networks and Communication

• Jean-Paul Jamont, Michel Occello, André Lagrèze: A Decentralized Self-Organized Approach for Wireless Sensor Networks. 123-132
• K. H. (Kane) Kim, C. S. Im, M. C. Kim, Yuqing Li, Seung-Mok Yoo, L. C. Zheng: A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks. 133-144
• Claudia Kretzschmar, Markus Scheithauer, Dietmar Müller: Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments. 145-156

Scheduling and Resource Management

• Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima: A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. 157-166
• David Doose, Zoubir Mammeri: Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. 167-176
• Carsten Boeke, Simon Oberthuer: Flexible Resource Management - A Framework for Self-Optimizing Real-Time Systems. 177-186

Hardware Architectures and Synthesis

• Carsten Rust, Achim Rettberg: Automatic Synthesis of SystemC-Code from Formal Specifications. 187-196
• John Hawkins, Ali E. Abdallah: Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. 197-206
• Florian Dittmann, Achim Rettberg: A Self-Controlled and Dynamically Reconfigurable Architecture. 207-216

Design Space Exploration

• Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: Profiling Specification PEARL Designs. 217-226
• Frank Slomka, Karsten Albers, Richard Hofmann: A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems. 227-236
• Júlio C. B. de Mattos, Lisane B. de Brisolara, Renato Fernandes Hentschke, Luigi Carro, Flávio Rech Wagner: Design Space Exploration with Automatic Generation of IP-Based Embedded Software. 237-246

Design Methodologies and User Interfaces

• Ricardo Jorge Machado, João M. Fernandes: A Multi-Level Design Pattern for Embedded Software. 247-256
• Carsten Rust, Franz J. Rammig: A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems. 257-266
• Brigitte Oesterdiekhoff: Internet Premium Services for Flexible Format Distributed Services. 267-276

Short Papers

• Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira: Evaluating High-Level Models for Real-Time Embedded Systems Design. 277-286
• Ashoke Deb: A Dataflow Language (AVON) as an Architecture Description Language (ADL). 287-296
• Uwe Glässer, Mona Vajihollahi: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. 297-306
• Edgard de Faria Corrêa, Eduardo W. Basso, Gustavo R. Wilke, Flávio Rech Wagner, Luigi Carro: The Implications of Real-Time Behavior in Networks-on-Chip Architectures. 307-316
• Diogo Zandonai, Sergio Bampi, Marcel Bergerman: ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA. 317-326