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 |
