PROXIMA Results

The PROXIMA project has a toolchain to perform software timing analysis including worst case execution time analysis of critical real-time systems.

The toolchain consts of 3 basic parts:

  • PROXIMA compliant platforms including hardware, software and operating system principles
  • interfacing and supporting technology for tracing, measuring and testing
  • timing analysis technology based around RapiTime WCET tool, with additional modules for multi-core and probabilistic analysis

In addition, supporting concepts including DO-178C tool qualification material, knowhow and services are provided thorough the various partnerships generated in the project.

The list of public exploitable technologies developed in the project is below (embargoed IP omitted).

#

Name

Owner

Description

1

Hardware randomized bit-stream

BSC/CG

LEON3-based bitstream for a time-randomized processor

2

Hardware randomized IP library

BSC/CG

IP library for extending PROXIMA hardware randomization to different platforms.

3

Dynamic Software Randomization

BSC

Runtime functions to implement software randomization

4

Static Software Randomization (TASA)

BSC

Pre-compilation tool for compile-time software randomization

5

EVT calculator

INRIA

Software for computing tail-value extension of probabilistic system, integrated into RVS.

6

Dependent data calculator

INRIA

Software for application of dependent data analysis for WCET.

7

Bayesian data calculator

INRIA

Software and method for obtaining data for EVT and Dependent Data analysis

8

Software simulator

BSC

Simulator of multi-many core processors with randomized hardware

9

RapiTime-PROXIMA

RPT

Timing analysis tool with API that integrates with several third party tools to provide timing analysis of randomized systems

10

RapiTime Tool Qualification Kit

RPT

DO-178B/C Tool qualification kit for RapiTime.

11

Multi-core tracing technology

RPT

Technologies and know-how for tracing multi-core platforms.

12

FBI-VICI: Forecast based interference

UoY

Analysis and software tools for analysing multi-core platform timing by modelling interference of other cores.

13

pTC-VICI: Multi-core contention model

BSC

Model and scripts for deriving slowdown of software due to multi-core contention.

14

Knowhow on software timing

IKR

Improvement of timing analysis and methods as can be applied to the Rail industry.

15

Extended Path Coverage (EPC)

UPD/BSC

Analysis technology to synthetically extend path coverage to untested paths.

16

Time-composability solutions for embedded RTOSes

UPD

Knowhow and extensions to several operating systems to provide time-composabilty.

17

Micro-benchmark technology

BSC

Set of user level programs that allow putting high load on the desired hardware shared resources of the multi-core

18

Enhancements to PikeOS and tool infrastructure

SYS

Various enhancements supporting the PROXIMA platform within PikeOS

Organization contacts, contact us through this website or followup through the organisations below.

Organization Contact
BSC - Barcelona Super Computing Centre Francisco Cazorla
RPT - Rapita Systems Ltd Ian Broster
INRIA Liliana Cucu
CG - Cobham Gaisler Cobham
UoY - University of York Iain Bate
UPD - University of Padova Tullio Vardenega