New paper: Surrogate Applications for Multicore Contention Modeling
Rapita hosts SCADE webinar with ANSYS
FACE Virtual Technical Interchange Meeting
RVS 3.14 Launched
Software verification on the Solar Orbiter
Metrowerks CodeTest - How and why to upgrade
Leveraging FACE Conformance Artifacts to Support Airworthiness
Assured Multicore Partitioning for FACE Systems
DO-178C
MATLAB Simulink MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
FACE Technical Interchange Meeting
Aerospace TechWeek 2021
Safe Use of Multi-Core Processors Seminar
Trusted by the best, globally
Rapita Verification Suite
On-target software verification for critical embedded systems
The Rapita Verification Suite (RVS) reduces the effort needed to verify critical embedded software for functional behavior (requirements-based testing), structural coverage and timing behavior, on target.
RVS is designed to help you meet the objectives of
DO-178C guidelines and ISO 26262 standards.
What's in the suite
RVS has been used in the critical embedded industry for over 15 years and supported a number of avionics projects globally. Qualification kits for qualified RVS products have supported more than 20 DO-178B and C certification projects up to and including DAL A.
CAST-32A Compliance
Solving the challenges of multicore timing analysis
By following a V-model process, our engineers investigate multicore systems and produce evidence of multicore timing behavior.
Our approach has been designed to support projects within the CAST-32A (DO-178C) and ISO 26262 contexts.
Your safety-critical partner
Since 2004, Rapita Systems has provided on-target software verification tools and services globally to the embedded aerospace and automotive industries.
Our solutions help to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs.
We support customers with:
Our solutions in action
We have helped some of the best-known aerospace and automotive companies in the world with their verification needs.
Industries
Aerospace
Our verification tools and services are used throughout the aerospace industry, offering the means to test critical software used in avionics and space-based applications. We have a firm history of providing the evidence needed to satisfy DO-178B/C objectives, for example that code meets its low-level requirements, is covered by tests and operates within timing deadlines.
Automotive
The needs for testing of automotive electronics have increased dramatically over the past two decades. Our verification tools and services meet these evolving needs; by producing data needed to verify functional testing and optimize timing behavior, they help guide software design to meet safety standards such as ISO 26262.
