Technical program

July 7
9:15 - 10:15 Keynote address
  Connections, connections and connections. The problems of the embedded systems of the future
Prof. Alberto L. Sangiovanni-Vincentelli (University of Trento - UC Berkeley)
10:30 - 12:30 System Level (Chair: Franco Fummi)
  Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling
Sandro Penolazzi, Ingo Sander, Ahmed Hemani
Optimizing Hierarchical Schedules for Improved Control Performance
Harald Voit, Reinhard Schneider, Dip Goswami, Anuradha Annaswamy, Samarjit Chakraborty
A Comparison of Linux CAN Drivers and their Applications
Michal Sojka, Pavel Pisa, Martin Petera, Ondrej Spinka, Zdenek Hanzalek
Verification of a CAN bus model in SystemC with functional coverage
Christoph Kuznik, Gilles B. Defo, Wolfgang Müller
14:00 - 15:30 Industrial Designs (Work-in-Progress, poster session, Chair: Christoph Kuznik)
  Improving the tests coverage of a medium voltage protection device using system simulation approaches
Khaled Rahmouni, Frédéric Pétrot
Multi-Server Web Industrial Facility Monitoring by Only COTS Browser's Existing Functionality
Chuzo Ninagawa, Tomotaka Sato, Tomohisa Yamada
Development of an Embedded System for Visual Servoing in an Industrial Scenario
Maria Isabel de la Fuente, Javier Echanobe, Inés del Campo, Loreto Susperregui, Iñaki Maurtua
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous
15:30 - 17:00 Networks (Chair: Ece G. Schmidt)
  Compressive sensing optimization over ZigBee networks
Carlo Caione, Davide Brunelli, Luca Benini
An innovative frequency hopping management mechanism for Bluetooth-based industrial networks
Orazio Mirabella, Lucia Lo Bello, Mario Collotta
Design of a Reconfigurable Pipelined Switch for Faulty On-Chip Networks
Hsin-Chou Chi, Tat-Seng Chang, Chia-Ming Wu
17:30 - 20:00 Welcome reception, Castello del Buonconsiglio
July 8
9:00 - 10:00 Keynote address
  Energy management in Wireless Sensor Networks: applications, issues and opportunities
Prof. Kameshwar Poolla (University of California, Berkeley)
10:30 - 12:30 Industrial Designs (Chair: Tiberiu Seceleanu)
  Scratch Detector - A FPGA Based System for Scratch Detection in Industrial Picture Development
Luca Bochi Saldanha, Robert Hartmann, Christophe Bobda
Implementation of a bumpless switch in axial magnetic bearings
Alexander Smirnov, Kimmo Tolsa, Rafal Jastrzebski
A semi-active suspension embedded controller in a FPGA
Koldo Basterretxea, Inés del Campo, Javier Echanove
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
Kay Klobedanz, Gilles B. Defo, Wolfgang Mueller, Timo Kerstan
14:00 - 15:30 Networks (Work-in-Progress, poster session, Chair: Elisabeth Uhlemann)
  Redundant and synchronized EtherCAT network
Gunnar Prytz, Jonny Skaalvik
A Longest-Path Problem for Evaluating the Worst-Case Packet Delay of Switched Ethernet
Klaus Schmidt, Ece G. Schmidt
Performance Evaluation of FlexRay/CAN Networks Interconnected by a Gateway
Ece G. Schmidt, Melih Alkan, Klaus Schmidt, Emrah Yuruklu, Utku Karakaya
A Protocol Performance Comparison in Modular WSNs for Data Center Server Monitoring
Swaytha Sasidharan, Fernando Pianegiani, David Macii
15:30 - 17:30 Simulation and Methodology (Chair: Roberto Passerone)
  HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications
Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto Sangiovanni-Vincentelli
VHDL Observers for Clock Constraint Checking
Charles André, Frédéric Mallet, Julien DeAntoni
Automated Conflict-free distributed implementation of component-based models
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
A system for synthesizing abstraction-enabled simulators for binary code verification
Dominique Gückel, Jörg Brauer, Stefan Kowalewski
18:00 - 22:00 Social Dinner, Maso Toresella
July 9
9:00 - 10:30 Real-Time (Chair: Charles André)
  Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays
Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel
An Exception Based Approach to Timing Constraints Violations in Real-Time and Multimedia Applications
Tommaso Cucinotta, Dario Faggioli
Enhancing Reliability in IEEE 802.11 Based Real-Time Networks through Transport Layer Retransmissions
Kristina Kunert, Elisabeth Uhlemann, Magnus Jonsson
11:00 - 12:30 Wireless Networks (Chair: Mohammad Mostafizur Rahman Mozumdar)
  An Energy-Aware Algorithm for TDMA MAC Protocols in Real-Time Wireless Networks
Gianluca Franchino, Giorgio Buttazzo, Mauro Marinoni
An Energy Saving Criterion for Wireless Sensor Networks with Time Synchronization Requirements
David Macii, Anton Ageev, Luca Abeni
A Component-Based Architecture for Adaptive Bandwidth Allocation in Wireless Sensor Networks
Luca Santinelli, Mangesh Chitnis, Christian Nastasi, Fabio Checconi, Giuseppe Lipari, Paolo Pagano
14:00 - 16:00 Methodology (Work-in-Progress, poster session, Chair: Roberto Passerone)

Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis
Design and Implementation of a WirelessHART Simulator for Process Control
Kunjesh Shah, Tiberiu Seceleanu, Mikael Gidlund
L2 Cache Modeling based on address modification for Native Co-Simulation in SystemC
Sara Real, Hector Posadas, Eugenio Villar
A Design Flow for Critical Embedded Systems
Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence  Pierre, Emmanuel Vaumorin
Design and implementation of a suitable core for on-chip long-term verification
Julian Viejo, Jose Ignacio Villar, Jorge Juan, Alejandro Millan, Manuel Jesus Bellido, Enrique Ostua