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

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

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

Breadcrumb

  1. Home
  2. RVS
  3. RapiCover
RapiCover

Low-overhead coverage analysis for critical software

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 by integrating with your CI tool
  •  Produce evidence for DO-178 and ISO 26262 certification
Coverage white paper Request a demo
  • Overview
  • Features
  • Resources
  • Compatibility
  • FAQs

Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target

By automating code instrumentation and coverage collection, RapiCover reduces the effort needed to verify your code coverage up to and including MC/DC. Flexible integration strategies ensure efficient verification, regardless of your target hardware.

RapiCover measures code that other tools don’t, such as treating Boolean and bitwise operators as decisions, and lets you test decisions with up to 1000 conditions.

Reduce coverage analysis effort
Reduce test builds

Reduce test builds needed for analysis on constrained targets

RapiCover’s low target overheads help you cut the number of builds you need for coverage analysis on even the most constrained systems. With flexible integration strategies, RapiCover lets you fit more tests on target whether your RAM, code size or execution time are constrained.

Customers like Collins Aerospace and OHB Sweden cut the number of builds they needed using RapiCover, reducing their end-to-end testing time by up to 40%.

Save time with efficient merge and mark verification workflow

Reduce your testing effort through an efficient verification workflow. Collect coverage from system tests, automatically merge this with coverage from integration and unit tests, and mark any remaining coverage holes as covered by analysis using RapiCover justifications.

This workflow is ideal for DO-178C testing even when your code changes as RapiCover helps you review which of your coverage results and justifications need to be changed.

efficient workflow
continuous integration

Simplify verification through integration with your continuous integration tool

Keep your verification on track by using RapiCover alongside your continuous integration tool. Collect coverage results and track your project’s progress over time with our plugins for Jenkins and Bamboo.

By analyzing your code with RapiCover on every new build, you can easily identify anomalies in your code coverage as they happen.

Produce evidence for DO-178 and ISO 26262 certification

Get ready for DO-178C and ISO 26262 certification with our qualification kits. Our off-the-shelf qualification kits and qualified target integration service helps you on the road to qualifying your use of RVS.

Many features of RVS are qualified, including our instrumentation and coverage merging, which has saved customers like Collins Aerospace a huge amount of manual effort.

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.

produce certification evidence

