What will PROARTIS do?
A new way of designing and analysing reliable software systems, using probabilities in timing analysis.
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.

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement n° 249100.