Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Contact
 
Rapita Systems
 

Industry leading verification tools & services

Rapita Verification Suite (RVS)

  RapiTest - Unit/system testing   RapiCover - Structural coverage analysis   RapiTime - Timing analysis (inc. WCET)   RapiTask - Scheduling visualization   RapiCoverZero - Zero footprint coverage analysis   RapiTimeZero - Zero footprint timing analysis   RapiTaskZero - Zero footprint scheduling analysis

Multicore verification

  CAST-32A Compliance   Multicore Timing Solution   RapiDaemons

Services

  V & V Services   Qualification   Training   Tool Integration  Support

Industries

  Aerospace (DO-178C)   Automotive (ISO 26262)   Space

Other

  RTBx   Mx-Suite   Software licensing   Product life cycle policy

Latest from Rapita HQ

Latest news

FACE Virtual Technical Interchange Meeting
RVS 3.14 Launched
Propelling the next generation of scientists
Another successful DO-178C Virtual Training Course complete
View News

Latest from the Rapita blog

Metrowerks CodeTest - How and why to upgrade
Leveraging FACE Conformance Artifacts to Support Airworthiness
Assured Multicore Partitioning for FACE Systems
Going above and beyond the quality standards
View Blog

Latest discovery pages

matlab_simulink MATLAB Simulink MCDC coverage and WCET analysis
code_coverage_ada Code coverage for Ada, C and C++
amc-20-193 AMC 20-193
embedded_software_testing Embedded Software Testing Tools
View Discovery pages

Upcoming events

DO-178C Virtual Workshop
2021-03-08
FACE Virtual Technical Interchange Meeting
2021-03-23
Safe Use of Multi-Core Processors Seminar
2021-04-05
View Events

Technical resources for industry professionals

Latest White Papers

Multicore Timing Analysis for DO-178C
Seven Roadblocks to 100% Structural Coverage (and how to avoid them)
Eight top code coverage questions in embedded avionics systems
View White Papers

Latest Videos

Streamlined software verification thumbnail
Streamlined software verification with RVS 3.14
Qualification guidance thumbnail
Clear qualification guidance with RVS qualification kits
Optimizing tests to run after code changes with RVS
Easily manage test runs with RapiTest
Test Templates thumbnail
Generating test templates with RapiTest
View Videos

Latest Webinars

Incremental Assurance of Multicore Integrated Modular Avionics (IMA)
Certifying multicore systems for DO-178C (CAST-32A) projects
Airborne Safety with FACE™ in the Digital Battlespace
View Webinars

Latest Case studies

Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets
DO-178B Level A Embraer FCS
Validation of COTS Ada Compiler for Safety-Critical Applications
View Case studies

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita

US office

+1 248-957-9801
info@rapitasystems.com
41131 Vincenti Ct.
Novi, MI, 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com
Atlas House
York, YO10 3JB
UK

Back to Top
Scroll down

Safety through quality

Our software verification solutions make flying & driving safer

Discover RVS Free trial

Trusted by the best, globally

Customers
Customers
Customers
Customers
Customers
Customers

Rapita Verification Suite

On-target software verification for critical embedded systems

RVS

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

Unit/system testing

  •   Powerful test formats
  •   Link requirements to tests
Discover   Watch video

Structural coverage analysis

  •   Coverage up to MC/DC
  •   Merge coverage
Discover   Watch video

Execution time analysis

  •   Hybrid WCET calculation
  •   Optimize your code
Discover   Watch video

RTOS scheduling visualization

  •   Locate rare timing events
  •   Scheduling behavior
Discover   Watch video

RVS has been used in avionics (and other) markets for over 15 years and supported a number of avionics projects globally. The RapiCover certification kit has supported more than 20 DO-178B and C certification projects up to DAL A.

CAST-32A Compliance

Solving the challenges of multicore timing analysis

 
CAST-32A

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.

Discover CAST-32ADownload multicore white paper

 

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:

  •   V & V services
    Our fusion of expertise, smart processes and industry-leading tools reduces the effort needed to test critical software.
  •   Qualification services
  •   World-class training

 

Our solutions in action

We have helped some of the best-known aerospace and automotive companies in the world with their verification needs.

Learn how RVS tools measured and improved the overall execution time of the flight control system on the M-346 Master.
Learn how RVS tools created a measurement-based analysis of Solar Orbiter on-board software for schedulability.
Learn how RVS tools identified major worst-case execution time optimizations on the Hawk Trainer mission computer system.
How RapiCover efficiently produced coverage evidence for DO-178C certification of Cobham’s antenna control unit.

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

FACE Virtual Technical Interchange Meeting

Rapita is sponsoring the Open Group FACE™ and SOSA™ Consortia's technical interchange meeting (TIM).

RVS 3.14 Launched

Streamlined software verification with RVS 3.14

Metrowerks CodeTest - How and why to upgrade

Learn why continuing to use CodeTEST to verify software is risky, and how RVS offers an excellent alternative.

Leveraging FACE Conformance Artifacts to Support Airworthiness

In our fifth blog of the series, we focus on leveraging FACE conformance artifacts to support airworthiness
  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask

    • CAST-32A Compliance Package
    • Verification and Validation Services
    • Qualification
    • Training
    • Integration
  • Latest
  • Latest menu

    • News
    • Blog
    • Events
    • Videos
  • Downloads
  • Downloads menu

    • Brochures
    • Webinars
    • White Papers
    • Case Studies
    • Product briefs
    • Technical notes
    • Software licensing
  • Company
  • Company menu

    • About Rapita
    • Customers
    • Distributors
    • Industries
    • Locations
    • Partners
    • Research projects
    • Contact
  • Discover
    • AMC 20-193
    • What is CAST-32A?
    • Multicore Timing Analysis
    • MC/DC Coverage
    • Code coverage for Ada, C & C++
    • Embedded Software Testing Tools
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C Testing
    • WCET Tools
    • Worst Case Execution Time
    • Timing analysis (WCET) & Code coverage for Matlab Simulink

All materials © Rapita Systems Ltd. 2021 - All rights reserved | Privacy information Subscribe to our newsletter