Rapita Systems is a software company specializing in tools and solutions for the development and verification of embedded systems, particularly for the aerospace and automotive industries. They provide tools for analyzing, testing, and verifying real-time systems.