RV-ECU
Compliance checking for embedded control units
Automatically check your code for compliance with custom specifications that are easy to write in any formalism.
What RV-ECU gives you
- A platform for monitoring and enforcing safety specifications 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.
Where it came from
RV-ECU checks embedded code against rigorous specifications automatically and efficiently, to improve the safety, assurance and standards compliance of the system. The C monitoring engine underneath it is RV-Monitor.
Working on an embedded system that has to stay inside its specification?
RV-ECU itself is archived, but the formal methods behind it are still what we do. View the presentation for the original work.