What does RVS mean in UNCLASSIFIED

RVS performs a variety of static and dynamic analysis techniques, including:

• Static analysis: This involves inspecting the source code without executing it to identify potential defects such as dead code, uninitialized variables, and memory leaks.
• Dynamic testing: This involves executing the code to identify defects that may not be detectable through static analysis, such as concurrency issues, timing violations, and resource leaks.

RVS offers several benefits, including:

• Improved code quality: By identifying and mitigating defects early in the development process, RVS helps improve code quality and reduce the risk of defects in production.
• Reduced development time: RVS automates many verification tasks, which can save time and effort for developers.
• Enhanced safety: RVS helps developers meet safety-critical standards, such as DO-178B and IEC 61508, by providing evidence of code correctness.

Some of the key features of RVS include:

• Seamless integration with popular development tools and environments
• Support for multiple programming languages and platforms
• Comprehensive documentation and training materials
• Tailored solutions for specific industries and applications

Yes, RVS is suitable for verifying a wide range of embedded software, including systems developed for automotive, aerospace, medical, and industrial applications.

You can download a free trial of RVS from the Rapita Systems website. Evaluation licenses are also available for extended use.