RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
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
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
SYSGO + Rapita: Verifying your Multicore RTOS
ERTS Congress
DO-178C Multicore In-person Training
Air Force FACE and SOSA TIM and Expo
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.
