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



Contents

Modelling

State Machine Based Method for Consolidating Vehicle Data.

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

 1-11

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

Hector Posadas, Eugenio Villar

 12-23

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

Thomas Lehmann

 24-31

An Infrastructure for UML-Based Code Generation Tools.

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

 32-43

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

Ines Viskic, Rainer Dömer

 44-56

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

Weiwei Chen, Rainer Dömer

 57-65

Transaction Level Modelling

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

Yonghyun Hwang, Gunar Schirner, Samar Abdi

 66-76

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

Amal Banerjee, Andreas Gerstlauer

 77-88

Modeling Cache Effects at the Transaction Level.

Ardavan Pedram, David Craven, Andreas Gerstlauer

 89-101

Scheduling and Real-Time Systems

Event Stream Calculus for Schedulability Analysis.

Karsten Albers, Frank Slomka

 102-114

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

Mohammad Reza Miryani, Mahmoud Naghibzadeh

 115-126

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

Henrik Lipskoch, Frank Slomka

 127-138

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

 139-148

Simulation, Verification and Test

Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling.

Rauf Salimi Khaligh, Martin Radetzki

 149-158

Formal Verification for Embedded Systems Design Based on MDE.

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

 159-170

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

Alexander Krupp, Wolfgang Müller 0003

 171-184

Platforms and Processors

Proteus, a Hybrid Virtualization Platform for Embedded Systems.

Daniel Baldin, Timo Kerstan

 185-194

Constructing a Multi-OS Platform with Minimal Engineering Cost.

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

 195-206

A Synchronization Method for Register Traces of Pipelined Processors.

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

 207-217

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

 218-225

Automatic Transformation of System Models in Automotive Electronics.

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

 226-237

Towards a Load Balancing Middleware for Automotive Infotainment Systems.

Yara Khaluf, Achim Rettberg

 238-249

Case Studies

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

Ina Podolski, Achim Rettberg

 250-258

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

Hugo Marcondes, Antônio Augusto Fröhlich

 259-270

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

Raphael Weber, Achim Rettberg

 271-278

Wireless Sensor Networks

The Case for Interpreted Languages in Sensor Networks.

Leonardo Steinfeld, Luigi Carro

 279-289

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

Jeferson L. R. Souza, José Rufino

 290-301

FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks.

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

 302-309

Tutorials

Efficient Modeling of Embedded Systems Using Computer-Aided Recoding.

Rainer Dömer

 310-311

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

Luigi Carro, Carlos Arthur Lang Lisbôa

 312-313