Different variants of RVS are available, each of which is optimized to best meet the verification needs of specific software industries:
- RVS Aero includes example projects, tutorials and analysis profiles optimized for engineers working on DO-178C/ED-12C projects. Analysis profiles are available based on verification requirements for DAL A-C software.
- RVS Auto includes example projects, tutorials and analysis profiles optimized for engineers working on ISO 26262 projects. Analysis profiles are available based on verification requirements for ASIL A-D software.
- RVS Space includes example projects, tutorials and analysis profiles optimized for engineers working on NASA NPR 7150.2D and ECSS-E-ST-40C projects. For ECSS-E-ST-40C, analysis profiles are available based on verification requirements for software Criticality Category.