IESS 09 - Final Program

Questions?      Contact the Program Chair Michael Amann (m.amann_at_zf.com)

Monday, September 14, 2009

Opening: Welcome to IESS 2009, 09:00 - 09:15
Chaired by Achim Rettberg (CvO University Oldenburg)

Invited Talk: Internet of Things - Towards Future Business Processes, 09:15 - 10:15
Zoltan Nochta (SAP Global Research)
Chaired by Achim Rettberg (CvO University Oldenburg)


Session 1: Modelling (1), 10:30 - 12:00
Chaired by Rainer Doemer (University of California at Irvine)

   1. State Machine Based Method For Consolidating Vehicle Data,
      Florian Dittmann, Konstantina Geramani, Victor Fäßler, Sergio Damiani
   2. Automatic HW/SW Interface Modeling for Scratch-pad & Memory Mapped HW Components in Native Source-code Co-simulation,
      Hector Posadas, Eugenio Villar
   3. Modelling of Device Driver Software by Reflection of the Device Hardware Structure,
      Thomas Lehmann

Session 2: Modelling (2), 13:30 - 15:00
Chaired by Andreas Gerstlauer (University of Texas at Austin)

   1. An Infrastructure for UML-based Code Generation Tools,
      Marco A. Wehrmeister, Edison P. Freitas, Carlos E. Pereira
   2. A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance,
      Ines Viskic, Rainer Doemer
   3. ConcurrenC: A New Approach towards Effective Abstraction of C-based SLDLs,
      Weiwei Chen, Rainer Doemer

Tutorial 1: Efficient Modeling of Embedded Systems using Computer-Aided Recoding, 15:00 - 16:00
Rainer Dömer (Universtity of California at Irvine)
Chaired by Achim Rettberg (CvO University Oldenburg)

Session 3: Transaction Level Modelling, 16:30 - 18:00
Chaired by Eugenio Villar (Universidad de Cantabria)

   1. Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support,
      Yonghyun Hwang, Gunar Schirner, Samar Abdi
   2. Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices,
      Andreas Gerstlauer, Amal Banerjee
   3. Modeling Cache Effect at Transaction Level,
      Ardavan Pedram, David Craven, Andreas Gerstlauer


Tuesday, September 15, 2009

Session 4: Scheduling and Real-Time Systems, 08:30 - 10:15
Chaired by Thomas Lehmann (HAW Hamburg)

   1. An Event Stream Calculus for the Schedulability Analysis of Distributed Embedded Systems,
      Karsten Albers, Frank Slomka
   2. Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms,
      Mohammad Reza Miryani, Mahmoud Naghibzadeh
   3. Task-Dependent Processor Shutdown for Hard Real-Time Systems,
      Henrik Lipskoch, Frank Slomka
   4. 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

Session 5: Simulation, Verification and Test, 10:30 - 12:00
Chaired by Mauro
C. Zanella (ZF Friedrichshafen AG)

   1. Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling,
      Rauf Salimi Khaligh, Martin Radetzki
   2. Formal Verification for Embedded Systems Design based on MDE,
      Francisco Assis Moreira do Nascimento, Márcio Ferreira da Silva Oliveira, Flávio Rech Wagner
   3. Systematic Model-in-the-Loop Test of Embedded Control Systems,
      Alexander Krupp, Wolfgang Mueller

Invited Talk: Embedding Functional Safety - by Hardware or Software?, 13:00  14:00
Markus Baumeister (Freescale)
Abstract:In Automotive and other areas embedded systems no longer only have to work, they have to work safely. Basic hardware and software measures to achieve this safety are known in principle for decades. Yet, when applying them to real systems two aspects need attention: Additional failure possibilities around the basic concept must be analysed and documented to achieve sufficient safety. And in turn the detection measures for such failures need decisions whether to implement them in hardware or software. The talk explains the first point experience of several ECC applications in safety-related systems. It expands on the question of hardware versus software implementation of safety using examples from further application areas.
Chaired by Michael Amann (ZF Friedrichshafen AG)

Tutorial 2: New Challenges for Designers of Fault Tolerant ES based on Future Technologies, 14:00 - 15:00
Luigi Carro, Carlos Arthur Lang Lisboa (Universidade Federal do Rio Grande do Sul)
Chaired by Franz Rammig (University of Paderborn)

Session 6: Platforms and Processors, 15:15 - 16:45
Chaired by Luigi Carro (Universidade Federal do Rio Grande do Sul)

   1. Proteus, a hybrid Virtualization Platform for Embedded Systems,
      Daniel Baldin, Timo Kerstan
   2. Constructing a Multi-OS Platform with Minimal Engineering Cost,
      Yuki Kinebuchi, Kazuo Makijima, Takushi Morita, Midori Sugaya, Tatsuo Nakajima
   3. A Synchronization Method for Register Traces of Pipelined Processors,
      Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert

Social Event, 17:00 - 23:00


Wednesday, September 16, 2009

Session 7: Automotive Systems, 09:00 - 10:30
Chaired by Michael Amann (ZF Friedrichshafen AG)

   1. Development of Automotive Communication based Real-Time Systems - a Steer-by-Wire Case Study,
      Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller
   2. Automatic Transformation of System Models in Automotive Electronics,
      Ralph Görgen, Jan-Hendrik Oetjens, Jan Freuer, Wolfgang Nebel
   3. Towards a Load Balancing Middleware for Automotive Infotainment Systems,
      Yara Khaluf, Achim Rettberg

Tutorial 3: Safety and Embedded Systems, 11:00  12:00
Michael Amann (ZF Friedrichshafen AG)
Chaired by Mauro C. Zanella (ZF Friedrichshafen AG)

Session 8: Case Studies, 13:30 - 15:00
Chaired by Carlos E. Pereira (
Universidade Federal do Rio Grande do Sul)

   1. Towards an Irritable Bowel Syndrome Control System based on Artificial Neural Networks,
      Ina Podolski, Achim Rettberg
   2. A Hybrid Hardware and Software Component Architecture for Embedded System Design,
      Hugo Marcondes, Antônio Augusto Fröhlich
   3. Low-Level Space Optimization of an AES Implementation for a Bit-Serial Fully Pipelined Architecture,
      Raphael Weber, Achim Rettberg

Session 9: Wireless Sensor Networks, 15:30 - 17:00
Chaired by Michael Keckeisen (ZF Friedrichshafen AG)

   1. The Case for Interpreted Languages in Wireless Sensor Networks,
      Leonardo Steinfeld, Luigi Carro
   2. Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard,
      Jeferson Souza, José Rufino
   3. FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks,
      Rodrigo Schmidt Allgayer, Marcelo Götz, Carlos Eduardo Pereira

Closing, 17:00 - 17:15
Chaired by Achim Rettberg (CvO University Oldenburg)

Copyright: webmaster@iess.org. Last update: 12. September 2009