Stream-based specification language for real-time properties
Application domain/field
Unmanned aerial vehicles
Autonomous aircrafts
Monitoring framework
Real-time specifications
Type of tool
Specification language
Internals
RTLola is a stream specification language. In a specification, input streams collect data from networks, sensors, etc.. These streams are filtered and combined into output streams where data from multiple sources and over multiple points are combined. This allows the use of sliding windows of some real-time length over such data to trigger on certain critical situations. Finally, the RTLola specification can be automatically translated into an FPGA-based monitor.
