ArtistDesign NoE

15. Invited Talk

Chris Healy — 2011-07-01T02:10:49Z

Hardware Support for Time Composable CRTE systems

Francisco Cazorla Barcelona Supercomputing Center

Abstract: The fundamental paradigms for the definition of Critical-Real Time Embedded Systems (CRTES) architectures are changing due to cost pressure, flexibility, extensibility and the demand for increased functional complexity. CRTES have based on the federated architecture paradigm, in which each computer is a fully dedicated unit. Federated Architectures simplify the verification, providing a separation of responsibilities, since every provider can implement the hardware and the software for a particular function, independently from the other suppliers. Moreover as each function is implemented on a different hardware unit, the processors commonly used in the hard real-time domain are simple uniprocessor architectures. However, as the number of functions implemented increase, so the number of units does. Implementing more functions in a system following a Federated Architecture approach implies a high number of hardware units. This makes federated implementations inefficient in terms of size, weight and power consumption.

To cope with such problem, automotive and avionics industries are adopting Integrated Architectures (IA), such as Integrated Modular Avionics (IMA) or Automotive Open System Architecture. One fundamental requirement of IA is to ensure the possibility of incremental qualification, whereby each software partition can be subject to verification and validation – including timing analysis – in isolation, independent of the other partitions, with obvious benefits for cost, time and effort. From the perspective of timing analysis, incremental qualification relies on each hardware and software component that is part of the system, such as the cache at hardware level or the linker at software level, exhibiting the property of time composability. In addition to time composability, CRTES demand for high computation power to support new and more complex functionalities. This required computation power can only be provided by means of more advanced hardware (e.g. cache and multicores).

In this presentation I will talk about hardware support to enable time composability while providing high performance. In particular I will present the MERASA processor architecture: The MERASA architecture is a multicore architecture that can simultaneously run hard and non-hard real-time tasks, providing safe and composable WCET estimations for the HRT tasks and high performance for the NHRT tasks. I will also talk about the feasibility of a probabilistic timing analysis approach, and the hardware to support required to enable it, as a way to provide high performance and time composability.

90. Proceedings

Chris Healy — 2011-07-01T02:07:45Z

Preliminary proceedings for the workshop can be found here.

Hard copies of these proceedings will be given to the participants of the workshop.

30. Program

Chris Healy — 2011-07-01T02:07:24Z

Workshop Program

8:30 Registration

9:00 Session 1: Fundamental Issues of WCET Analysis (Chair: Raimund Kirner)

Towards an Open Timing Analysis Platform Benedikt Huber, Wolfgang Puffitsch, Peter Puschner

On the Industrial Fitness of WCET Analysis Enrico Mezzetti, Tullio Vardanega

Safety Standards and WCET Analysis Tools Daniel Kästner, Simon Wegener, Christian Ferdinand

10:30 Coffee Break

11:00 Session 2: Analysis Methodologies (Chair: Christine Rochange)

FDTA – A Tool Chain for Failure-Dependent Timing Analysis Kai Höfig

Towards Semantics-Based WCET Analysis Mihail Asăvoae, Dorel Lucanu, Grigore Roşu

Dynamics for WCET David Griffin, Alan Burns

12:30 Lunch

13:30 Invited Talk: Francisco Cazorla (Barcelona Supercomputing Center)

14:30 Session 3-A: Control Flow and Techniques I (Chair: Kevin Hammond)

Compiler Support for Measurement-Based Timing Analysis Raimund Kirner, Michael Zolda

Deriving WCET Bounds by Abstract Execution Andreas Ermedahl, Jan Gustafsson, Björn Lisper

15:30 Coffee Break

16:00 Session 3-B: Control Flow and Techniques II (Chair: Kevin Hammond)

Branch Prediction Related WCET with a Markovian Model Stéphane Louise, Amira Dkhil

An Evaluation of WCET Analysis using Symbolic Loop Bounds Jens Knoop, Laura Kovács, Jakob Zwirchmayr

17:00 WCET Tool Challenge Report Niklas Holsti, Björn Lisper