Probabilistically Analysable Real-Time Systems


PROARTIS CNES conference paper

Mon, 2012-12-10


Fran Cazorla is presenting the PROARTIS message to a forthcoming conference.
His paper on Probabilistic Timing Analysis for single core and multicore processors will be unveiled at the CNES (Cache and non-determinism in real-time systems) conference .
CNES takes place on Wednesday 12th December 2012 at the Institut Aéronautique et Spatial (IAS) in Toulouse.

PROARTIS at 8th HiPEAC Conference

Sat, 2012-12-01


PROARTIS is one of three STREP FP7 projects to be featured in a special workshop during the forthcoming HiPEAC Conference in Berlin.
The ARPA (Advanced Real-time Processor Architectures) workshop will cover hardware designs, dedicated system software, adapted application software, as well as novel analysis techniques for the PROARTIS, parMERASA and T-CREST projects.
ARPA focuses on advanced time-predictable processor and network-on-chip architectures, memory hierarchies, system software, and analysis techniques for single-, multi-, and many-core systems with emphasis on hard real-time systems.
Organised in conjunction with HiPEAC, the 1st Workshop on Advanced Real-time Processor Architectures (ARPA'2013) takes place in Berlin on January 22nd 2013.
The early registration deadline ends on December 21, 2012. You can register for HiPEAC ’13 now by visiting:

PROARTIS in Ada-Europe video

Mon, 2012-11-05

Back in August we mentioned the key note speech at Ada-Europe by Jean-Loup Terraillon from ESA.

Jean-Loup referenced PROARTIS in the course of a wide-ranging presentation entitled “Multicore Processors - the Next Generation Computer for ESA Space Missions”.

Now through the wonders of YouTube you can see the presentation for yourself. If you don’t want to watch the entire presentation, fast forward to 18:30 for the part where Jean-Loup explains the PROARTIS project.


For more details visit:

PROARTIS papers at DATE 2013

Mon, 2012-11-05

Two papers from PROARTIS partners have been accepted for a conference in 2013.

Papers on A Cache Design for Probabilistic Real-Time Systems and Enabling Probabilistic Timing Analysis Through Compiler and Run-Time Support will be presented at Design, Automation, and Test in Europe (DATE) in Grenoble, France, in March 2013.

PROARTIS paper accepted

Mon, 2012-09-24

Our paper entitled "Re-Sampling for Statistical Timing Analysis of Real-Time Systems" (Dorin Maxim, Michael Houston, Luca Santinelli, Guillem Bernat, Robert Davis and Liliana Cucu-Grosjean) has been accepted for presentation at the 20th International Conference on Real-Time and Network Systems. RTNS 2012 takes place in Pont à Mousson, France, from 8-9 November 2012.

For more details visit RTNS 2012.

PROARTIS at the 8th HiPEAC conference

Fri, 2012-09-21

PROARTIS will be part of a joint workshop to be held during the 8th HiPEAC conference in Berlin in January 2013.

The 1st Workshop on Advanced Real-time Processor Architectures (ARPA 2013) is a collaborative event by the organisers of the parMERASA, T-CREST and PROARTIS projects.

The main topics expected to be covered by the PROARTIS team on the day include:

  • Introduction to the project
  • Architectural solutions and runtime software solutions of the project
  • Tool support

“It is going to be a great opportunity to disseminate PROARTIS work and encourage some 'cross-pollination' between projects”, says Francisco Cazorla, the PROARTIS Technical Manager.

For more details visit

PROARTIS publication released

Wed, 2012-07-11

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs was unveiled at ECRTS 2012, 24th Euromicro Conference on Real-Time Systems (Pisa, Italy, July 11-13 2012). For more details visit

PROARTIS in ACM Transactions on Embedded Computing Systems (TECS)

Wed, 2012-07-04

PROARTIS features in a special issue dedicated to Probabilistic Embedded Computing. This latest issue of ACM Transactions on Embedded Computing Systems (TECS) should be available soon.

For details of the paper, visit:


Tue, 2011-11-29

PROARTIS partner Francisco Cazorla of the Barcelona Supercomputing Center recently presented the keynote address at the 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems co-located with CRTS Workshop 2011.

Visit the website for more details on the Time Composable Multicore Processors for Critical-Real Time Embedded Systems (CRTES) presentation:


Tue, 2011-07-05

Portugal recently hosted the 11th International Workshop on Worst-Case Execution-Time Analysis in conjunction with the 23rd Euromicro International Conference on Real-Time Systems – and PROARTIS partner Francisco Cazorla of the Barcelona Supercomputing Center was invited to give a special talk on Hardware Support for Time Composable CRTE systems.

Visit,2352.html for more details of Francisco’s presentation.

PROARTIS: 3rd IAB meeting

Tue, 2012-05-29

The PROARTIS IAB (Industrial Advisory Board) came together in Barcelona on May 29th 2012. Here are some of the key comments from the meeting:

“All members agreed that the PROARTIS team has done a great research work in this period, achieving significant progress with respect to the status of the project at month 14, when the previous IAB meeting was held”

“The automotive members of the IAB noted that applications with a specified probability of failure perfectly fit the automotive industry standards in which applications have to be designed from the start with the capability to detect and handle timing errors. For those systems, timing supervision is required in any case, while the probabilistic approach promoted by PROARTIS helps to achieve better use of all hardware resources”

“The project is now close to a point where significant industrial impact can be achieved. The IAB anticipate that industry will see considerable value in the PROARTIS vision and solutions, and will be ready to embrace the PROARTIS approach”

PROARTIS: The 2nd review meeting

Wed, 2012-06-06

On June 6th 2012 the PROARTIS partners met in Brussels for the project’s second review meeting.

A series of presentations by consortium members provoked some excellent feedback from Ioannis Bitsios of the European Commission Directorate-General of Information Society and Media, Unit G.3 Embedded Systems and Control:

“Really good progress has been made since the last review”

“Reviewers' questions/concerns from the previous review have been addressed and integrated to the project”

“Good quality in presentations/demonstrations/management”

After such praise, we can all be confident that the PROARTIS project is heading in the right direction.

Now we can start the third and final phase of the project where we will apply technologies on multi-core, and produce demonstrations of the technology.

PROARTIS in Ada-Europe keynote speech

Mon, 2012-08-13

It’s always great news when a project acquires some publicity from a high–profile speaker. Which is why we are delighted to mention the key note speech at Ada-Europe by Jean-Loup Terraillon from ESA. Jean-Loup referenced PROARTIS in the course of a wide-ranging presentation entitled “Multicore Processors - the Next Generation Computer for ESA Space Missions”.

For more details visit:

PROARTIS project earns workshop mention

Fri, 2012-07-20

Rapita Systems recently hosted a workshop in York for the parMERASA project. Since the projects both address aspects of critical real-time embedded systems, part of the meeting was devoted to introducing PROARTIS to members of the parMERASA consortium and setting out what the project is trying to achieve.

The EC encourages collaboration between projects, making this an excellent example of how to raise awareness of research and promote new relationships.

PROARTIS Team convenes for technical meetings at the University of Padua

Wed, 2010-12-01
University of Padua host, Tullio Vardanega, hides at the back of the growing PROARTIS Team
University of Padua host, Tullio Vardanega, hides in the back row of the growing PROARTIS Team.

The PROARTIS Team held a series of project meetings 15 - 17 November in Padua, Italy.  The meetings opened with a focus on project progress  technical progress with an eye toward realizing the deliverables for the end of the first year of the project (P1).  However, the meeting days were structured into small group sessions and tutorials on the key project thematic areas.