Rapita Systems ltd is a British company proposing Software verification tools: timing analysis, WCET, code coverage. 

Rapita Systems develops on-target verification solutions for customers in the avionics and automotive electronics industries. Our tools help to reduce the cost of measuring, optimizing and verifying the timing performance and test effectiveness of their critical real-time embedded systems.