Product features

  • Coverage analysis
  • Justifications
  • Integrated testing environment
  • Project navigation
  • Integration with build systems
  • Integration with embedded targets
  • Integration with third party tools
  • Language support
  • Licensing
  • Support and training
  • Qualification
  • Structural coverage analysis Analyze the code coverage achieved by software tests up to and including the MC/DC level.
    Discover this feature
  • Advanced MC/DC analysis Advanced MC/DC analysis.
    Discover this feature
  • Highlight missing MC/DC vectors RapiCover highlights missing MC/DC vectors to help you refine test cases.
    Discover this feature
  • Automatically merge coverage Merge coverage from different builds automatically, such as system and unit tests.
    Discover this feature
  • Automate testing on host and target Run tests on host computers and test rigs in continuous build environments.
    Discover this feature
  • Efficient integration workflow Configure integrations of RVS into your development environment quickly and easily.
    Discover this feature
  • RVS Project Manager Take your test project from creation to completion with an intuitive user-interface. 
    Discover this feature
  • Shared integration with instrumentation-based RVS tools After integrating one RVS tool to work a development environment, it is trivial to use others. 
    Discover this feature
  • Portable test environments Multiple users can share the same test environment.
    Discover this feature
  • Identify tests that hit each element Identify tests that "hit" each tested element in your source code.
    Discover this feature
  • Remove coverage from reports Remove selected coverage from reports to support continuous development.
    Discover this feature
  • Optimal Dataset Calculator Calculate and run the minimum set of tests to achieve identical coverage to a previous set of tests.
    Discover this feature
  • Customizable workflow Customize the RVS workflow to best meet your needs.
    Discover this feature
  • Template integrations Create and use template integrations to reduce your effort integrating RVS with your system.
    Discover this feature
  • Compare reports Compare reports from different builds to track project progress over time.
    Discover this feature
  • Combine coverage from object code and source code analysis Combine coverage collected from object code and source code analysis.
    Discover this feature
  • Customizable color scheme Customize the color scheme used to display your results.
    Discover this feature
  • Merge Coverage utility Easily merge coverage from multiple test runs.
    Discover this feature
  • Comprehensive verification toolsuite One tool to meet all your software verification needs.
    Discover this feature
  • Configurable export formats Export coverage results in a variety of formats.
    Discover this feature
  • Justify untestable code Mark code as covered by manual analysis to justify not covering it during tests.
    Discover this feature
  • Migrate justifications when code changes Justifications migrate; when code changes, automatically or after manual review.
    Discover this feature
  • Portable justification library A single store of justifications can be used by all users working on a project. 
    Discover this feature
  • Multi-justifications Apply a single justification to multiple locations to reduce justification effort.
    Discover this feature
  • Justification templates Create and apply templates to add new justifications more easily.
    Discover this feature
  • Custom fields Apply and use custom fields for your justifications.
    Discover this feature
  • Treemaps View coverage and hierarchy of code at a glance.
    Discover this feature
  • Code viewer View code with syntax highlighting and color-coding of results.
    Discover this feature
  • Easily filter results Easily filter results to focus your analysis.
    Discover this feature
  • Datasets for managing tests Assign tests to datasets to support easy filtering of results.
    Discover this feature
  • Filter by datasets Apply test datasets, which you can use to filter results and calculate the optimal tests to run when code changes.
    Discover this feature
  • Filter by scopes Filter results by specific files and functions. 
    Discover this feature
  • Advanced search function Search reports for specific elements using advanced queries. 
    Discover this feature
  • Integrate with existing build systems Collect data from almost any build system.
    Discover this feature
  • Compiler wrappers The recommended build integration strategy requires little if any change to the development environment.
    Discover this feature
  • Clone integration Copy the build system to build and test code with RVS.
    Discover this feature
  • Flexible integration strategies Collect data from almost any embedded target with flexible collection strategies.
    Discover this feature
  • Multicore support Verify critical multicore systems.
    Discover this feature
  • Low target overheads Fit more tests on your target and reduce the number of builds you need to run.
    Discover this feature
  • Freeze and resume coverage collection Freeze and resume collection to eliminate incidental coverage from bootup programs.
    Discover this feature
  • Collect coverage across power cycles Stream coverage data to collect it across target power cycles.
    Discover this feature
  • Lauterbach debugger Collect verification data from Lauterbach debuggers.
    Discover this feature
  • iSYSTEM debugger Collect verification data from iSYSTEMTM debuggers.
    Discover this feature
  • Efficient MC/DC target library Test an almost unlimited number of conditions per decision and get more from the space on your target.
    Discover this feature
  • Jenkins Run RVS automatically through Jenkins to collect and archive results.
    Discover this feature
  • Bamboo Run RVS automatically through Bamboo to collect and archive results.
    Discover this feature
  • C Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
    Discover this feature
  • C++ Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
    Discover this feature
  • Ada Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.
    Discover this feature
  • Mixed language support Support for mixed languages in the same code base.
    Discover this feature
  • Assembly Support for testing Assembly code.
    Discover this feature
  • Compiler extension editor Manage extensions to support non-standard programming languages with an interactive editor.
    Discover this feature
  • Flexible licensing options Select floating or node-locked licenses with annual or perpetual duration.
    Discover this feature
  • Floating licenses Floating licenses support multiple users and shared working environments.
    Discover this feature
  • Node-locked licenses Node-locked licenses support use of RVS within a limited geographical area.
    Discover this feature
  • Perpetual licenses License RVS for use indefinitely.
    Discover this feature
  • Annual licenses License RVS in annual increments.
    Discover this feature
  • FlexNet Publisher compatible export format License usage data is exported in a format compatible for tracking using FlexNet Publisher.
    Discover this feature
  • Easy to get started Integration and learning resources help you get started verifying your code in no time.
    Discover this feature
  • Support Dedicated support service to resolve technical issues quickly.
    Discover this feature
  • Tutorials Learn how to get the most from our verification solutions with simple, interactive tutorials.
    Discover this feature
  • Training Get up to speed with custom training courses delivered by skilled field application engineers.
    Discover this feature
  • Documentation Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.
    Discover this feature
  • DO-178B/C qualification kit Qualification kits for RVS qualification in DO-178B/C projects.
    Discover this feature
  • ISO 26262 qualification kit Qualification kits for RVS qualification in ISO 26262 projects.
    Discover this feature
  • Qualified target integration service Additional evidence to qualify the use of RVS in your development environment.
    Discover this feature
  • Qualified instrumenters Qualified instrumentation that doesn't require manual review.
    Discover this feature
  • Assurance issue notification We notify you of issues that may affect the validity of your results as soon as we identify them.
    Discover this feature

