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
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
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
Aerospace Tech Week Europe 2023
Certification Together International Conference
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.
