IFIP TC6 Open Digital Library

DIPES 2008: Milano, Italy

Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy

Bernd Kleinjohann, Lisa Kleinjohann, Wayne Wolf

Springer, IFIP 271, ISBN: 978-0-387-09660-5



Contents

Applications and Case Studies

Hierarchically Distributing Embedded Systems for Improved Autonomy.

Claudius Stern, Philipp Adelt, Willi Richert, Bernd Kleinjohann

 1-9

Sorting Units for FPGA-Based Embedded Systems.

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

 11-22

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

Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian

 23-34

Verification and Validation

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

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

 35-44

Analysis of Periodic Clock Relations in Polychronous Systems.

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

 45-56

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

Eyad Alkassar, Peter Böhm, Steffen Knapp

 57-67

Design Methods and Modelling

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 Gérard, Ansgar Radermacher, Jean-Luc Dekeyser

 69-78

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

Simon Tjell, João M. Fernandes

 79-88

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

Augustin Kebemou, Ina Schieferdecker

 89-100

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

Ricardo Miotto Redin, Marcio F. da S. Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro

 101-110

Resource Managment

Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors.

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

 111-120

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

Geovani Ricardo Wiedenhoft, Antônio Augusto Fröhlich

 121-130

A Power Model for Register-Sharing Structures.

Balaji V. Iyer, Thomas M. Conte

 131-142

Middleware and Communication

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

 143-150

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

Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente

 151-160

Distributed Operating Systems and Timing

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

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

 161-170

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

Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen

 171-180

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

Henning Zabel, Wolfgang Müller 0003

 181-190

Task and Data Partitioning

Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.

Luís Nogueira, Luís Miguel Pinho

 191-200

Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems.

Baokang Zhao, Meng Wang, Zili Shao, Jiannong Cao, Keith C. C. Chan, Jinshu Su

 201-211

Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures.

Kyoungwoo Lee, Aviral Shrivastava, Nikil Dutt, Nalini Venkatasubramanian

 213-225