PV1 ⊧ StreamLABanalyses input specs and reports on its memory consumption and runtime properties

Monitoring framework that allows for monitoring asynchronous systems

Application domain/field

• Stream-based monitoring
• Monitoring

Type of tool

Monitoring framework

Expected input

• Input stream
• Specifications

Format:

• Input stream: ?
• Specifications: RTLola