RVS Features

RVS
On-target software verification for
critical embedded systems

Full feature list

Functional testing

Run functional tests of software at the unit, integration and system level.


Efficient test generation

Reduce the time needed to write and execute tests.


Powerful test formats

Write simple and complex tests easily using user-friendly formats.


Flexible stubbing

Apply stub, mock, spy, fake and dummy behavior to functions.


White box testing

Observe and test behavior while functions execute, not just at function boundaries.


Black box testing

Run functional tests without modifying object code.


Access private objects

Test and stub private objects without needing specific test code to expose them.


Multithreaded testing

Test multithreaded, non-deterministic software and identify potential race conditions in your code.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Configure integrations of RVS into your development environment quickly and easily.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with instrumentation-based RVS tools

After integrating one RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Easily configurable analysis

Apply analysis settings easily using a friendly user interface.


Configurable export formats

Export test results in a variety of formats.


Compare reports

Compare reports from different builds to track project progress over time.


Requirements traceability

Traceability between testing artifacts including requirements and tests.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Automatically reformat spreadsheet tests

Ensure that your spreadsheet tests maintain a consisent style with an automatic reformatting tool.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Customizable color scheme

Customize the color scheme used to display your results.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Code viewer

View code with syntax highlighting and color-coding of results.


Easily filter results

Easily filter results to focus your analysis.


Advanced search function

Search reports for specific elements using advanced queries. 


Treemaps

View coverage and hierarchy of code at a glance.


Integrate with existing build systems

Collect data from almost any build system.


Compiler wrappers

The recommended build integration strategy requires little if any change to the development environment.


Clone integration

Copy the build system to build and test code with RVS.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Bamboo

Run RVS automatically through Bamboo to collect and archive results.


AdaTEST

A straightforward migration path helps you upgrade from AdaTEST. 


Software Configuration Management

Integration with Software Configuration Management tools ensures that input tests remain up to date.


Flexible integration strategies

Collect data from almost any embedded target with flexible collection strategies.


Multicore support

Verify critical multicore systems.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


C

Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


C++

Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Ada

Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.


Mixed language support

Support for mixed languages in the same code base.


Assembly

Support for testing Assembly code.


Compiler extension editor

Manage extensions to support non-standard programming languages with an interactive editor.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Perpetual licenses

License RVS for use idefinitely.


Annual licenses

License RVS in annual increments.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Support service

Dedicated support service to resolve technical issues quickly.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Tutorials

Learn how to get the most from our verification solutions with simple, interactive tutorials.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


DO-178B/C qualification kit

Qualification kits for RVS qualification in DO-178B/C projects.


ISO 26262 qualification kit

Qualification kits for RVS qualification in ISO 26262 projects.


Qualified target integration service

Additional evidence to qualify the use of RVS in your development environment.


Assurance issue notification

We notify you of issues that may affect the validity of your results as soon as we identify them.


Structural coverage analysis

Analyze the code coverage achieved by software tests up to and including the MC/DC level.


Advanced MC/DC analysis

Advanced MC/DC analysis.


Highlight missing MC/DC vectors

RapiCover highlights missing MC/DC vectors to help you refine test cases.


Automatically merge coverage

Merge coverage from different builds automatically, such as system and unit tests.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Configure integrations of RVS into your development environment quickly and easily.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with instrumentation-based RVS tools

After integrating one RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Easily configurable analysis

Apply analysis settings easily using a friendly user interface.


Identify tests that hit each element

Identify tests that "hit" each tested element in your source code.


Remove coverage from reports

Remove selected coverage from reports to support continuous development.


Optimal Dataset Calculator

Calculate the minimum set of tests to achieve identical coverage to a previous set of tests.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Compare reports

Compare reports from different builds to track project progress over time.


Combine coverage from object code and source code analysis

Combine coverage collected from object code and source code analysis.


Customizable color scheme

Customize the color scheme used to display your results.


Merge Coverage utility

Easily merge coverage from multiple test runs.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Configurable export formats

Export coverage results in a variety of formats.


Justify untestable code

Mark code as covered by manual analysis to justify not covering it during tests.


Migrate justifications when code changes

Justifications migrate when code changes, automatically or after manual review. 


Portable justification library

A single store of justifications can be used by all users working on a project. 


Multi-justifications

Apply a single justification to multiple locations to reduce justification effort.


