IFIP TC6 Open Digital Library

DIPES 2006: Braga, Portugal

From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal

Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan

Springer, IFIP 225, ISBN: 978-0-387-39361-2



Contents

Challenges in the Design of Distributed Embedded Systems

Design Challenges in Multiprocessor Systems-on-Chip.

Wayne Wolf

 1-8

Some Issues in Model-Based Development for Embedded Control Systems.

Paul Caspi

 9-13

Model-Driven Development

MDE Benefits for Distributed, Real Time and Embedded Systems.

François Terrier, Sébastien Gérard

 15-24

Reifying the Semantic Domains of Component Contracts.

Jean-Marc Jézéquel

 25-34

Model-Based Conformance Testing and Requirement Adaptation

Model-Based Test Selection for Infinite State Reactive Systems.

Thierry Jéron

 35-44

Continuous Engineering of Embedded systems.

Bernhard Steffen, Tiziana Margaria

 45-54

Applications and Code Realization

Prototyping an Ambient Light System - A Case Study.

Henning Zabel, Achim Rettberg

 55-64

The Paderkicker Team: Autonomy in Realtime Environments.

Willi Richert, Bernd Kleinjohann, Markus Koch, Alexander Bruder, Stefan Rose, Philipp Adelt

 65-74

Modular Compilation of Synchronous Programs.

Klaus Schneider, Jens Brandt, Eric Vecchié

 75-84

Timing Analysis

Trends in Timing Analysis.

Björn Lisper

 85-94

Traffic Scheduling Anomalies in Temporal Partitions.

Luís Almeida, Paulo Pedreiras, Ricardo Marau

 95-104

Towards Timing Predictability

Pulsed Data Streams.

Hermann Kopetz

 105-114

From Time-Triggered to Time-Deterministic Real-Time Systems.

Peter P. Puschner, Raimund Kirner

 115-124

Scheduling and Timed Multitasking

Lazy Scheduling for Energy Harvesting Sensor Nodes.

Clemens Moser, Davide Brunelli, Lothar Thiele, Luca Benini

 125-134

Transient Processor/Bus Fault Tolerance for Embedded Systems.

Alain Girault, Hamoudi Kalla, Yves Sorel

 135-144

Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.

Christo Angelov, Jesper Berthing

 145-154

Service Configuration and Task Allocation

Iterative Refinement Approach for QOS-Aware Service Configuration.

Luís Nogueira, Luís Miguel Pinho

 155-164

A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems.

D. Doreen Hephzibah Miriam, T. Srinivasan

 165-174

Communication-Aware Component Allocation Algorithm for a Hybrid Architecture.

Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira

 175-184

Design Space Exploration and Memory Management

Multi-Objective Design Space Exploration of Embedded System Platforms.

Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan

 185-194

Dynamic Memory Management for Embedded Real-Time Systems.

Alfons Crespo, Ismael Ripoll, Miguel Masmano

 195-204

Power Management

Reliability-Aware Power Management of Multi-Core Processors.

Jan Haase, Markus Damm, Dennis Hauser, Klaus Waldschmidt

 205-214

Evaluating Energy-Aware Task Allocation Strategies for MPSOCS.

Fabio Wronski, Eduardo Wenzel Brião, Flávio Rech Wagner

 215-224

Integration of Energy Reduction into High-Level Synthesis by Partitioning.

Achim Rettberg, Franz-Josef Rammig

 225-234

Work in Progress

A Demonstration Case on the Transformation of Software Architectures for Service Specification.

João M. Fernandes, Ricardo Jorge Machado, Paula Monteiro, Helena Rodrigues

 235-244

Model-Based Analysis of a Windmill Communication System.

Simon Tjell

 245-254

Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.

Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custodio

 255-264

A Hierarchical Approach for Power Management on Mobile Embedded Systems.

Arliones Stevert Hoeller, Lucas Francisco Wanner, Antônio Augusto Fröhlich

 265-274