RVS Auto Page
safety-critical automotive software
Created for software developers working on high-integrity automotive applications, RVSAuto increases the efficiency of testing processes, aids identification of performance bottlenecks, and is designed for the typical resource constrained embedded environment.
With support for system testing, unit/integration test generation and testing, structural coverage analysis and timing analysis (including worst-case execution time), RVSAuto increases the efficiency of automotive software verification and helps to identify performance bottlenecks in critical automotive code.
Supporting automotive processors, compilers and real-time operating systems which meet AUTOSAR and OSEK standards, RVSAuto is for engineers working with micro-controllers of 8 bits upwards, whether using real-time operating systems or not, and its high-quality qualification kits help meet the verification requirements of ISO 26262.
RVSAuto supports all microprocessors and DSPs, including Power PC; Intel x86; ARM; Infineon TriCore; C167 (and derivatives); Freescale HC12/HCS12/HCS12X; NEC V850; MIPS; TI TMS320 and others. It supports a wide variety of C and C++ compilers and runs on both Microsoft Windows (XP, 2000, Vista, 7) and Linux. Part of the Rapita Verification Suite (RVS) product family, RVS Auto has been developed to reduce verification costs as well as support system and integration testing processes.