Videos

  Structural coverage analysis with RapiCover Thumbnail
Structural coverage analysis with RapiCover
00:01:14  |  Overview
 
Justifying untestable code with RapiCover Thumbnail
Justifying untestable code with RapiCover
00:05:00  |  Feature video
 
Merging coverage from multiple tests with RapiCover Thumbnail
Merging coverage from multiple tests with RapiCover
00:01:26  |  Feature video
 
Merging coverage from different builds with RapiCover Thumbnail
Merging coverage from different builds with RapiCover
00:02:32  |  Feature video
 

Downloads

 
Seven Roadblocks to 100% Structural Coverage (and how to avoid them)
 
Eight top code coverage questions in embedded avionics systems
  Brochure
Rapita Systems Brochure
  Product brief
On-target structural code coverage analysis with RapiCover
  Product brief
RapiCover Tool Qualification: DO-178B/C
  Product brief
RapiCover Tool Qualification: ISO 26262

Pagination

  • Current page 1
  • Page 2
  • Page 3
  • Page 4
  • Next page ›
  • Last page Last »

News & Blog

Blog
Software verification on the Solar Orbiter
Blog
Explaining the RapiCover Tool Qualification Process
Blog
If RapiTime provides Ipoint coverage, why do I need RapiCover?
Blog
Does DO-178C require object code structural coverage?
Blog
What are the overheads of code coverage? Using "Doom" as an example
Blog
Code coverage without instrumentation

Pagination

  • Current page 1
  • Page 2
  • Page 3
  • Page 4
  • Next page ›
  • Last page Last »

Operating Systems

Type Operating System
On-target deployment RapiCover can be used to analyze software run on any host operating system or embedded target (as long as a communication channel is available).
On-host tool Windows 7+
Windows Server 2008 R2+
Variety of Linux distributions (including Ubuntu and Red Hat)
For older operating systems, contact us.
RapiCover can be qualified for use on all supported platforms.
 

Programming languages

Language
Ada
C
C++
Mixed languages

Compilers

RVS tools can be used on projects built with almost any compiler.

The non-exhaustive list below shows some of the compilers we have worked with:

Vendor Compiler
AdaCore GNAT GPL
GNAT Pro
Arm DS-5
armcl
Borland Borland C++
Cosmic Software --
GNU GCC
G++
Greenhills Ada MULTI
C Multi
IAR Systems Embedded Workbench
Keil C51
Microsoft Visual Studio
NXP CodeWarrior HCS12
TASKING CC166
Texas Instruments CCSv6
CL500
CL2000
C6X
C28X
Wind River Diab
CCPPC

CPUs

Due to their flexible integration strategies, RVS tools can collect data from almost any target CPU.

The non-exhaustive list below shows some of the architectures that RVS tools can be used with:

Vendor Platform
Arm ARM7
ARM9
ARM10
ARM11
Cortex-M
Cortex-R
Cortex-A
Analog Devices Blackfin
SHARC
SigmaDSP
TigerSHARC
ADSP-21xx
Atmel AT90CAN128
Cobham Gaisler LEON3
Freescale (NXP) 68000
680x0
ColdFire
M-CORE
Power Architecture (MPC5xx, MPC55xx, MPC56xx)
ARM Cortex-M microcontrollers (Kinetis E series, Kinetis K series, Kinetis L series, Kinetis M series, Kinetis W series).
56k DSP family
QorIQ (P2010, P2020, P4080, P5010, P5020, P5021, P5040)
IBM PowerPC (PPC) implementations:
G1 (601)
G2 (602, 603, 604, 620)
G3 (740/750)
7xx/750 family
G5/970 series
401
403
405
440 range
Infineon
XE166 family
XC 2000 family
C166 family
TriCore
Tricore Aurix
Tricore Aurix Gen2
XMC1000

