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


Applications and Case Studies

Hierarchically Distributing Embedded Systems for Improved Autonomy.

Claudius Stern, Philipp Adelt, Willi Richert, Bernd Kleinjohann


Sorting Units for FPGA-Based Embedded Systems.

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


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

Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian


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


Analysis of Periodic Clock Relations in Polychronous Systems.

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


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

Eyad Alkassar, Peter Böhm, Steffen Knapp


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


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

Simon Tjell, João M. Fernandes


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

Augustin Kebemou, Ina Schieferdecker


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


Resource Managment

Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors.

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


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

Geovani Ricardo Wiedenhoft, Antônio Augusto Fröhlich


A Power Model for Register-Sharing Structures.

Balaji V. Iyer, Thomas M. Conte


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


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


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


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

Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen


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

Henning Zabel, Wolfgang Müller 0003


Task and Data Partitioning

Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.

Luís Nogueira, Luís Miguel Pinho


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


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

Kyoungwoo Lee, Aviral Shrivastava, Nikil Dutt, Nalini Venkatasubramanian