Probabilistically Analysable Real-Time Systems

Rapita Systems Ltd., UK

Rapita Systems Ltd. is a specialist in on-target timing analysis tools for real-time embedded systems, with special emphasis on Worst-case Execution Time analysis tools. The main markets are Avionics, Space, Automotive and Telecommunication industries. Its innovative RapiTime product makes Rapita Systems the leader in measurement-based worst-case execution time analysis solutions. RapiTime provides a practical WCET analysis solution that works for complex embedded software running on the latest generation of advanced microprocessors. Rapita Systems has its origins in one of the first Embedded Systems funded EU Projects: NextTTA (IST-2001-32111). The company is a spinoff from the Real-Time Systems Research group at the Computer Science Department of the University of York, UK. One of the world leading research groups on real-time systems.

Main tasks attributed in the project.

Rapita Systems will supply its RapiTime technology as a core framework upon which the new probabilistic analysis methods will be build. Rapita will develop a prototype tool implementation of these techniques that will be used in the case studies. Rapita will lead work package WP6 on dissemination and contribute significantly to WP1 and as well to WP2 and WP4.

Previous experiences relevant to those tasks.

Rapita systems is a leader in the area of execution time analysis, WCET and tools. Rapita has developed a unique product, RapiTime, for measurement-based worst-case execution time analysis. Rapita Systems has also performed consultancy and engineering services related to all aspects of timing analysis of real-time embedded systems. Rapita has a strong research and development program with significant contributions in other Framework programs. Rapita is a key partner in the current projects: FRESCOR (FP6/2005/IST/5-034026), All-times(FP7/2006/IST/215068) and MERASA (FP7/2007/IST/216415)