Automatically check your code for compliance custom specifciations that are easy to write in any formalism.

RV-ECU gives you

a platform for monitoring and enforcing safety specification on controller bus networks

simple, concise property creation in any number of RV-Monitor supported formalisms

the ability to dynamically update the set of safety properties monitored and enforced

Based on cutting edge academic research
, including a recent SAE paper, RV-ECU aims to provide automatic and efficient checks of your embedded code against rigorous specifications to
improve the safety, assurance, and standards compliance of the system.