Justification templates

Create and apply templates to add new justifications more easily. 


Custom fields

Apply and use custom fields for your justifications.


Treemaps

View coverage and hierarchy of code at a glance.


Code viewer

View code with syntax highlighting and color-coding of results.


Easily filter results

Easily filter results to focus your analysis.


Datasets for managing tests

Assign tests to datasets to support easy filtering of results.


Filter by datasets

Apply test datasets, which you can use to filter results and calculate the optimal tests to run when code changes.


Filter by scopes

Filter results by specific files and functions. 


Advanced search function

Search reports for specific elements using advanced queries. 


Integrate with existing build systems

Collect data from almost any build system.


Compiler wrappers

The recommended build integration strategy requires little if any change to the development environment.


Clone integration

Copy the build system to build and test code with RVS.


Flexible integration strategies

Collect data from almost any embedded target with flexible collection strategies.


Multicore support

Verify critical multicore systems.


Low target overheads

Fit more tests on your target and reduce the number of builds you need to run.


Freeze and resume coverage collection

Freeze and resume collection to eliminate incidental coverage from bootup programs.


Collect coverage across power cycles

Stream coverage data to collect it across target power cycles.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


Efficient MC/DC target library

Test an almost unlimited number of conditions per decision and get more from the space on your target.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Bamboo

Run RVS automatically through Bamboo to collect and archive results.


C

Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


C++

Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Ada

Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.


Mixed language support

Support for mixed languages in the same code base.


Assembly

Support for testing Assembly code.


Compiler extension editor

Manage extensions to support non-standard programming languages with an interactive editor.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Perpetual licenses

License RVS for use idefinitely.


Annual licenses

License RVS in annual increments.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Support service

Dedicated support service to resolve technical issues quickly.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Tutorials

Learn how to get the most from our verification solutions with simple, interactive tutorials.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


DO-178B/C qualification kit

Qualification kits for RVS qualification in DO-178B/C projects.


ISO 26262 qualification kit

Qualification kits for RVS qualification in ISO 26262 projects.


Qualified target integration service

Additional evidence to qualify the use of RVS in your development environment.


Assurance issue notification

We notify you of issues that may affect the validity of your results as soon as we identify them.


Execution time analysis

Analyze the execution time behavior of code as tested on the embedded hardware.


Worst-case execution time analysis

Produce WCET metrics through a hybrid measurement-based/static analysis approach.


Optimize code for timing performance

Easily identify code with the the greatest impact on timing performance.


Produce certification evidence

Produce evidence for certification by following a recommended workflow that focuses analysis.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Configure integrations of RVS into your development environment quickly and easily.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Efficient, configurable analysis

Apply instrumentation based on your functions' expected execution frequencies.


Shared integration with instrumentation-based RVS tools

After integrating one RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Easily configurable analysis

Apply analysis settings easily using a friendly user interface.


Compare reports

Compare reports from different builds to track project progress over time.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Customizable color scheme

Customize the color scheme used to display your results.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Configurable export formats

Export timing results in a variety of formats.


View detailed timing metrics at a glance

Specialized charts and tables make it easy to focus your analysis.  


Execution Time Profile Chart

View a histogram of your software's timing behavior to easily identify patterns.


Invocation Timeline Chart

A timeline of your invocations helps you visualize the order of calls and how long each took to execute.


Aggregate Profile Chart

A configurable chart helps you visualize timing data in the context of your code's call tree.


Rewind Trace

Step through execution traces to investigate timing events using a debugger-like interface.


Code viewer

View code with syntax highlighting and color-coding of results.


Easily filter results

Easily filter results to focus your analysis.


Advanced search function

Search reports for specific elements using advanced queries. 


Treemaps

View coverage and hierarchy of code at a glance.


Integrate with existing build systems

Collect data from almost any build system.


Compiler wrappers

The recommended build integration strategy requires little if any change to the development environment.


Clone integration

Copy the build system to build and test code with RVS.


Flexible integration strategies

Collect data from almost any embedded target with flexible collection strategies.


Multicore support

Verify critical multicore systems.


Low target overheads

Fit more tests on your target and reduce the number of builds you need to run.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


C

Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


C++

Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Ada

Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.


Mixed language support

Support for mixed languages in the same code base.


Assembly

Support for testing Assembly code.


Compiler extension editor

