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 |