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

PROARTIS will:

  • 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.
The research leading to these results has received funding from the
European Community's Seventh Framework Programme [FP7/2007-2013] under the
PROARTIS Project (www.proartis-project.eu), grant agreement n° 249100.