Advance Program

Program Overview

Download Conference Brochure (3MB file).

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