An out-of-the-box integration between RVS and DDC-I's Deos operating system supports the verification of code running on Deos by RVS.
The integration lets you automatically generate RVS projects to verify your code at the click of a button from within the OpenArbor UI. You can generate projects in this way to support structural coverage analysis, worst-case execution time analysis, and task-level scheduling visualization. Thanks to the debugging and event monitoring capabilities of Deos, a method for collecting and extracting data needed by generated RVS projects is set up automatically along with the project, so you can get started verifying your code right away.
Feature applies to: