ECRTS '14

26th EUROMICRO conference on Real-time Systems

Organised by the Euromicro Technical Committee on Real-Time Systems

*Tuesday 2014-07-08*

Satellite Workshops:

• RTSOPS: 5th International Real-Time Scheduling Open Problems Seminar
• WCET: 14th International Workshop on Worst-Case Execution Time Analysis
• OSPERT: 10th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications
• WATERS: 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
• RTN: 13th International Workshop on Real-Time Networks

*Wednesday 2014-07-09*

08:00 Registration

08:45 Opening

09:00 Keynote 1

• Markus Buhlmann (Audi) "High integration ECU in automotive environment"

Details below the program.

10:00 Coffee break

10:30 Session 1: Memory

• Dynamic Command Scheduling for Real-Time Memory Controllers
  Yonghui Li, Benny Akesson and Kees Goossens
• Evaluation of Cache Partitioning for Hard Real-Time Systems
  Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert Davis
  *Outstanding Paper Award*

- A Rank-Switching, Open-Row DRAM Controller for Mixed-Criticality Systems
Yogen Krishnapillai, Zheng Pei Wu and Rodolfo Pellizzoni

12:00 Lunch

13:30 Session 2: Communication and Synchronization

• Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling up
  Alexandre Mouradian and Isabelle Auge-Blum
• Model Checking Process Algebra of Communicating Resources for Real-Time Systems
  Jalil Boudjadar, Jin Hyun Kim, Kim G. Larsen and Ulrik Nyman
• The FMLP+: An asymptotically optimal Real-Time Locking Protocol for suspension-aware Analysis
  Bjorn Brandenburg

15:00 Coffee break

15:30 Session 3: Multicore - Analysis

• Putting RUN into Practice: Implementation and Evaluation
  Davide Compagnin, Enrico Mezzetti and Tullio Vardanega
• Analysis of Federated and Global Scheduling for Parallel Real-Time Tasks
  Jing Li, Jian-Jia Chenx,Kunal Agrawaly, Chenyang Luy, Chris Gill and Abusayeed Saifullahy
• Improved Multiprocessor Global Schedulability Analysis of Sporadic DAG Task Systems
  Sanjoy Baruah

17:00 Break

18:00 WiP Session

*Thursday 2014-07-10*

09:00 Keynote 2

• Lothar Thiele (ETH Zurich) "Model-based design of real-time systems"

Details below the program.

10:00 Coffee break

10:30 Session 4: Mixed Criticality and Security

• Multi-Core Interference-sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement
  Jan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener and Michael Schmidt
• Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems
  Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange and Matthieu Roy
• Real-Time Systems Security through Scheduler Constraints
  Sibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni and Rakesh Bobba

12:00 Lunch

13:30 Session 5: New Approaches for Singlecore Systems

• Refinement-Based Exact Response-Time Analysis
  Martin Stigge, Nan Guan and Wang Yi
• Optimal Design for Reservation Servers under Shared Resources
  Alessandro Biondi, Alessandra Melani, Marko Bertogna and Giorgio Buttazzo
• Exact Analysis of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling
  Alessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale and Giorgio Buttazzo

15:00 Coffee break

15:30 Session 6: RTE Mechanisms

• Explicit Preemption Placement for Real-Time Conditional Code
  Bo Peng, Nathan Fisher and Marko Bertogna
• Multi Sloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling
  Rainer Muller, Daniel Danner, Wolfgang Schroder-Preikschat and Daniel Lohmann

17:00 Social Event & Dinner

*Friday 2014-07-11*

09:00 Session 7: Harmonic Tasks Systems

• Analysis Techniques for Supporting Harmonic Real-Time Tasks with Suspensions
  Cong Liu, Jian-Jia Chen, Liang He and Yu Gu
• A Framework to Construct Customized Harmonic Periods for Real-Time Systems
  Mitra Nasri, Gerhard Fohler and Mehdi Kargahi

10:00 Coffee break

10:30 Session 8: Power Aware System Control

• CoAdapt: Predictable Behavior for Accuracy-Aware Applications Running on Power-Aware Systems
  Henry Hoffmann
• Predictive Thermal Control for Real-Time Video Decoding
  Mehmet Suzer and Kyoung-Don Kang
• Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks
  Rehan Ahmed, Parameswaran Ramanathan and Kewal K. Saluja

12:00 Lunch

13:30 Session 9: Probabilistic Methods

• Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA
  Jaume Abella, Eduardo Quinones, Franck Wartel, Tullio Vardanega and Francisco Cazorla
• On the Comparison of Deterministic and Probabilistic WCET Estimation Techniques
  Jaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quinones and Francisco Cazorla
• PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis
  Leonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quinones, Antoine Colin and Francisco Cazorla

15:00 Coffee break

15:30 Session 10: Multicore - Scheduling

• Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning Approach
  Ernesto Massa, George Lima, Paul Regnier, Greg Levin and Scott Brandt
  *Outstanding Paper Award*
• The Global Limited Preemptive Earliest Deadline First Feasibility of Sporadic Real-Time Tasks
  Abhilash Thekkilakattil, Sanjoy Baruah, Radu Dobrin and Sasikumar Punnekkat

16:30 Closing Remarks

*Keynotes*

** Markus Buhlmann (Audi, Germany) ** "High integration ECU in automotive environment "

Abstract:
The presentation will show several aspects of the development of a high integration ECU. The development is based on automotive requirements. The safety demands, which have to be fulfilled, are derived from the ASIL classification of the applications and the ISO26262. The software is based on AUTOSAR 3.2 and enhanced with safety aspects, which also will be shown. Some security aspects to protect the ECU and to enable special functionalities will also be shown. The ECU integrates a lot of functionalities. Therefore, the integration process is important as well as the timely behavior of all software components. On this basis, the approval of schedulability and time behavior will be pointed out. It also will be illustrated, how flash concepts could support the independent approval and development of software modules.

Bio:
Markus Buhlmann has a diploma degree in electronic engineering from Technical University of Munich. He started 1992 at Audi, in the technical customer department. In 1999 he changed to the technical development, where he was responsible for electrical development for CAN networks and, after this, for time triggered networks and FlexRay. In 2007 he changed to chassis development and was responsible for the rear differential ECU. In 2010 he became team leader and since 2011 he is head of unit and responsible for vertical dynamics ECU's and software integration.

** Lothar Thiele (ETH Zurich, Switzerland) ** "Model-based design of real-time systems"

Abstract:
Model-based techniques have found widespread use in the design of embedded systems. Models and methods are typically based on well-defined models of computation and allow for building composite components out of simpler components. The advantages of using high-level system abstractions that comprise software as well as the underlying hardware platform lead to an increasing use of the associated design methods: Methods and tools for correctness in terms of qualitative and quantitative requirements, as well as design environments for specification, design space exploration, optimization and code generation. Model-based design is getting increasingly important in the context of parallel and distributed embedded systems due to the tremendous complexity induced by concurrent execution.
For real-time systems, it is important to guarantee throughput and latency for each application running on the designed system. Analysis and design techniques that are able to provide such guarantees have been proposed for some of the celebrated platform models and models of computation. In other cases the classical hard real-time scheduling models and algorithms are directly applicable. In the presentation we will classify and link model-based design techniques, models of computation, as well as real-time scheduling theory and algorithms.

Bio:
Lothar Thiele received his Diplom-Ingenieur and Dr.-Ing. degrees in Electrical Engineering from the Technical University of Munich in 1981 and 1985 respectively. After completing his Habilitation thesis from the Institute of Network Theory and Circuit Design of the Technical University Munich, he joined the Information Systems Laboratory at Stanford University in 1987. In 1988, he took up the chair of microelectronics at the Faculty of Engineering, University of Saarland, Saarbrucken, Germany. He joined ETH Zurich, Switzerland, as a full Professor of Computer Engineering, in 1994. His research interests include models, methods and software tools for the design of embedded systems, embedded software and bioinspired optimization techniques. Lothar Thiele is associate editor of IEEE Transaction on Industrial Informatics, IEEE Transactions on Evolutionary Computation, Journal of Real-Time Systems, Journal of Signal Processing Systems, Journal of Systems Architecture, and INTEGRATION, the VLSI Journal.
In 1986 he received the "Dissertation Award" of the Technical University of Munich, in 1987, the "Outstanding Young Author Award" of the IEEE Circuits and Systems Society, in 1988, the Browder J. Thompson Memorial Award of the IEEE, and in 2000-2001, the "IBM Faculty Partnership Award". In 2004, he joined the German Academy of Sciences Leopoldina. In 2005, he was the recipient of the Honorary Blaise Pascal Chair of University Leiden, The Netherlands. Since 2009 he is a member of the Foundation Board of Hasler Foundation, Switzerland.
Since 2010, he is a member of the Academia Europaea. In 2013, he joined the National Research Council of the Swiss National Science Foundation.