Manage extensions to support non-standard programming languages with an interactive editor.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Perpetual licenses

License RVS for use idefinitely.


Annual licenses

License RVS in annual increments.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Support service

Dedicated support service to resolve technical issues quickly.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Tutorials

Learn how to get the most from our verification solutions with simple, interactive tutorials.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


DO-178B/C qualification kit

Qualification kits for RVS qualification in DO-178B/C projects.


Qualified target integration service

Additional evidence to qualify the use of RVS in your development environment.


Assurance issue notification

We notify you of issues that may affect the validity of your results as soon as we identify them.


System event tracing

Automatically analyze the behavior of tasks in your system as it runs.


Understand scheduling behavior

Understand your system's scheduling behavior at a glance.


Locate rare timing events

Scan large traces for specific unusual situations.

Analyze system capacity issues

Identify and analyze capacity issues in your system.


OS-only instrumentation

Collect task scheduling data without instrumenting individual tasks.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Configure integrations of RVS into your development environment quickly and easily.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with instrumentation-based RVS tools

After integrating one RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Easily configurable analysis

Apply analysis settings easily using a friendly user interface.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Customizable color scheme

Customize the color scheme used to display your results.


Customizable task colors

Customizable task colors help you highlight the tasks you're most interested in.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Code viewer

View code with syntax highlighting and color-coding of results.


Easily filter results

Easily filter results to focus your analysis.


Advanced search function

Search reports for specific elements using advanced queries. 


Invocation Timeline Chart

A timeline of your invocations helps you visualize the order of calls and how long each took to execute.


Integrate with existing build systems

Collect data from almost any build system.


Compiler wrappers

The recommended build integration strategy requires little if any change to the development environment.


Clone integration

Copy the build system to build and test code with RVS.


Flexible integration strategies

Collect data from almost any embedded target with flexible collection strategies.


Multicore support

Verify critical multicore systems.


Low target overheads

Fit more tests on your target and reduce the number of builds you need to run.


Lauterbach debugger

Collect verification data from LauterbachTM debuggers.


iSYSTEM debugger

Collect verification data from iSYSTEMTM debuggers.


C

Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


C++

Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.


Ada

Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.


Mixed language support

Support for mixed languages in the same code base.


Assembly

Support for testing Assembly code.


Compiler extension editor

Manage extensions to support non-standard programming languages with an interactive editor.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Perpetual licenses

License RVS for use idefinitely.


Annual licenses

License RVS in annual increments.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Support service

Dedicated support service to resolve technical issues quickly.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


Zero footprint coverage analysis

Zero footprint coverage analysis for critical embedded software.


Source to object code traceability

Trace results collected from analyzing program execution to source code, where available.


Hardware support

Supported operating systems, trace capture mechanisms and CPU architectures.


Automatically merge coverage

Merge coverage from different builds automatically, such as system and unit tests.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Combine coverage from object code and source code analysis

Combine coverage collected from object code and source code analysis.


Merge Coverage utility

Easily merge coverage from multiple test runs.


Efficient integration workflow

Efficient integration workflow and inbuilt Platform Support Packages for integrations.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with zero-footprint RVS tools

After integrating one zero-footprint RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Compare reports

Compare reports from different builds to track project progress over time.


Configurable export formats

Export coverage results in a variety of formats.


Customizable color scheme

Customize the color scheme used to display your results.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Justify untestable code

Mark code as covered by manual analysis to justify not covering it during tests.


Multi-justifications

Apply a single justification to multiple locations to reduce justification effort.


Migrate justifications when code changes

Justifications migrate when code changes, automatically or after manual review. 


Portable justification library

A single store of justifications can be used by all users working on a project. 


Justification templates

Create and apply templates to add new justifications more easily. 


Custom fields

Apply and use custom fields for your justifications.


Treemaps

View coverage and hierarchy of code at a glance.


Easily filter results

Easily filter results to focus your analysis.


Code viewer

View code with syntax highlighting and color-coding of results.


Advanced search function

Search reports for specific elements using advanced queries. 


Filter by scopes

Filter results by specific files and functions. 


Collect coverage across power cycles

Stream coverage data to collect it across target power cycles.


Multicore support

Verify critical multicore systems.


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Bamboo

Run RVS automatically through Bamboo to collect and archive results.


Comprehensive language support

Support for all languages that target machine code.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Annual licenses

License RVS in annual increments.


