Up   Program 10.July 2008

08.00 Registration

Registration takes place at the Laborgebaeude Mikrosystemtechnik

                Laborgebäude Mikrosystemtechnik
                Seybothstr. 2
                93053 Regensburg


In urgent cases contact: +49 941 943-1264

09.15-10.30 PHD-Session Part 1

Chair: Markus Kucera
  • Using Model Checking to derive Loop bounds of general Loops within ANSI-C applications for measurement based WCET analysis
    Bernhard Rieder, Peter Puschner, Ingomar Wenzel
  • Virtual Macro Site Analysis using Wireless Sensor Networks
    Francesco Chiti, Davide Di Palma, Gianfranco Manes, Giovanni Collodi, Romano Fantacci, Antonio Manes, Luca Bencini
  • Zigbee based buoy network platform for environmental monitoring and preservation - Temperature profiling for better understanding of Mucilage massive blooming
    Arne Sieber, Michele Cocco, Juergen Markert, Mathias Wagner, Remo Bedini, Paolo Dario

10.30-10.50 Coffee- Break

10.40-11.55 PHD-Session Part 2

Chair: Pablo Sánchez
  • Design and hardware-in-the-loop test of the embedded control system of an indoor quadrotor helicopter
    Laszlo Kis, Gergely Regula, Bela Lantos
  • A Method for Synthesis of Specialized Architectures of Technical Vision Systems
    Anton Krasnobaev, Alexandr Platonov
  • Statistical Characterization of Execution Time Through Simulation
    Ahmed Abdallah, Wayne Wolf, Graham Hellestrand
  • Expanding design process of the Airbag Control Unit ACU - Connection of active and passive safety by using vehicles dynamics for rollover and side crash detection
    Paul Spannaus, Rudolf Ertlmeier

12.30-13.55 Lunch

13.55–14.05 Welcome President

14.05–15.05 Keynote Session

                Constructing Time-Critical Embedded Systems: Use Your Intelligence Before Runtime

                    Peter Puschner, Vienna University of Technology

                    Abstract
                    The hardware and software architectures of time-critical embedded
                    systems are becoming too complex. As a consequence, the timing of these
                    systems is difficult to understand and proofs about temporal correctness
                    are hard if not impossible to obtain.
                    We argue that we should not follow the current trends and make systems
                    more and more complex. Instead we should build systems that are as simple as
                    possible. In building these systems, one should take as many decisions as
                    possible before runtime, thus minimizing the number of scenarios in
                    which the timing of the computer system is situation-dependent.
                    We introduce hardware and software strategies that are smart enough to
                    eliminate branches in the control flow that cause timing variations.
                    Using these strategies makes the run-time behaviour of systems easy to
                    understand, and proofs for temporal correctness become almost trivial

Break

17.00 Boat Trip

18.30 Sightseeing Tour

20.00 Dinner

Up   Program 11.July 2008

8.15-10.20 Session Monitoring and Control

Chair: Ralph Seepold
  • Embedded System Used for One Biomedical Application
    Milan Stork
  • Fault monitoring and correction in a walking robot using LMS filters
    Martin Mladenov, Michael Mock, Karl-Erwin Großpietsch
  • Cardiac Sentinel: a smart GSM based embedded solution for continuous remote monitoring of cardiac patients
    Arne Sieber, Xu Yong, Antonio L'Abbate, Remo Bedini
  • TTIPP3 - A fault-tolerant time-triggered platooning demonstrator
    Stephan Ramberger, Wolfgang Herzner, Erwin Schoitsch, Wilfried Kubinger
  • A Traction Control System for Motocross and Supermotard
    Pascal Cardinale, Camillo D'Angelo, Massimo Conti

10.20-10.40 Coffee- Break

10.40-11.55 Session Software and System Architecture

Chair: Michael Mock
  • Integration of Domain-Specific Models into a MDA Framework for Time-Critical Embedded Systems
    Sánchez Pablo, Barreda Javier, Ocón Jorge
  • A Decision Model for Managing and Communicating Resource Restrictions in Embedded Systems Design
    Bernhard Turban, Christian Wolff, Athanassios Tsakpinis, Markus Kucera
  • Software Architecture for Vehicle Personal Area Networks
    Ralf Seepold, Natividad Martínez, Jesús Sáez, Alvaro Reina

11.55-13.30 LUNCH

13.30-14.45 Session Sensor Networks

Chair: Peter Puschner
  • Fusion of Heterogeneous Sensors Data
    Wilfried Elmenreich, Robert Leidenfrost
  • An Echo State Network Based Pedestrian Counting System Using Wireless Sensor Networks
    Emi Mathews, Axel Poigné
  • How a Cyber-Physical System can Efficiently Obtain a Snapshot of Physical Information Even in the Presence of Sensor Faults
    Bjorn Andersson, Nuno Pereira, Eduardo Tovar

14.45-15.05 Coffee Break

15.05-16.45 Session Communication & Networks

Chair: Massimo Conti
  • Establishing Wireless Time-Triggered Comunication using a Firefly Clock Synchronization Approach
    Robert Leidenfrost, Wilfried Elmenreich
  • Traffic Classification for Portable Applications with Hardware Support
    Petr Zejdl, Sven Ubik, Vladimir Macek, Arne Oslebo
  • A Novel RF Ranging Method
    Akos Ledeczi, Peter Volgyesi, Janos Sallai, Ryan Thibodeaux
  • Running UPnP under the IPv6 Protocol
    Ralf Seepold, Natividad Martínez Madrid, Julio Ángel Cano Romero, Javier Martínez Fernández

16.45 Closing Ceremony and Best Paper award