Automatically check your code for compliance custom specifications 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
, 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.
View the presentation or contact us for more information.