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.

View the presentation or contact us for more information.

Newsletter

Your email is safe with us

Working with us

What interests you?

Your email

Your phone number

Thank you!

We'll respond to your request within 48 hours

Recent publication

IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics

Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Șerbănuță, Virgil Șerbănuță, Daniele Filaretti, Grigore Roșu, and Ralph Johnson

Technical Report http://hdl.handle.net/2142/100320, July 2018

All publications