Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Careers DO-178C Handbook
 
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

  MACH178   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  RVS development roadmap

Latest from Rapita HQ

Latest news

Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
A look back on Rapita's Multicore DO-178C training in Huntsville
RVS 3.17 Launched
View News

Latest from the Rapita blog

Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
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
View Blog

Latest discovery pages

do178c DO-178C Guidance: Introduction to RTCA DO-178 certification
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
View Discovery pages

Upcoming events

Aerospace Tech Week Europe 2023
2023-03-29
Certification Together International Conference
2023-05-10
View Events

Technical resources for industry professionals

Latest White papers

DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
A Commercial Solution for Safety-Critical Multicore Timing Analysis
Compliance with the Future Airborne Capability Environment (FACE) standard
View White papers

Latest Videos

Efficient DO-178C verification - WCET analysis
Efficient DO-178C verification - Code coverage
Efficient DO-178C verification - Functional testing
SCADE Test video thumbnail
Complementary DO-178C verification with Ansys(R) SCADE Test(TM) and RVS
View Videos

Latest Case studies

Supporting ISO 26262 ASIL D software verification for EasyMile
RapiCover’s advanced features accelerate the certification of military UAV Engine Control
Front cover of whitepaper collins
Delivering world-class tool support to Collins Aerospace
View Case studies

Other Downloads

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

Discover Rapita

Who we are

The company menu

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

US office

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

UK office

+44 (0)1904 413945
info@rapitasystems.com
Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Spain office

+34 930 46 42 72
info@rapitasystems.com
Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3, Office 306-307
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top

Breadcrumb

  1. Home
  2. Content
  3. RVS 3.12 Launched

Zero-footprint software verification with RVS 3.12

  • Features
  • Get started
  • User FAQs
  • Trial
  • Previous version

RVS 3.12 introduces a zero-footprint analysis methodology, further reducing the effort needed to verify critical software

 
coverage_analysis

Zero-footprint coverage analysis

timing _analysis

Zero-footprint timing analysis

scheduling_analysis

Zero-footprint task-level scheduling

Zero-footprint coverage analysis

RapiCoverZero lets you analyze structural coverage from software tests directly from object code on compatible systems.

With no need for source code or modifications to your development environment, this supports coverage analysis up to and including decision coverage for third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiCoverZero either standalone or along with RapiCover. For more information on RapiCoverZero, see our product page.

Watch our new RapiCover demo videos.

Zero-footprint timing analysis

RapiTimeZero lets you analyze the timing behavior of critical software directly from object code on compatible systems.

Providing execution time metrics and identifying the high-water mark path in your code, RapiTimeZero requires neither source code nor modifications to your development environment, supporting timing analysis of third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiTimeZero either standalone or along with RapiTime. For more information on RapiTimeZero, see our product page.

media

Zero-footprint task-level scheduling analysis

RapiTaskZero lets you analyze the task-level scheduling behavior of critical software directly from object code on compatible systems.

RapiTaskZero provides a range of visualization options that help you understand scheduling behavior and identify rare timing events such as priority inversions with no need for source code or modifications to your development environment, supporting the analysis of third-party libraries and in projects with negligible target resources for instrumentation.

You can use RapiTaskZero either standalone or along with RapiTask. For more information on RapiTaskZero, see our product page.

Get started with RVS 3.12

Log in to download » Get in touch » Request a trial »

More features

 
  • Requirements traceability with RapiTest
  • Automatically reformat RapiTest spreadsheets
  • Compare RapiTest reports
  • Improved RapiTime results views
  • Customizable integration workflows
  • Template integrations

User FAQs

 
"How does zero-footprint verification work?"

Zero-footprint RVS plugins combine information from branch traces collected during the execution with a disassembly of the application to understand the structure of the program and the paths taken through it. They then use this information to determine the coverage, timing behavior or task-level scheduling behavior of the program.

 
"What are the requirements for zero-footprint verification?"

Zero-footprint RVS plugins need branch traces collected during program execution as an input. These are produced by certain compatible hardware or may be collected using some external devices such as debuggers. For more information, see our zero-footprint hardware support.

 
"If I have an active support and maintenance contract, can I get started with zero-footprint verification right away?"


Zero-footprint RVS plugins are licensed separately from those that work by instrumenting source code. Contact us to explore your options.

 
 

 

 
"Is RVS 3.12 backwards-compatible with previous versions?"

Yes. RVS 3.12 is backwards compatible with previous versions. If you're upgrading from RVS 3.6 or earlier, however, we recommend that you set up a new integration to benefit from the improved project management features introduced in RVS 3.8.

 
"I'm running a wavefront version – can I upgrade to RVS 3.12?"

If you're running a wavefront, please contact us to determine whether you can upgrade.

 
 

 

 
  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • 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
    • Careers
    • 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
    • WCET Tools
    • Worst Case Execution Time
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®

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