Probabilistic Real Time Systems

Primary tabs

15th December 2022. 10:30 am. UPC's Vèrtex Building Auditorium + Gardens & Virtual

We are looking forward to celebrating the BSC staff annual meeting this year.

As in the previous edition, the event will be online and shorter.

The event will begin on December 15th at 10:30 am. We will send you a link nearer the time so you can connect.

Even more than normal, we hope that as many BSC staff as possible will be able to attend and participate.

You can participate by telling us:

What you would like to know about?

Let us know which subjects you find interesting to be incorporated into the BSC directors’ presentations.
Deadline exceeded

What would you like to listen to?

What you would like to share?

We would like to know more about your work, so we have booked one hour of the Annual Meeting to listen to 6 BSC employees that will explain what they do. We encourage you to be one of them.

What I would like to explain

Coming soon

 BSC Talks

We have booked time for 6 employees to explain in 6 minutes what you do at BSC.

The event will be VIRTUAL but the BSC Talks will be presented from the studio where the event is taking place.
 

We would like you to make short, attractive presentations (6 minutes) so all the BSC staff know what you do.

You could be one of those to go up the stage, and we will help you to prepare it.

What will you need to do?

  1. Let us know about what you would like to explain.
    • Send us a short video (landscape) of 45 seconds’ maximum explaining what you would like to present at annualmeeting2021@bsc.es
    • State your name, department, research group and a provisional title for your talk.
    • Deadline: November 29th.
  2. All the BSC staff will vote for the 6 most interesting proposals.
    • All videos will be available at the web page and the voting process will be open. Each employee will be able to vote up to 3 proposals.
  3. If your proposal is one of the chosen ones:
    • A training session will be organized for the 6 most voted.
  4. Prepare a 6 minutes’ presentation.
  5. The best presentation of December 15th will be awarded!

Directors’ presentation of 2022

We would like to know what subjects you are interested in so as to incorporate them in the directors’ presentation of the center. Fill in this form with your questions.

This research line covers a novel way to fulfil the timing requirements of current and future multicore-based real-time systems based on (1) injecting randomisation into the timing behaviour of hardware and software; and (2) developing probabilistic timing analysis techniques.

Summary

The advent of unmanned vehicles and criticality-related onboard features means that Embedded Real-time Systems (ERTS) increasingly deal with highly sophisticated and complex value-added software functionalities. These, in turn, require higher levels of computing power to be executed in a timely way. High-performance hardware is the natural way to respond to these performance needs, but it is well known that it challenges timing analysis techniques, which make pessimistic, yet trustworthy, assumptions on resource latencies, resulting in longer (degraded) Worst-Case Execution Time (WCET) estimates.

On this front, probabilistic techniques might help greatly. In particular, with Measurement-Based Probabilistic Timing Analysis (MBPTA) methods the execution time of the application can be accurately modelled – at some level of execution granularity – by a probability distribution. Probabilistic Timing Analysis techniques, and in particular MBPTA, seek to determine WCET estimates for arbitrarily low probabilities of exceedance, which are referred to as pWCET. Even if a pWCET boundary might in principle be exceeded, this can only happen with a given probability, which can be determined at a level low enough to suit the needs of system design in the application domain (e.g 10-15), well below the acceptable probability of failure in certified systems.

Objectives

The main objectives in this reseach line are as follows:

  1. Develop hardware and software techniques that randomise the timing behaviour of the application so that its timing behaviour can be characterised with probabilistic techniques. Whenever possible, using upper-bounding approaches so that the maximum response time of resources is captured at analysis.
  2. Develop appropriate Probabilistic Timing Analysis techniques to provide tight and reliable execution time bounds of applications running in time-randomised hardware and software.