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 BibTeX

Modelling and Specification

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

Verification and Analysis

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

Fault Detection and Toleration

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

Automotive and Mechatronic Systems Design

• Uwe Honekamp, Matthias Wernicke: Development of Distributed Automotive Software: The DaVinci Methodology. 93-102 BibTeX
• Per Johannessen, Fredrik Törner, Jan Torin: Experiences from Model Based Development of Drive-By-Wire Control Systems. 103-112 BibTeX
• 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 BibTeX

Networks and Communication

• Jean-Paul Jamont, Michel Occello, André Lagrèze: A Decentralized Self-Organized Approach for Wireless Sensor Networks. 123-132 BibTeX
• 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 BibTeX
• Claudia Kretzschmar, Markus Scheithauer, Dietmar Müller: Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments. 145-156 BibTeX

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 BibTeX
• David Doose, Zoubir Mammeri: Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions. 167-176 BibTeX
• Carsten Boeke, Simon Oberthuer: Flexible Resource Management - A Framework for Self-Optimizing Real-Time Systems. 177-186 BibTeX

Hardware Architectures and Synthesis

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

Design Space Exploration

• Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: Profiling Specification PEARL Designs. 217-226 BibTeX
• Frank Slomka, Karsten Albers, Richard Hofmann: A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems. 227-236 BibTeX
• 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 BibTeX

Design Methodologies and User Interfaces

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

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 BibTeX
• Ashoke Deb: A Dataflow Language (AVON) as an Architecture Description Language (ADL). 287-296 BibTeX
• Uwe Glässer, Mona Vajihollahi: Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. 297-306 BibTeX
• 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 BibTeX
• Diogo Zandonai, Sergio Bampi, Marcel Bergerman: ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA. 317-326 BibTeX