Frequently asked questions

  • General
  • Qualification and certification
  • Compatibility
  • Licensing and support
Expand All
  • What is RapiCover? 
  • How does RapiCover work? 
  • Which coverage criteria can I measure using RapiCover?  
  • Can I determine coverage for a decision containing large numbers of conditions? 
  • Can I collect coverage over multiple builds? 
  • Can I add manual configurations that flag my code as being exempt/uncoverable? 
  • What happens when I change my code? 
  • Can I collect coverage data across power cycles and reset sequences?  
  • How is my data presented? 
  • My software is part of a product that must be certified against a safety guideline. Can RapiCover be qualified for use in my project? 
  • How do I verify my software’s functional and temporal behavior when instrumentation has been applied? 
  • Which languages does RapiCover support? 
  • How large a code base can RVS tools handle? 
  • Which host operating systems can RVS be used on? 
  • Can I use RapiCover with my build system? 
  • Can I use RVS tools with my continuous integration environment? 
  • Which hardware architectures do RVS tools support? 
  • How are RVS products licensed? 
  • What happens if I encounter an issue while using an RVS tool? 
  • How do you support RVS users? 
  • How long has RVS been used for software verification? 
  • How do I learn more about RapiCover? 
  • How do I learn more about RapiCover?

    You can request a trial version of RVS, which includes RapiCover. You can also arrange a demonstration, where a member of our team will work with you to show the benefits RapiCover can offer you.

    If you're interested in RapiCover in academia, you can search for it in the academic press. 

  • What is RapiCover?

    RapiCover is the leading tool for structural code coverage analysis of critical software.

    Used globally in the aerospace and automotive industries, it reduces the cost of analyzing structural code coverage analysis up to and including MC/DC.

    As part of the RVS toolsuite, it forms part of a software verification solution that also includes tools for functional testing and worst-case execution time analysis. 

  • How does RapiCover work?

    RapiCover works by injecting instrumentation code into source code and executing the native build system so that coverage results are collected during program execution. Data can be collected from almost any target hardware by a variety of approaches.

  • Which host operating systems can RVS be used on?

    RVS tools support Windows 7 or newer, Windows Server 2008 R2 or newer, and a variety of Linux distributions including Ubuntu and Red Hat.

    RVS tools can be used on projects with unsupported operating systems by using a clone integration to split the process and delegate parts of it to the unsupported machine.

  • Which hardware architectures do RVS tools support?

    RVS tools can be integrated to work with almost any embedded target. Our engineers can work with you to determine the optimal strategy for integrating the tool with your target, even for multi-core architectures. For more information on the hardware architectures we have integrated RVS tools with, see the compatibility information on our RVS product pages.

  • Can I use RapiCover with my build system?

    RapiCover can be integrated to work with almost any compiler and target hardware. Our integration service promises to deliver a robust integration of RapiCover into your build system.

  • Which languages does RapiCover support?

    RapiCover supports C, C++ and Ada projects, including mixed-language ones.

  • My software is part of a product that must be certified against a safety guideline. Can RapiCover be qualified for use in my project?

    RapiCover is designed to meet the most stringent needs of certification processes, such as the DO-178B/C process used in the aerospace industry and the ISO 26262 process used in the automotive industry. We can provide developer qualification documents, a template integration qualification report and on-site tests to support you in qualifying RapiCover tools in projects requiring certification.

  • Can I collect coverage data across power cycles and reset sequences?

    RapiCover can be configured to collect data in real-time while your software runs. By writing data to an external device, the data will remain in place while your system reboots, and collection can be reinitialized when it restarts. This means that you can collect coverage data across a shutdown or reset sequence. This is subject to your target hardware architecture. 

  • Can I determine coverage for a decision containing large numbers of conditions?

    By default, RapiCover supports 30 conditions per decision, and includes support for up to 1000 conditions per decision using an alternate, inbuilt instrumentation strategy.

  • Can I collect coverage over multiple builds?

    Using our configurable instrumentation mechanism, you can instruct RapiCover to determine coverage for specific subprograms as necessary. After running your tests, it’s easy to merge coverage data from these runs into a combined report using RapiCover’s Merge Coverage utility.

  • Which coverage criteria can I measure using RapiCover?

    You can measure the most common coverage criteria required to support DO-178B/ED-12B, DO-178C/ED-12C and ISO 26262 certification using RapiCover. This includes function, call, statement, branch, decision and condition coverage, and MC/DC.

  • How large a code base can RVS tools handle?

    RVS tools are designed to handle very large code bases. Because of the efficient algorithms used by RVS tools, there is no fundamental limitation to the number of lines of code that RVS can process, and our RVS tools have been used on projects with millions of lines of code.

  • How are RVS products licensed?

    We offer both “Node-locked” and “Floating” licenses, and a license server to support use of our tools in your specific development environment. Floating licenses follow the “Enterprise” model, meaning that you can use our tools across geographical boundaries* and different projects and users.

    For more information on our licensing models, see our RVS licensing FAQs.

  • What happens if I encounter an issue while using an RVS tool?

    All RVS licenses include access to our dedicated in-house support team, who will work with you to provide a rapid fix to your issue. This is a critical part of our vision. During 2016, we responded to 97% of new support requests within one working day, closed 56% of these within 3 working days and 91% within 20 working days. We also inform our customers of known issues via our website and email. 

  • How do you support RVS users?

    We provide an extensive set of RVS documentation with each of our products, and offer training courses guiding you through the most effective use of RVS tools. All our users can benefit from privileged access to our website, which includes downloads for new product releases. 

  • Can I add manual configurations that flag my code as being exempt/uncoverable?

    RapiCover and RapiCoverZero include a powerful “justification” mechanism that lets you mark code as covered. Using this feature, you can provide a rationale for justifying the code and create templates to justify code more easily. When your code changes, justifications are automatically migrated to represent the new location of your justified code.

  • What happens when I change my code?

    RapiCover and RapiCoverZero retain information about the revision of your code it used to generate results. The tool will report an error if you try to merge coverage from incompatible revisions. RapiCover includes an Optimal Dataset Calculator feature you can use to calculate the least expensive tests you need to run again when your code changes, saving you valuable testing effort.

  • How is my data presented?

    All RVS tools include a friendly user-interface that presents your data in both tabular and graphical formats. Using this interface, you can filter your results to zoom in on target functions, making it easy to find the information you are looking for.

    Treemaps provide a high-level overview of your code base and help you understand the coverage of your code at a glance.

  • Can I use RVS tools with my continuous integration environment?

    RVS integrates with continuous integration tools including Jenkins and Bamboo. By integrating RVS with your existing continuous integration tool, you can collect unit test, coverage, and execution time results with every new build, letting you easily identify anomalies in your software’s behavior as they happen.

  • How do I verify my software’s functional and temporal behavior when instrumentation has been applied?

    We recommend that, when performing functional testing of safety-critical applications for a final run-for-score, you run your full test suite both with and without coverage instrumentation applied, then confirm that the results match. This provides evidence that RVS instrumentation has not changed the functional behavior of your code.

  • How long has RVS been used for software verification?

    The Rapita Verification 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.


Rapicover success stories

RapiCover has been used by aerospace and automotive companies in the world with their structural code coverage.

How RapiCover efficiently produced coverage evidence for DO-178C certification of Cobham’s antenna control unit.
How our tools were used for DO-178C DAL A code coverage analysis for a complex flight control system.
Learn how RapiCover increased the efficiency of code coverage analysis for OHB Sweden's DO-178C Attitude Orbital Control System.
Learn how RVS tools measured structural code coverage up to MC/DC on the Flight Control System of the M-346.
 

Request Demo

Times are in GMT

What happens next?
We aim to respond to demo requests within 1 working day. 

  • 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