RVS tools are designed to handle very large code bases. Because of the efficient algorithms used by RVS tools, there is no fundamental limitation to the number of lines of code that RVS can process, and our RVS tools have been used on projects with millions of lines of code.

We offer both “Node-locked” and “Floating” licenses, and a license server to support use of our tools in your specific development environment. Floating licenses follow the “Enterprise” model, meaning that you can use our tools across geographical boundaries^* and different projects and users.

For more information on our licensing models, see our RVS licensing FAQs.

All RVS licenses include access to our dedicated in-house support team, who will work with you to provide a rapid fix to your issue. This is a critical part of our vision. During 2016, we responded to 97% of new support requests within one working day, closed 56% of these within 3 working days and 91% within 20 working days. We also inform our customers of known issues via our website and email. 

We provide an extensive set of RVS documentation with each of our products, and offer training courses guiding you through the most effective use of RVS tools. All our users can benefit from privileged access to our website, which includes downloads for new product releases. 

RapiTime^Zero is an execution time analysis tool that requires no project source code or modification of the development environment being used. To extract execution time information, RapiTime^Zero analyzes branch trace information collected from a compatible target or data collection mechanism.

As part of the RVS toolsuite, it forms part of a software verification solution that also includes tools for structural coverage analysis and functional testing.

RapiTime^Zero uses two inputs from which to produce execution time results. The first of these is a branch trace collected while the program under analysis is executed, while the second is a disassembly of the executable. From these, it can understand both the program structure and the events that occurred during the program execution, allowing it to perform execution time analysis and produce execution time results.

RapiTime^Zero extracts information on program execution from a branch trace that must be collected while the program under analysis is executed. This branch trace may be produced by target hardware or collected using a specific data collection mechanism such as a Lauterbach debugger.

For a list of currently supported platforms, see our RapiTime^Zero Hardware support.

RapiTime^Zero calculates the high and low water mark paths through your program and collects minimum, average and maximum execution times for your code.

RapiTime^Zero does not currently collect worst-case execution time results, but we are developing a solution to do so. This requires more in-depth analysis of collected branch traces than that required for analysis of other execution time metrics.

For more information, contact support@rapitasystems.com.

If you need to collect worst-case execution time results, you can do so using RapiTime.

If your source code is available, yes. By importing your source code and debug symbols into your RVS project, you can view your results in the context of both your object and source code, and trace between them.

As with all RVS tools, RapiTime^Zero supports data collection on multicore architectures. To analyze the timing behavior of multicore architectures, RapiTime^Zero simply needs to know which branches corresponded to which core during program execution. This information can either be inferred by providing an individual branch trace for each core, or a combined trace that includes information on the core on which each branch was taken.

RapiTime^Zero includes a Rewind Trace utility, which lets you step through the events that occurred during program execution like you can with a debugger. This lets you set breakpoints and easily analyze the execution of your program.

As RapiTime^Zero analyzes object code directly to produce results, it supports any language that targets machine code.

You can request a trial version of RVS, which includes RapiTime^Zero. You can also arrange a demonstration, where a member of our team will work with you to show the benefits that RapiTime^Zero can offer you.

RVS integrates with continuous integration tools including Jenkins and Bamboo. By integrating RVS with your existing continuous integration tool, you can collect unit test, coverage, and execution time results with every new build, letting you easily identify anomalies in your software’s behavior as they happen.

The Rapita Verification Suite (RVS) has been used in the critical embedded industry for over 15 years and supported a number of avionics projects globally. Qualification kits for qualified RVS products have supported more than 20 DO-178B and C certification projects up to and including DAL A.

In general, statistical modeling approaches are not applicable to timing analysis of software as software timing behavior does not fit standard statistical assumptions.

In some cases, software timing behavior may fit standard statistical assumptions, but this is the exception rather than the rule and must be proven before relying on results from statistical modeling.