IFIP TC6 Open Digital Library

IESS 2009: Langenargen, Germany

Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

Achim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig

Springer, IFIP Advances in Information and Communication Technology 310, ISBN: 978-3-642-04283-6



State Machine Based Method for Consolidating Vehicle Data.

Florian Dittmann, Konstantina N. Geramani, Victor Fäßler, Sergio Damiani


Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation.

Hector Posadas, Eugenio Villar


Modelling of Device Driver Software by Reflection of the Device Hardware Structure.

Thomas Lehmann


An Infrastructure for UML-Based Code Generation Tools.

Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira


A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance.

Ines Viskic, Rainer Dömer


ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs.

Weiwei Chen, Rainer Dömer


Transaction Level Modelling

Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support.

Yonghyun Hwang, Gunar Schirner, Samar Abdi


Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices.

Amal Banerjee, Andreas Gerstlauer


Modeling Cache Effects at the Transaction Level.

Ardavan Pedram, David Craven, Andreas Gerstlauer


Scheduling and Real-Time Systems

Event Stream Calculus for Schedulability Analysis.

Karsten Albers, Frank Slomka


Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms.

Mohammad Reza Miryani, Mahmoud Naghibzadeh


Task-Dependent Processor Shutdown for Hard Real-Time Systems.

Henrik Lipskoch, Frank Slomka


Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects.

Juan A. Colmenares, K. H. (Kane) Kim, Doo-Hyun Kim


Simulation, Verification and Test

Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling.

Rauf Salimi Khaligh, Martin Radetzki


Formal Verification for Embedded Systems Design Based on MDE.

Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner


Systematic Model-in-the-Loop Test of Embedded Control Systems.

Alexander Krupp, Wolfgang Müller 0003


Platforms and Processors

Proteus, a Hybrid Virtualization Platform for Embedded Systems.

Daniel Baldin, Timo Kerstan


Constructing a Multi-OS Platform with Minimal Engineering Cost.

Yuki Kinebuchi, Takushi Morita, Kazuo Makijima, Midori Sugaya, Tatsuo Nakajima


A Synchronization Method for Register Traces of Pipelined Processors.

Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert


Automotive Systems

Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.

Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller 0003


Automatic Transformation of System Models in Automotive Electronics.

Ralph Görgen, Jan-Hendrik Oetjens, Jan B. Freuer, Wolfgang Nebel


Towards a Load Balancing Middleware for Automotive Infotainment Systems.

Yara Khaluf, Achim Rettberg


Case Studies

Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks.

Ina Podolski, Achim Rettberg


A Hybrid Hardware and Software Component Architecture for Embedded System Design.

Hugo Marcondes, Antônio Augusto Fröhlich


Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture.

Raphael Weber, Achim Rettberg


Wireless Sensor Networks

The Case for Interpreted Languages in Sensor Networks.

Leonardo Steinfeld, Luigi Carro


Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard.

Jeferson L. R. Souza, José Rufino


FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks.

Rodrigo Schmidt Allgayer, Marcelo Götz, Carlos Eduardo Pereira



Efficient Modeling of Embedded Systems Using Computer-Aided Recoding.

Rainer Dömer


New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies.

Luigi Carro, Carlos Arthur Lang Lisbôa