Institution:
Tool for the estimation of probabilistic WCET based on execution time measurements (in the form of an R script).
BSC Group: Computer Sciences
Jaume Abella
MBPTA-CV is a tool for analyzing execution times in real-time systems using statistical methods. By processing many timing samples, it estimates the probability that deadlines will be met, even on complex hardware where traditional methods struggle.
This improves confidence in system reliability for critical applications. Since it only requires timing data as input, it works with programs from any platform or toolchain, offering flexibility. More accurate timing estimates also allow consolidating additional software on the same platform, or using less powerful (and cheaper and more power-efficient) hardware platforms for the same purpose.
Autonomous-vehicle ECUs, avionics flight computers (DAL-A/B), medical devices, industrial, robotics, space onboard computers, mixed-criticality drones.
Automative Tier-1s & OEMs adopting high-perf SoCs; Avionics integrators needing CAST / EASA evidence; Robotics startups using COTS GPUs for perception; Certification labs and timing-analysis consultancies.
Technology Readiness Level (1-9): N/A
Protection:
CC BY-SA License (Version 4.0)
if you want to know more about this project do not hesitate to contact us