Probabilistically Analysable Real-Time Systems


PROARTIS final review

Thu, 2013-09-26

The PROARTIS project has concluded successfully after a good review meeting with the European Commission and technical reviewers. Our thanks to the project officer and the reviewers for their advice and feedback during the project.

Work continues on this fascinating and exploitable technology in conjunction with the new PROXIMA project (web site to be confirmed). There is a huge amount of industrial interest from the European Space Agency, aerospace, automotive and other industries.

For further information on PROARTIS or PROXIMA, please use the contact link on this website and register your interest in keeping up to date with PROXIMA.

PROARTIS paper selected for publication

Mon, 2013-09-16

We are pleased to announce that a PROARTIS paper was recently selected to appear in IEEE Transactions on Computers.

“Efficient Cache Designs for Probabilistically Analysable Real-time Systems” was written by Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones and Francisco J. Cazorla.

Keep an eye out for the publication in a future issue of IEEE Transactions on Computers.

PROARTIS paper accepted by RTSS

Mon, 2013-07-29

PROARTIS is pleased to announce a successful submission to RTSS 2013.

The paper on “Multi-Level Unified Caches for Probabilistically Time Analysable Real-Time Systems” (by Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones and Francisco J. Cazorla) will be presented during the prestigious IEEE Real-Time Systems Symposium (RTSS) taking place in Vancouver, Canada, from 3 – 6 December 2013.

For more details visit

PROARTIS Industrial Workshop (July 3rd 2013)

Wed, 2013-07-10

Held in Toulouse and hosted by Airbus, the PROARTIS Industrial Workshop brought 29 partners and interested organisations from across Europe together to learn how new tools, hardware and software architectures will allow faster computer hardware features to be used and analyzed more easily in reliable systems.

The specially designed interactive workshop / presentation format for the day included presentations on:

  • probabilistic timing analysis HW/SW platform (Barcelona Supercomputing Center and University of Padua);
  • probabilistic timing analysis techniques and tools (INRIA / Rapita Systems); and
  • an avionics case study (Airbus).


Attendees were pleased to see that the PROARTIS approach not only supports incremental development on multicore systems, but in fact that the requirements of time composability and the requirements of incremental development are the same: to control and reduce dependencies between different parts of the software that arise from the design of the platform.


Industry attendees were especially keen to hear about the "software-only" project results that allow the mathematical rigour of PROARTIS to be applied to conventional deterministic hardware. The ensuing discussion showed that industry experts are very keen to understand the exact implications of such implementations – number of test-cases, amount of test coverage required and the time taken to complete analysis – and how tight pWCET estimates are (how close to common practice but now with much stronger guarantees). This is one of the areas where we expect that PROARTIS techniques can be more easily disseminated into industry.

Attendees were also curious about how probabilistic guarantees can be attained, and what precise properties are needed from the hardware/software platform to apply Probabilistic Timing Analysis (PTA).


The main request from the industry attendees? They want to get their colleagues on board, so they need concise material available to convince their colleagues that it really works in practice. This is hugely encouraging! 

The workshop was part of the final arrangements to conclude this 42-month research project funded by the EU, which formally finishes at the end of July 2013.

EMSOFT paper accepted

Wed, 2013-07-10

Three PROARTIS partners have had a paper accepted at the forthcoming EMSOFT conference.

“Limited Preemptive Scheduling of Non-Independent Task Sets” was written by Andrea Baldovin, Enrico Mezzetti and Tullio Vardanega.

The 13th International Conference on Embedded Software (EMSOFT2013) takes place in Montreal, Canada, from September 29th - October 4th 2013.

For more details visit

PROARTIS ACM TECS paper published

Fri, 2013-06-07

Our paper entitled "PROARTIS: Probabilistically Analysable Real-Time Systems" has appeared in a special section of ACM Transactions on Embedded Computing Systems.

See more about this focus on Probabilistic Embedded Computingat

PROARTIS double paper success at WCET 2013

Mon, 2013-06-03


PROARTIS is pleased to announce two new papers about the project for the forthcoming WCET 2013 workshop:

“Upper-bounding Program Execution Time with Extreme Value Theory” (by Francisco J Cazorla, Tullio Vardanega, Eduardo Quiñones and Jaume Abella).

“Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources” (by Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones and Francisco J Cazorla).

The 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013) takes place on 9th July 2013 in Paris, France.

PROARTIS paper accepted for INDIN conference

Fri, 2013-05-24


PROARTIS partners have a chance to disseminate the project’s messages with another forthcoming conference paper.

“Supporting Industrial Use of Probabilistic Timing Analysis with Explicit Argumentation” (by Zoe Stephenson, Jaume Abella and Tullio Vardanega) will be presented at the 11th IEEE International Conference on Industrial Informatics (INDIN).

INDIN takes place from 29th-31st July 2013 in Bochum, Germany.

PROARTIS two paper success at ECRTS 2013

Tue, 2013-05-07

Two papers from PROARTIS partners are to be unveiled at the forthcoming Euromicro Conference on Real-Time Systems (ECRTS 2013):

  • DTM: Degraded Test Mode for Fault-Aware Probabilistic Timing Analysis (by Mladen Slijepcevic, Leonidas Kosmidis, Jaume Abella, Eduardo Quinones, Francisco J. Cazorla)             
  • Analysis of Probabilistic Cache Related Pre-emption Delays (by R. Davis, L. Santinelli, S. Altmeyer, C. Maiza and L. Cucu-Grosjean)                              

ECRTS 2013 takes place in Paris, France, from 9-12 July 2013. For more details visit

PROARTIS at TACLe Barcelona Workshop

Mon, 2013-03-25


Two presentations from PROARTIS partners were featured at the TACLe (Timing Analysis on Code-Level) Barcelona Workshop.

Francisco J. Cazorla (BSC) provided an “Introduction to PROARTIS FP7 Project: Vision and Approach”, while Enrico Mezzetti (UNIPD) presented on “Time composability at the software level”.

The audience consisted of experts on WCET analysis from across Europe.

The TACLe Barcelona Workshop took place on 25th March 2013.


Sun, 2013-03-24

Tullio Vardanega (UNIPD) took the PROARTIS message to Rome for ETAPS 2013 and a satellite event.

“Probabilistic Timing Analysis (PROARTIS)” was the title of his first presentation, given to the Technical Day on Innovative Techniques on Timing Analysis, an ETAPS 2013 satellite event hosted by CerCo (FET-ICT-2007.8.0) and PROARTIS (FP7-ICT-2009.3.4).

Tullio also presented on “Innovative techniques in timing analysis: cost prediction on high level languages and probabilistic time analysis” as part of Quantitative Aspects of Programming Languages and Systems.

ETAPS 2013 was held in Rome on 23rd24th March.

PROARTIS workshop in Paris

Mon, 2013-02-18

PROARTIS partners recently met in Paris to discuss and take forward project solutions for multicore architectures. Representatives from all partner organisations were present during the five-day meeting from February 11 – 15.

PROARTIS paper for Ada-Europe 2013

Wed, 2013-02-13


Congratulations to Andrea Baldovin, Enrico Mezzetti and Tullio Vardanega on the news of their Ada-Europe success.

“Towards a Time-Composable Operating System” will be presented at the 18th International Conference on Reliable Software Technologies - Ada-Europe 2013.

Ada-Europe 2013 takes place from 10-14 June 2013, in Berlin, Germany.

PROARTIS ISORC conference paper accepted for publication

Tue, 2013-02-05


Our ISORC submission has been accepted for publication.

"Achieving Timing Composability with Measurement-Based Probabilistic Timing Analysis" (by Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella, Tullio Vardanega and Francisco J. Cazorla) will be published at the 16th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC).

ISORC takes place in Paderborn (Germany) from June 19-21 2013. More details are available at:

PROARTIS and MultiPARTES project liaison

Tue, 2012-12-18

On December 14th Fran Cazorla of the Barcelona Supercomputing Centre visited Ikerlan Research Institute.

During the visit Fran discussed the probabilistic approach of PROARTIS with Salvador Trujillo (coordinator of the MultiPARTES EU FP7 project) and Jon Perez (director of the embedded systems department). 

This is another great example of how to spread the PROARTIS message and its benefits to potential partners.