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

Rapita hosts SCADE webinar with ANSYS
FACE Virtual Technical Interchange Meeting
RVS 3.14 Launched
Propelling the next generation of scientists
View News

Latest from the Rapita blog

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
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

Future Airborne Capability Environment (FACE) Exihibition
2021-09-14
Safe Use of Multi-Core Processors Seminar
2021-11-10
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

Efficient testing with RVS and ANSYS® SCADE® Test™
Enabling cost-effective modular avionics with FACE
Streamlined software verification thumbnail
Streamlined software verification with RVS 3.14
Qualification guidance thumbnail
Clear qualification guidance with RVS qualification kits
View Videos

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

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

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

Explaining the RapiCover Tool Qualification Process

Breadcrumb

  1. Home
  2. Blog
  3. Explaining the RapiCover Tool Qualification Process
2012-06-14

The recent launch of the RapiCover DO-178B/C tool qualification pack is a good opportunity to set out some of the guiding principles behind its development and to illustrate the questions we asked ourselves to ensure we gave our customers the best possible solution to their needs.

Who wants a tool qualification pack?

If you intend to use RapiCover in your project for the generation of test coverage data to meet DO-178B/C objectives, and you are an applicant seeking certification for your project, then you need to consider qualification of RapiCover for use on that project.

What will customers do with the tool qualification pack?

The applicant liaises with the certification authority during the qualification process for two main reasons: First, to explain how the tool is used: specifically, what activities are being replaced by use of the tool.

"I'm using RapiCover to determine statement and decision coverage"

Second, to explain why the tool is trustworthy. Trust breaks down into verification of the tool requirements and configuration control of the tool delivery.

"I can trust RapiCover because the tool meets its requirements and I have the right version of the tool"

What does the qualification pack include?

The qualification pack is a set of applicant-editable documents according to the qualification approach chosen. The basic tool qualification data to support all qualification approaches includes:

  • A tool qualification plan document (TQP) with placeholders for the applicant to customise. This is important for a COTS tool as it sets out the different responsibilities of the applicant and the tool vendor.
  • A tool qualification accomplishment summary document (TAS), again with placeholders. A key part of this document for us is the explanation of deviations from the planned qualification activities, which we can track through the problem reporting system.
  • The tool operational requirements document (TOR). For RapiCover testing, we include the integration with the target test hardware in the scope of the requirements, so that they cover the whole process of running tests and obtaining coverage data from the target.
  • The developer version of the tool verification results (TVR) showing that the tool meets its TOR. We test using a flexible integration system that mimics the behavior of a range of standard integration approaches.
  • Access to software lifecycle plans and configuration control data.

Our standard qualification kit includes all of the qualification data, but it also includes facilities for operational verification of the complete applicant integration of RapiCover:

  • Our tool verification kit (TVK) for RapiCover. This is our suite of tests that exercise RapiCover and determine its compliance with the TOR.
  • Our test case, procedure and results format documentation (TCPR). This explains the use of TVK, including customisation for a particular applicant integration.
  • The TVK customisation report. We provide placeholders here so that the results of following the customisation procedure may be documented appropriately.

Our qualification service includes everything from the qualification kit, plus full examination of the use of RapiCover within a specific integration by one of our qualification engineers. During this integration visit, we provide target-specific customisation of TVK, workflow analysis and production of TVR data on-site. From this, we generate:

  • A qualification integration report, which documents the analysis of the RapiCover workflow. This includes analysis of justified deviations from recommended workflow and conditions of use.
  • A complete TVK configuration report. This documents the customization of TVK for the specific applicant integration by the qualification engineer.
  • A complete set of tool verification results for the applicant system. This is the evidence showing that, in addition to correctly operating with generic integrations, the tool also operates correctly with the specific applicant integration.

For more details, download our DO-178B/C and ISO 26262 tool qualification Product Briefs.

White papers

Related blog posts

Going above and beyond the quality standards

.
2020-11-03

It’s a bad idea to hide problems from customers – so we don’t

.
2017-01-16

How do I demonstrate the safe use of instrumented source code analysis?

.
2015-08-21

CAST-10 "Literal" Interpretation of Decision Coverage Increases Rigor of Testing Requirements

.
2015-03-25

Pagination

  • Current page 1
  • Page 2
  • Page 3
  • Page 4
  • Next page Next ›
  • Last page Last »
  • 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