Probabilistically Analysable Real-Time Systems

Technical Approach

The technical approach of the project is to develop new hardware and software architectures that are amenable to probabilistic analysis, and to propose novel and effective probabilistic timing analysis methods. The project will work along three main axes:

  1. Architectural Design Principles. Definition of hardware and software design guidelines that will allow CRTE (critical real-time systems) system designers to benefit from randomisation properties. These properties permit to take benefit from high performance hardware features as well as more complex software systems.
  2. Probabilistic Timing Analysis. Definition of a new analysis paradigm that exploits the randomisation properties of the proposed architecture. The new probabilistic approach will enable the timing analysis of the new high performance hardware features as well as more complex software systems. As a result of this new analysis paradigm, the project will develop a new probabilistic WCET analysis method and tool.

Verification and Certification. Based on the outcomes of (1) and (2), development of probabilistic arguments that can be used effectively in the verification and certification of CRTE systems.

Project Overview

Technical Vision

Main Objectives

Key Issues

Expected Impact