RVS Acad

RVS Acad
RVS for academic and teaching purposes

Designed to meet the needs and budget of the academic environment, RVS Acad provides solutions for verifying critical software and is available at a greatly discounted price compared to commercial versions of RVS.

Enquire now » Academic articles »

Rapita in academia

Rapita Systems has strong ties to the academic environment. Beginning as a spin-off from the University of York, we remain actively involved in research activities including collaboration with universities worldwide.

  • ASC is an R&D project led by Rapita Systems which aims to increase the amount of software that can be executed in safety-critical embedded systems such as jet engines to support increased functionality, reduce project costs, and delay expensive hardware upgrades; this work...

    SECT-AIR aims to increase the productivity of critical software development in the UK aerospace industry, optimize software costs and timescales and promote the use of efficient critical software development systems.

    SECT-AIR aims to increase the productivity of critical...

  • The AMASS project aims to lower certification costs for cyber-physical systems in the largest European industrial markets including automotive, railway, aerospace, space and energy.

    AUTOSAC aims to reduce the cost of developing secure software by automating the generation of tests from Spark Ada contracts.

  • PROXIMA is an Integrated Project (IP) of the Seventh framework programme for research and technological development (FP7). The PROXIMA project provides industry ready software timing analysis using probabilistic analysis for many-core and multi-core critical real-time embedded systems and...

    P-SOCRATES is a small or medium scale focused research project funded in part by the European Union’s Seventh Framework Programme (FP7). The project will address the time-criticality and parallelisation challenges common to High-Performance Computing (HPC) and Embedded Computing (EC)...

  • The CRAFTERS project (ARTEMIS-2011-1-295371) is dedicated to the development of improved multi-core real-time applications and associated reliable timing analysis methodologies. The project is co-funded by the European Commission under the ARTEMIS Joint Undertaking Programme.

    VeTeSS will develop standardized tools and methods for verification of the robustness of safety-relevant systems, particularly against transient common-cause faults. The project is co-funded by the EU through the ARTEMIS Joint Undertaking, a pan-European research programme to strengthen...

If you are engaged in research in the field of software verification, we’d love to know, and we acknowledge requests for collaboration on research activities in selected areas.


Which products are you interested in?
Tell us more about your project.
Sign up to receive news updates and exclusive event invitations from Rapita Systems.

When you contact us, we will process your personal data in accordance with our data protection policy, please see our Customer Privacy Information for more information.