CONTREX: Virtual Integration Testing for Mixed-Criticality Systems under Consideration of Power and Temperature Constraints

Prague

Room: Stella @ Clarion Congress Hotel Prague

Jan. 19, 2016 10:00 - 13:00

 

HIPEAC 2016 Tutorial

 

Abstract

Modern Multi-Core System on Chips enable the implementation of new performance hungry applications that previously could not be realized on single core processors. Furthermore, they enable integration of many embedded applications on a single chip that have previously implemented on several devices. In addition, mixed-criticality systems, which integrate a mixture of safety and non-safety relevant applications on the same computer, aim to profit from these multi-core benefits. The main new challenges that arise for a mixed-criticality system implementation on multi-core architectures are unpredictable sources of interference between safety-relevant and non-safety-relevant applications. They originate from e.g. timing anomalies due to shared resource usage, power and thermal induced coupling due to shared power supply nets and high integration density.

To prevent the failure of such a highly integrated mixed-criticality system, the system engineer should be aware of any possible cross-application interferences with respect to timing, power and thermal properties as soon as possible in the design flow. For this reason, the extra-functional properties need to be modelled and analyzed at the system level, because they can strongly affect the overall quality of service (performance, battery lifetime) or even cause the system to fail meeting its real-time and safety requirements.

This tutorial addresses the challenges of power and thermal control of a mixed-criticality multi-rotor system in which a Xilinx Zynq MPSoC integrates safety-critical flight control and non-safety-critical high-demanding video processing. It covers new concepts of UML/MARTE based specification for mixed-criticality systems, the specification of platform properties (extra-functional model) as well as the dynamic capturing, processing, and extraction of power/temperature information during the simulation in a virtual platform. Furthermore, the presented concepts and tools will be applied to the design flow of the mixed-criticality multi-rotor system. In particular, the run-time optimization and management techniques to control the power consumption and waste heat discharge will be presented.

Covered topics

UML/MARTE for the design of mixed-criticality systems; MPSoC power and thermal simulation; Run-Time Resource Management; Multi-Rotor Avionics and Payload processing Mixed-Criticality MPSoC implementation; use of virtual platforms for verification.

 

Program

  • Sören Schreiner (OFFIS, Germany): A Mixed-Criticality MPSoC Case-Study: The Multi-Rotor Avionics and Payload Computer System (30 min)
  • Fernando Herrera (University of Cantabria, Spain): UML/MARTE modelling for mixed-criticality systems (30 min)
  • Giuseppe Massari (Politecnico di Milano, Italy): Barbeque Run-Time Resource Management in Mixed-Criticality Systems (30 min)
  • Kim Grüttner (OFFIS, Germany): Virtual Integration Testing for Power and Temperature using Virtual Platforms (30 min)
  • Davide Quaglia (EDALab, Italy): Tools for Virtual Platform Integration Supporting Extra-Functional Properties (30 min)

 

Organizers:

Eugenio Villar, University of Cantabria

Kim Grüttner, OFFIS

William Fornaciari, Politecnico di Milano

 

Training Material

Introduction (no video)

Introduction (incl. video)

A Mixed-Criticality MPSoC Case-Study: The Multi-Rotor Avionics and Payload Computer System

UML/MARTE modelling for mixed-criticality systems

Barbeque Run-Time Resource Management in Mixed-Criticality Systems

Virtual Integration Testing for Power and Temperature using Virtual Platforms (no video)

Virtual Integration Testing for Power and Temperature using Virtual Platforms (incl. video)

Tools for Virtual Platform Integration Supporting Extra-Functional Properties

more will be added soon...