Program

Workshop date: 2018/10/04

The proceedings can be downloaded here.

9:00 AM - 10:00 AM - Keynote speaker: Marco Di Natale, Scuola Superiore Sant’Anna of Pisa, Italy, with a talk entitled Preserving Determinism when Moving to Multicores: LET and Code Generation from Models [Slides]

  • Keynote abstract: The move of embedded systems functionality from single- to multicores requires solving several design problems that include the partitioning of functionality among the cores and the need to provide for determinism and preserve causality. The Logical Execution Time paradigm has been considered and adopted by several automotive manufacturers as a possible execution paradigm to enforce causality when distributing functionality at the price of a predictable latency. The design issues and possible solutions to the problems brought by the introduction of LET are discussed. The move to multicores also requires suitable scheduling, signalling, and communication mechanisms to ensure that the code generated from (Simulink) models can preserve the execution semantics of the model regardless of the platform mapping and ensure portability. A framework for Simulink code generation that guarantees portability and retargettability is discussed.
  • Keynote speaker bio: Marco Di Natale is an IEEE Senior member and Full Professor at the Scuola Superiore Sant’Anna. He has been visiting Researcher at the University of California, Berkeley and GM Research and visiting Fellow for the United Technologies group.He's been a researcher in the area of realtime systems and embedded systems for more than 20 years, being author or co-author of more than 150, winner of six best paper awards. He has served as Program Chair and Track Chair for several conferences in the area of embedded systems, including the DATE and DAC conferences and the Real Time Applications Symposium. He has been associate editor for the IEEE Transactions on CAD and is currently in the editorial board of the IEEE Transactions on Industrial Informatics and the Springer Real-Time Systems Journal.


10:30 AM - 12:00 PM - Session 1: Real-Time Systems

  • Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata, Daniel Bristot de Oliveira, Tommaso Cucinotta and Romulo Silva De Oliveira
  • Container-Based Real-Time Scheduling in the Linux Kernel, Luca Abeni, Alessio Balsini and Tommaso Cucinotta
  • C++ Hard-Real-Time Active Library: Syntax, Semantics, and Compilation of Tice Programs, Tadeus Prastowo, Luigi Palopoli and Luca Abeni


1:30 PM - 3:00 PM - Session 2: Performance in Embedded Systems

  • Performance-aware load shedding for monitoring events in container based environments, Rolando Brondolin, Matteo Ferroni and Marco Santambrogio
  • Boosting Read-ahead Efficiency for Improved User Experience on Mobile Devices, Yu Liang, Yajuan Du, Chenchen Fu, Riwei Pan, Liang Shi and Chun Jason Xue
  • Comparison of File Systems in RTEMS, Udit Kumar Agarwal, Vara Punit Ashokbhai, Gedare Bloom, Christian Mauderer and Joel Sherrill


3:30 PM - 5:00 PM - Sessions 3: Energy-Aware Systems

  • Modeling and simulation of power consumption and execution times for real-time tasks on embedded heterogeneous architectures, Alessio Balsini, Luigi Pannocchi and Tommaso Cucinotta
  • Energy-Aware Scheduling of Malleable Fork-Join Tasks under a Deadline Constraint on Heterogeneous Multicores, Hiroki Nishikawa, Kana Shimada, Ittetsu Taniguchi and Hiroyuki Tomiyama
  • HyMAD: a Hybrid Memory-Aware DVFS strategy, Camelia Slimani, Stéphane Rubini and Jalil Boukhobza