Your browser does not support JavaScript! Skip to main content
Free 30-day trial Customer portal Careers SYSGO MCP Webinar 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

RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
View News

Latest from the Rapita blog

DO-178C - Stage of Involvement 4
DO-178C - Stage of Involvement 3
AMC 20-193 and what it means to you
DO-178C - Stage of Involvement 2
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

SYSGO + Rapita: Verifying your Multicore RTOS
2022-05-31
ERTS Congress
2022-06-01
DO-178C Multicore In-person Training
2022-07-26
Air Force FACE and SOSA TIM and Expo
2022-09-01
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

A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project
Verifying Multicore Systems supporting the FACE standard - ATW Global 2021
Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021
Qualification-video-thumbnail
Tool qualification with RVS
Revolutionized testing with RVS 3.16
View Videos

Latest Case studies

Front cover of whitepaper collins
Delivering world-class tool support to Collins Aerospace
Supporting Collins Aerospace with DO-178C Enterprise Tool Qualification (RVS)
Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets
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

Working at Rapita

Careers

Careers menu

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

RVS Support Specification

Breadcrumb

  1. Home
  2. RVS
  3. RVS Support Specification
  • Host OS's
  • Languages
  • Compilers
  • CPUs

RVS can be used to analyze software run on any host operating system or embedded target (as long as a communication channel is available).

The RVS tools can be run on 64-bit Windows 7 or newer, Windows Server 2008 R2 or newer, and a variety of 64-bit Linux distributions including Ubuntu and Red Hat. If you need support to run the RVS tools on older operating systems, contact us.

RVS tools can be qualified for use on all supported platforms.

To date, we have specifically worked with the following operating systems:

  • Greenhills Integrity
  • WindRiver VxWorks 653
  • Blackberry QNX
  • DDC-I DEOS
  • SYSGO PikeOS
  • RTEMS
  • FreeRTOS
  • LynxOS
  • Micrium MicroC/OS

RVS tools support the following languages:

  • Ada
  • C
  • C++

They also support projects with mixed languages.

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:

AdaCore

  • GNAT GPL
  • GNAT Pro

Arm

  • DS-5
  • armcl

Borland

  • Borland C++

Cosmic Software

GNU

  • GCC
  • G++

Green Hills

  • 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

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:

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 Semiconductor

  • 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 (XE161, XE162, XE164, XE167, XE169)
  • XC 2000 family (XC2200, XC2300, XC2700)
  • C166 family
  • TriCore (TC1130, TC1724, TC1728, TC1766, TC1767, TC179x, TC1796 , TC1797, AUDO)
  • Tricore Aurix (TC21x, TC22x, TC23x, TC24x, TC26x, TC270, TC290)
  • Tricore Aurix Gen2 (TC3xx)
  • XMC1000

Intel

  • x86
  • Pentium
  • Atom

NXP Semiconductors

  • ARM7-based series (LPC2100, LPC2200, LPC2300, LPC2400)
  • ARM9-based series (LPC2900, LPC3100, LPC3200)
  • ARM Cortex-M0 based series (LPC1100, LPC1200)
  • ARM Cortex-M0+ based series (LPC800)
  • ARM Cortex-M3 based series (LPC1300, LPC1700, LPC1800)
  • ARM Cortex-M4 series (LPC4000, LPC4300)

Renesas (previously Hitachi, Mitsubishi, NEC)

  • V850
  • V850E
  • V850ES
  • V850E2
  • RX family
  • RZ family
  • SuperH family
  • RH850 Family

Collins Aerospace

  • AAMP

Rolls Royce

  • VISIUMCORE

STMicroelectronics

  • ARM-based parts (STR7, STR9, STM32 F0, STM32 F1, F2, L1, W, STM 32 F3, F4)
  • ST10
  • ST20
  • ST40

Texas Instruments

  • MSP430
  • TMS320 (DSP)
  • TMS570
  • C2000
  • Stellaris (ARM Cortex-M3)
  • Hercules - TMS570 (ARM Cortex-R4)
  • TMS470M ARM Cortex-M3
  • RM4 ARM Cortex-R4

We are able to cater for a wide variety of systems in addition to those stated above. Please contact us if you have any questions.

  • 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. 2022 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter