RVS 3.17 Launched
York Aerospace and Rocketry Society MACH-22 Update
RVS 3.16 Launched
Aerospace Tech Week – November 2021
There are how many sources of interference in a multicore system?
Supporting modern development methodologies for verification of safety-critical software
Flexible licensing software fit for modern working
DO-178C - Stage of Involvement 4
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
Air Force FACE and SOSA TIM and Expo
High Integrity Software Conference 2022
Aerospace Tech Week Americas
DO-178C Handbook
Learn how DO-178C works and discover best practices in our comprehensive 70-page guide
Download handbook
RVS 3.17
Accelerate your safety critical software verification with the latest version of RVS
Discover RVS 3.17
A(M)C 20-193 Webinar
What the change from CAST-32A to A(M)C 20-193 means for your DO-178C Multicore project
View recordingTrusted by the best, globally
Rapita Verification Suite
On-target software verification for critical embedded systems
Why choose RapiTest
Why choose RapiCover
- Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target
- Reduce test builds needed for analysis on constrained targets
- Save time with efficient merge and mark verification workflow
- Simplify verification through integration with your CI tool
- Produce evidence for DO-178 and ISO 26262 certification
Why choose RapiTime
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.
MACH178
Multicore Avionics Certification for High-integrity DO-178C projects
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 A(M)C 20-193 (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.
Latest
There are how many sources of interference in a multicore system?
Learn about the sources of interference in multicore electronics
RVS 3.17 Launched
York Aerospace and Rocketry Society MACH-22 Update
Supporting modern development methodologies for verification of safety-critical software
Learn how verification tools can support modern software development workflows
