8th IEEE International Symposium on
Industrial Embedded Systems

Porto, Portugal
June 19-21, 2013

Advance Program

Program Overview

Download Conference Brochure (3MB file).

Day 1, Wednesday, 19th

Photos: Conference, Reception

08:30 Opening Remarks
08:45 Keynote - Rolf Ernst
10:00 Coffee Break
10:30 Session 1 - Optimization
12:00 Lunch
13:30 Session 2 - Multicore
15:30 Coffee Break
16:00 WiP Session
17:30 Cocktail and WiP Poster Session
19:00 end of session
19:30 Reception

Day 2, Thursday, 20th

Photos: Conference, Cellars, Dinner

09:00 Keynote - Michael Paulitsch
10:00 Coffee Break
10:30 Session 3 - Requirements
12:00 Lunch
13:30 Session 4 - Scheduling
15:30 Coffee Break
16:00 Session 5 - Test, Error and Complexity
17:30 Break
18:30 Cellars Tour and Conference Dinner

Day 3, Friday, 21st

Photos: Conference

09:00 Keynote - Chenyang Lu
10:00 Coffee Break
10:30 Session 6 - WSN platforms
12:00 Lunch
13:30 Session 7 - Timing Analysis
15:00 Coffee Break
15:30 Session 8 - Networks and Communication
17:00 Closing



Session 1 - Optimization

Chair: Luca Santinelli

An Energy-Aware Algorithm Exploiting Limited Preemptive Scheduling under Fixed Priorities
Mario Bambagini, Marko Bertogna, Mauro Marinoni and Giorgio Buttazzo

Temperature-aware DVFS-DPM For Real-Time Applications under variable ambient temperature
Khaled Baati and Michel Auguin

Prioritization for Real-Time Embedded Systems on Dual-Core Platforms by Exploiting the Typical- and Worst-Case Execution Times
Matthias Freier and Jian-Jia Chen

Session 2 - Multicore

Chair: Luis Miguel Pinho

Deconstructing Bus Access Control Policies for Real-Time Multicores
Javier Jalle, Jaume Abella, Eduardo Quiñones, Luca Fossati, Marco Zulianello and Francisco Cazorla

Identifying the Sources of Unpredictability in COTS-based Multicore systems
Dakshina Dasari, Benny Akesson, Vincent Nelis, Muhammad Ali Awan and Stefan Petters

Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks
Alexander Wieder and Björn Brandenburg

Multi-ASIP Platform Synthesis for Real-Time Applications
Laura Micconi, Deepak Gangadharan, Paul Pop and Jan Madsen

Session 3 - Requirements

Chair: Thomas Nolte 

Formalization and completeness of evolving requirements using Contracts
Leonardo Mangeruca, Orlando Ferrante and Alberto Ferrari

Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems
Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin and Purandar Bhaduri

Engineering Functional Requirements of Reactive Systems using Synchronous Languages
Erwan Jahier, Nicolas Halbwachs and Pascal Raymond

Session 4 - Scheduling

Chair: Karl-Erik Arzen

Virtual scheduling for compositional real-time guarantees
Martijn M.H.P. Van Den Heuvel, Reinder Bril and Johan Lukkien  

Mixed-criticality scheduling upon unmonitored unreliable processors
Zhishan Guo and Sanjoy Baruah

Multitask Implementation of Synchronous Reactive Models with Earliest Deadline First Scheduling
Zaid Al-Bayati, Haibo Zeng, Marco Di Natale and Zonghua Gu

Schedulability Analysis of On-board Satellite Software Based on Model-Driven and Compositionality Techniques
Javier Fernandez, Pablo Parra, Ignacio Garcia, Sebastian Sanchez and Oscar R. Polo

Session 5 - Test, Error and Complexity

Chair: Stefan Petters

A Complexity Metric for Concurrent Finite State Machine Based Embedded Software
Liangpeng Guo, Alessandro Pinto and Alberto Sangiovanni Vincentelli

Test Profiling for Usage Models by Deriving Metrics from Component-Dependency-Models
Philipp Luchscheider and Sebastian Siegl

Error Recovery in Time-Triggered Communication Systems Using Servers
Luis Marques, Verónica Vasconcelos, Paulo Pedreiras and Luis Almeida

Session 6 - WSN platforms 

Chair: Luis Almeida

An Open Framework to Deploy Heterogeneous Wireless Testbeds for Cyber-Physical Systems
Marcin Szczodrak, Yong Yang, Dave Cavalcanti and Luca Carloni

Design of a tailor-made Memory Protection Unit for low power Microcontrollers
Oliver Stecklina, Peter Langendörfer and Hannes Menzel

A wireless computational platform for distributed computing based traffic monitoring involving mixed Eulerian-Lagrangian sensing
Jiming Jiang and Christian Claudel 

Session 7 - Timing Analysis

Chair: Jean-Luc Scharbarg

Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study
Franck Wartel, Leonidas Kosmidis, Code Lo, Benoit Triquet, Eduardo Quiñones, Jaume Abella, Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti, Liliana Cucu, Tullio Vardanega and Francisco Cazorla

An EVT-based Worst-Case Response Time Analysis of Complex Real-Time Systems
Meng Liu, Moris Behnam and Thomas Nolte

Hardware architecture specification and constraint based wcet computation
Hajer Herbegue, Hugues Cassé, Mamoun Filali and Christine Rochange

Session 8 - Networks and Communication

Chair: Richard Zurawski

SOAcom: Designing Service communication in adaptive automotive networks
Alberto Ballesteros, Marco Wagner and Dieter Zöbel

Performance Analysis of Master-Slave Multi-Hop Switched Ethernet Networks
Mohammad Ashjaei, Moris Behnam, Thomas Nolte and Luis Almeida

On the Control of Lossy Networks with Hold Strategy
Milton Cunguara, Tomás António Oliveira e Silva and Paulo Pedreiras