Perpetual licenses

License RVS for use idefinitely.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Tutorials

Learn how to get the most from our verification solutions with simple, interactive tutorials.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Support service

Dedicated support service to resolve technical issues quickly.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


Zero footprint execution time analysis

Zero footprint timing analysis for critical software.


Source to object code traceability

Trace results collected from analyzing program execution to source code, where available.


Hardware support

Supported operating systems, trace capture mechanisms and CPU architectures.


Produce certification evidence

Produce evidence for certification.


Optimize code for timing performance

Easily identify code with the the greatest impact on timing performance.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Efficient integration workflow and inbuilt Platform Support Packages for integrations.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with zero-footprint RVS tools

After integrating one zero-footprint RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Compare reports

Compare reports from different builds to track project progress over time.


Configurable export formats

Export timing results in a variety of formats.


Customizable color scheme

Customize the color scheme used to display your results.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


View detailed timing metrics at a glance

Specialized charts and tables make it easy to focus your analysis.  


Treemaps

View coverage and hierarchy of code at a glance.


Execution Time Profile Chart

View a histogram of your software's timing behavior to easily identify patterns.


Rewind Trace

Step through execution traces to investigate timing events using a debugger-like interface.


Aggregate Profile Chart

A configurable chart helps you visualize timing data in the context of your code's call tree.


Invocation Timeline Chart

A timeline of your invocations helps you visualize the order of calls and how long each took to execute.


Easily filter results

Easily filter results to focus your analysis.


Code viewer

View code with syntax highlighting and color-coding of results.


Advanced search function

Search reports for specific elements using advanced queries. 


Jenkins

Run RVS automatically through Jenkins to collect and archive results.


Comprehensive language support

Support for all languages that target machine code.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Annual licenses

License RVS in annual increments.


Perpetual licenses

License RVS for use idefinitely.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Tutorials

Learn how to get the most from our verification solutions with simple, interactive tutorials.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Support service

Dedicated support service to resolve technical issues quickly.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


Multicore support

Verify critical multicore systems.


Zero footprint system event tracing

Zero footprint system event tracing for critical software.


Source to object code traceability

Trace results collected from analyzing program execution to source code, where available.


Hardware support

Supported operating systems, trace capture mechanisms and CPU architectures.


Automate testing on host and target

Run tests on host computers and test rigs in continuous build environments.


Efficient integration workflow

Efficient integration workflow and inbuilt Platform Support Packages for integrations.


RVS Project Manager

Take your test project from creation to completion with an intuitive user-interface. 


Shared integration with zero-footprint RVS tools

After integrating one zero-footprint RVS tool to work a development environment, it is trivial to use others. 


Portable test environments

Multiple users can share the same test environment.


Customizable workflow

Customize the RVS workflow to best meet your needs.


Template integrations

Create and use template integrations to reduce your effort integrating RVS with your system.


Customizable color scheme

Customize the color scheme used to display your results.


Comprehensive verification toolsuite

One tool to meet all your software verification needs.


Customizable task colors

Customizable task colors help you highlight the tasks you're most interested in.


Invocation Timeline Chart

A timeline of your invocations helps you visualize the order of calls and how long each took to execute.


Easily filter results

Easily filter results to focus your analysis.


Code viewer

View code with syntax highlighting and color-coding of results.


Advanced search function

Search reports for specific elements using advanced queries. 


Comprehensive language support

Support for all languages that target machine code.


Flexible licensing options

Select floating or node-locked licenses with annual or perpetual duration.


Floating licenses

Floating licenses support multiple users and shared working environments.


Node-locked licenses

Node-locked licenses support use of RVS within a limited geographical area.


Annual licenses

License RVS in annual increments.


Perpetual licenses

License RVS for use idefinitely.


FlexNet Publisher compatible export format

License usage data is exported in a format compatible for tracking using FlexNet Publisher.


Training

Get up to speed with custom training courses delivered by skilled field application engineers.


Support service

Dedicated support service to resolve technical issues quickly.


Easy to get started

Integration and learning resources help you get started verifying your code in no time.


Documentation

Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.


Locate rare timing events

Scan large traces for specific unusual situations.

Analyze system capacity issues

Identify and analyze capacity issues in your system.


Understand scheduling behavior

Understand your system's scheduling behavior at a glance.


Multicore support

Verify critical multicore systems.