RTLOLA

The open-source implementation is engineered to have minute energy consumption, a slim memory footprint, and be blazingly fast. Plus: with RTLola in your development cycle, validation and testing of your prototype becomes effortless, accelerating the development of your product. Hence, RTLola is easy on your resources in every sense of the word!... Built on a formal foundation with provably correct algorithms at its core, RTLola empowers the development of reliable systems, leaving no room for errors. Based on this, RTLola can provide guarantees in line with modern safety standards... RTLola provides strong safety guarantees by employing formal methods, yet it is easy to use. We took care of all the details, so you can focus on what matters.