Probabilistically Analysable Real-Time Systems

Proartis: Probabilistically Analysable Real-Time Systems

What will PROARTIS do?

A new way of designing and analysing reliable software systems, using probabilities in timing analysis.

More Information:

Fact sheet:PROARTIS

Factsheet Icon


  • develop new tools, hardware and software architectures that will allow faster computer hardware features to be used and analyzed more easily in reliable systems.
  • enable the use of complex processors in future industrial applications and advanced safety systems in planes and cars.
  • result in systems with more advanced safety and energy efficient features.
  • reduce the cost of performance analysis for new systems by 40% and help support the growth in complexity.
This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement n° 249100.