| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Wednesday, July 4 |
|
|
Thursday, July 5 |
|
|
Friday, July 6 |
|
|
9:00- 9:30 |
Opening |
|
9:00- 10:00 |
|
9:00- 10:30 |
WIP Work-in-Progress
Session |
||
|
9:30-10:30 |
|
10:00-10:30 |
Coffee Break |
|
10:30-11:00 |
Coffee Break |
||
|
10:30-11:00 |
Coffee Break |
|
10:30- 12:35 |
SS02 Behavioural
Models for Embedded Systems |
SS01 Automotive Embedded Systems |
|
11:00-12:35 |
|
|
11:00-12:40 |
RS01 Real-time Scheduling |
|
12:35-14:30 |
Lunch |
|
12:35-14:30 |
Lunch |
|
|
12:40-14:30 |
Lunch |
|
14:30-16:35 |
SIP Industry Practice |
RS04 Embedded System Design |
|
14:30-15:45 |
RS07 Industrial Networks |
|
14:30-16:10 |
RS02 Real-time
and Low-power Protocols |
|
16:35-17:00 |
Coffee Break |
|
15:45-16:15 |
Coffee Break |
|
|
16:10-16:40 |
Coffee Break |
|
17:00-17:50 |
RS05 Hardware/software
co-design |
RS06 Robotics |
|
16:15-17:30 |
RS08 Computing Configuration |
|
16:40- |
RS03 Dependable Embedded Systems |
|
|
Conference Dinner |
|
17:30-17:50 |
Closing Session |
|
|
|
Welcome Reception |
|
|
|
|
|
|
|
|
|
Invited Speaker |
|
Title: |
When less means more; and more, the-same? |
|
Speaker: |
Ian Phillips, ARM Ltd, Cambridge, UK |
|
Schedule: |
Wednesday, 9:30-10:30 |
|
Chair: |
Luis Gomes, Univ. Nova Lisboa, Portugal |
|
|
|
|
|
Invited Speaker |
|
Title: |
Innovations
and Current Trends in Embedded Systems Development |
|
Speaker: |
Richard Zurawski, ISA-GROUP, USA |
|
Schedule: |
Thursday, 9:00-10:00 |
|
Chair: |
Eric Dekneuvel, I3S/UNSA, France |
|
|
|
|
|
|
|
Title: |
Innovations
and Current Trends in Embedded Systems Development |
|
Panelists: |
Françoise Simonot-Lion, Univ. |
|
|
Charles Andre, Univ. Nice, France |
|
|
Andrea Andenna, ABB Corporate |
|
|
João Goes,
Univ. Nova de Lisboa & UNINOVA, Portugal |
|
|
José
Sousa, Coreworks & INESC, Portugal |
|
|
|
|
|
Special Session on Automotive Embedded Systems |
|
Session |
Manuscript
Title |
|
SS01 |
Refactoring an Automotive Embedded Software
Stack using the Component-Based Paradigm |
|
|
Thomas M. Galla, Dietmar Schreiner, Wolfgang
Forster, Christof Kutschera, Karl M.
Göschka, Martin Horauer |
|
SS01 |
Applying Model Checking to an Automotive
Microcontroller Application |
|
|
Bastian Schlich, Falk Salewski, Stefan Kowalewski |
|
SS01 |
Coexistence of Time-Triggered and Event-Triggered
Traffic in Switched Full-Duplex Ethernet Networks |
|
|
Joachim Hillebrand, Mehrnoush Rahmani, Richard
Bogenberger, Eckehard Steinbach |
|
SS01 |
Adequacy between AUTOSAR OS specification and
real-time scheduling theory |
|
|
Pierre-Emmanuel Hladik, Anne-Marie
Déplanche, Sébastien Faucou, Yvon Trinquet |
|
SS01 |
A multiform time approach to real-time system
modelling |
|
|
C. André, F. Mallet, M-A. Peraldi-Frati |
|
|
|
|
|
|
|
|
|
|
|
Special Session on Behavioural Models for Embedded
systems |
|
Session |
Manuscript Title |
|
SS02 |
Distinguishing Environment and System in
Coloured Petri Net Models of Reactive Systems |
|
|
Simon
Tjell |
|
SS02 |
A Formal Description Technique for Interactive
Cockpit Applications Compliant with ARINC Specification 661 |
|
|
Eric
Barboni, David Navarre, Philippe Palanque, Sandra Basnyat |
|
SS02 |
Protocol Modelling Semantics for Embedded
Systems |
|
|
Ashley McNeile,
Ella Roubtsova |
|
SS02 |
Translating Synchronous Petri Nets into
PROMELA for Verifying Behavioural Properties |
|
|
Óscar R.
Ribeiro, João M. Fernandes |
|
SS02 |
|
|
|
Sara Bocchio,
Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
|
|
|
|
|
|
|
|
|
|
|
Industry
practice |
|
Session |
Manuscript
Title |
|
SIP |
Experience with integration and certification
of COTS based embedded system into advanced avionics system |
|
|
Martin
Švéda, Vladimír Opluštil |
|
SIP |
Testing of a 32-bit high Performance Embedded
Microprocessor |
|
|
Wang Jing, Zhang Shengbing, Zhang Meng |
|
SIP |
Minimizing Latency and Data Memory Requirement
for Real-time Chain-Structured Synchronous Dataflow |
|
|
HuiXue Zhao, Laurent George, Serge Midonnet, Stéphan
Tassart, Ivan Bourmeyster |
|
SIP |
Feature Interaction Control on Smartphones |
|
|
Gerard
Bosch i Creus, Antti-Pekka Tuovinen |
|
SIP |
PC-Based Automation of a Multi-Mode Control for
an Irrigation System |
|
|
Azzouz
Benzekri, Kamal Meghriche, Larbi Refoufi |
|
|
|
|
|
|
|
|
|
|
|
Real-time
scheduling |
|
Session |
Manuscript
Title |
|
RS01 |
Process
Oriented Power Management |
|
|
Daisuke
Miyakawa, Yutaka Ishikawa |
|
RS01 |
Synchronization for an optimal real-time
scheduling algorithm on multiprocessors |
|
|
Hyeonjoong
Cho, Binoy Ravindran, E. Douglas Jensen |
|
RS01 |
Augmenting sensitivity analysis for embedded
applications by program level derivation of process parameters |
|
|
Dieter
Zöbel, Christian Weyand |
|
RS01 |
Improving the Worst-Case Execution Time
Accuracy by Inter-Task Instruction Cache Analysis |
|
|
Fadia
Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada |
|
|
|
|
|
|
|
|
|
|
|
Real-time and low-power protocols |
|
Session |
Manuscript
Title |
|
RS02 |
Real-time characteristics of Switched Ethernet
for ”1553B”-Embedded Applications: Simulation and Analysis |
|
|
Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul |
|
RS02 |
Protocols for Active RFID - The Energy
Consumption Aspect |
|
|
Björn Nilsson, Lars Bengtsson, Per-Arne Wiberg,
Bertil Svensson |
|
RS02 |
A Real-Time Interface for Agent-Based Control |
|
|
Omar J.
López Orozco, Jose L. Martinez Lastra |
|
RS02 |
Optimized Resource Dimensioning in an embedded
CAN-CAN Gateway |
|
|
Jörg
Sommer, Rainer Blind |
|
|
|
|
|
|
|
|
|
|
|
Dependable Embedded Systems |
|
Session |
Manuscript
Title |
|
RS03 |
A Formal Framework for the Correct-by-construction
and Verification of Distributed Time Triggered Systems |
|
|
Ramesh Sethu, P Vignesh Ganesan, Gurulingesh Raravi |
|
RS03 |
Optimization of Memory-Constrained Hybrid BIST
for Testing Core-Based Systems |
|
|
Gert Jervan, Helena Kruus, Elmet Orasson, Raimund
Ubar |
|
RS03 |
The Effect of Hardware Platform Selection on
Safety-Critical Software in Embedded Systems: Empirical Evaluations |
|
|
Falk
Salewski, Stefan Kowalewski |
|
|
|
|
|
|
|
|
|
|
|
Embedded
System Design |
|
Session |
Manuscript
Title |
|
RS04 |
Energy and Performance Trade-offs between
Instruction Reuse and Trivial Computations for Embedded Applications |
|
|
Md. Mafijul Islam, Per Stenström |
|
RS04 |
Performance and Memory Profiling for Embedded
System Design |
|
|
Heiko Hübert, Benno Stabernack, Kai-Immo |
|
RS04 |
A Timed Multitasking Architecture for
Distributed Embedded Systems |
|
|
Christo
Angelov, Jesper Berthing |
|
RS04 |
Shared Data Analysis for Multi-Tasking
Real-Time Systems Testing |
|
|
Anders Pettersson, Daniel Sundmark, Henrik Thane,
Dag Nyström |
|
RS04 |
An Open Framework for Detailed Hardware
Modeling |
|
|
Safouan
Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser |
|
|
|
|
|
|
|
|
|
|
|
Hardware/software
co-design |
|
Session |
Manuscript
Title |
|
RS05 |
Design Space Exploration with Evolutionary
Multi-Objective Optimisation |
|
|
Martin Holzer, Bastian Knerr, Markus Rupp |
|
RS05 |
Novel Genome Coding of Genetic Algorithms for
the System Partitioning Problem |
|
|
Bastian Knerr, Martin Holzer, Markus Rupp |
|
|
|
|
|
|
|
|
|
|
|
Robotics |
|
Session |
Manuscript
Title |
|
RS06 |
Image-based Control of an Autonomous Robot
with Omnidirectional Vision |
|
|
Zi-Yuan Chen, Yu-Cheng Chen,Yin-Tien Wang |
|
RS06 |
An FPGA implementation for a Kalman Filter
with Application to Mobile Robotics |
|
|
Vanderlei
Bonato, Rafael Peron, Denis F. Wolf, Jose A. M. de Holanda, Eduardo Marques,
João M. P. Cardoso |
|
|
|
|
|
|
|
|
|
|
|
Industrial
networks |
|
Session |
Manuscript
Title |
|
RS07 |
Deadline-Aware Scheduling Policies for
Bluetooth Networks in Industrial Communications |
|
|
Mario Collotta, Lucia Lo Bello, Orazio
Mirabella |
|
RS07 |
Analysis of the IEEE 802.15.4 Standard for a
Wireless Closed |
|
|
Fredrik Linnarsson, Peng Cheng, Bengt Oelmann |
|
RS07 |
Modification of Field Bus Telegrams for Hybrid
Commissioning - Merge-Tool for PROFIBUS |
|
|
Sven Dominka, Frank Schiller, Sebastian Kain, Eduard
Bröcker |
|
|
|
|
|
|
|
|
|
|
|
Computing
Configuration |
|
Session |
Manuscript
Title |
|
RS08 |
Mapping a Pipelined Data Path onto a
Network-on-Chip |
|
|
Stephan Kubisch, Claas Cornelius, Ronald Hecht, Dirk
Timmermann |
|
RS08 |
A System-on-Chip Implementation for Modular
Exponentiation Using the Sliding-Window Method with Variable-Length
Partitioning |
|
|
Nadia
Nedjah, Luiza de Macedo Mourelle |
|
RS08 |
A Dynamically Partial-reconfigurable
FPGA-based Architecture for Data Processing on Space Solar Telescope |
|
|
Zhuo Ruan, Yuzhang Han, Hongbo Cai, Shengzhen Jin,
Jianguo Han |
|
|
|
|
|
|
|
|
|
|
|
Work-in-Progress
Session |
|
Session |
Manuscript
Title |
|
WIP |
Module Composition within Petri Nets
Model-based Development |
|
|
Anikó
Costa, Luís Gomes |
|
WIP |
Comparison between RT scheduling techniques
for Bluetooth Networks in DPCSs |
|
|
Mario Collotta, Orazio Mirabella, Lucia Lo
Bello |
|
WIP |
Faster floating-point square root for integer
processors |
|
|
Claude-Pierre Jeannerod, Hervé Knochel, Christophe
Monat, Guillaume Revy |
|
WIP |
High Level Modeling of a Bluetooth over Ultra
Wide Band Device |
|
|
Alexandre
Lewicki, Eric Dekneuvel, Javier Del Prado Pavon, Jacky Talayssat, Gilles
Jacquemod |
|
WIP |
B-Live – A Home Automation System for Disabled
and Elderly People |
|
|
Vasco
Santos, Paulo Bartolomeu, José Fonseca, Alexandre Mota |
|
WIP |
Design of a FFT/IFFT module as an IP core
suitable for embedded systems |
|
|
J. Viejo, A. Millan, M. J. Bellido, J. Juan,
P. Ruiz-de-Clavijo, D. Guerrero, E. Ostua, A. Muñoz |
|
WIP |
Architecture and Implementation of an Embedded
Wormhole |
|
|
Hugo
Ortiz, António Casimiro, Paulo Veríssimo |
|
WIP |
On Adapting Power Estimation Models for
Embedded Soft-core Processors |
|
|
José A. de
Holanda, Jecel Assumpção Jr., Denis F. Wolf, Eduardo Marques, João M. P.
Cardoso |
|
WIP |
A Test Tool for FlexRay-based Embedded Systems |
|
|
Martin Horauer,
Oliver Praprotnik, Martin Zauner, Roland Höller, Paul Milbredt |
|
WIP |
The impact of time-triggered communication in
automotive embedded systems |
|
|
Julian
Broy, Klaus D. Müller-Glaser |
|
WIP |
Implementation of Discrete Wavelet Transform for
Embedded Applications using TMS320VC5510 |
|
|
Abhisek
Ukil, Adrian Bärlocher |
|
WIP |
A driver model based on Linux for TinyOS |
|
|
Soledad
Escolar, Jesús Carretero, Florin Isaila, Félix García |
|
WIP |
Towards a Hardware Accelerated Obstacle Avoidance
System for Mobile Robots using Monocular Vision |
|
|
Jecel
Assumpção Jr., Denis Wolf, Eduardo Marques |
|
WIP |
Single Chip Control of a Three Level Converter
for High Voltage Unity Power Factor Applications |
|
|
V. Bostan,
C. Ilas, R. Magureanu |
|
WIP |
Logic synthesis of reconfigurable controllers |
|
|
Marian
Adamski |
|
|
|
|
|
|
|
|
|
|
|
|
|
Title: |
Innovations
and Current Trends in Embedded Systems Development |
|
Panelists: |
Françoise Simonot-Lion, Univ. |
|
|
Charles Andre, Univ. Nice, France |
|
|
Andrea Andenna, ABB Corporate |
|
|
João Goes,
Univ. Nova de Lisboa & UNINOVA, Portugal |
|
|
José
Sousa, Coreworks & INESC, Portugal |