Distributed Embedded Systems: Design, Middleware and Resources

1. Front Matter

   Pages I-XIII

   PDF

2. Hierarchically Distributing Embedded Systems for Improved Autonomy

   • Claudius Stern, Philipp Adelt, Willi Richert, Bernd Kleinjohann

   Pages 1-9

3. Sorting Units for FPGA-Based Embedded Systems

   • Rui Marcelino, Horácio Neto, João M.P. Cardoso

   Pages 11-22

4. Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems

   • Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian

   Pages 23-34

5. Specification-based Verification of Embedded Systems by Automated Test Case Generation

   • Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer

   Pages 35-44

6. Analysis of Periodic Clock Relations in Polychronous Systems

   • Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic

   Pages 45-56

7. Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level

   • Eyad Alkassar, Peter Böhm, Steffen Knapp

   Pages 57-67

8. Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT

   • Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gerard, Ansgar Radermacher et al.

   Pages 69-78

9. Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables

   • Simon Tjell, João M. Fernandes

   Pages 79-88

10. The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures

    • Augustin Kebemou, Ina Schieferdecker

    Pages 89-100

11. On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems

    • Ricardo M. Redin, Marcio F. S. Oliveira, Lisane B. Brisolara, Julio C. B. Mattos, Luis C. Lamb, Flávio R. Wagner et al.

    Pages 101-110

12. Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors

    • Meng Wang, Zili Shao, Hui Liu, Chun Jason Xue

    Pages 111-120

13. Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems

    • Geovani Ricardo Wiedenhoft, Antônio Augusto Fröhlich

    Pages 121-130

14. A Power Model for Register-Sharing Structures

    • Balaji V. Iyer, Thomas M. Conte

    Pages 131-142

15. Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor

    • Rita Kalile Almeida Andrade, Thomás Alimena Del Grande, Tiago Bücker, Carlos Eduardo Pereira

    Pages 143-150

16. Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements

    • Santiago Urueña, Juan Zamorano, José A. Pulido, Juan A. de la Puente

    Pages 151-160

17. TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor

    • Enkhbold Ochirsuren, Heiko Hinkelmann, Leandro Soares Indrusiak, Manfred Glesner

    Pages 161-170

18. Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems

    • Sherif Fahmy, Binoy Ravindran, E. D. Jensen

    Pages 171-180

19. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration

    • Henning Zabel, Wolfgang Müller

    Pages 181-190

20. Handling QoS Dependencies in Distributed Cooperative Real-Time Systems

    • Luís Nogueira, Luís Miguel Pinho

    Pages 191-200

This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress, held in Milan on September 7 10, 2008. The embedded systems world has a great deal of experience with parallel and distributed computing. Many embedded computing systems require the high performance that can be delivered by parallel computing. Parallel and distributed computing are often the only ways to deliver adequate real time performance at low power levels. This year’s conference attracted 30 submissions, of which 21 were accepted. Prof. Jor ¨ g Henkel of the University of Karlsruhe graciously contributed a keynote address on embedded computing and reliability. We would like to thank all of the program committee members for their diligence. Wayne Wolf, Bernd Kleinjohann, and Lisa Kleinjohann Acknowledgements We would like to thank all people involved in the organization of the IFIP World Computer Congress 2008, especially the IPC Co Chairs Judith Bishop and Ivo De Lotto, the Organization Chair Giulio Occhini, as well as the Publications Chair John Impagliazzo. Further thanks go to the authors for their valuable contributions to DIPES 2008. Last but not least we would like to acknowledge the considerable amount of work and enthusiasm spent by our colleague Claudius Stern in preparing theproceedingsofDIPES2008. Hemadeitpossibletoproducethemintheircurrent professional and homogeneous style.

• DIPES 2008
• FPGA
• FPGA-Based
• FTT-CAN
• IP-XACT
• RT-femtoJava
• UML
• WCC
• polychronous systems
• system on chip (SoC)

• University of Paderborn, Germany

  Bernd Kleinjohann, Lisa Kleinjohann

• Georgia Institute of Technology, Savannah, USA

  Wayne Wolf

Policies and ethics