RTLola cleared for take-off: monitoring autonomous aircraft
The autonomous control of unmanned aircraft is a highly safety-critical domain with great
economic potential in a wide range of application areas, including logistics, agriculture, civil …
economic potential in a wide range of application areas, including logistics, agriculture, civil …
MoonLight: A lightweight tool for monitoring spatio-temporal properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of
mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework …
mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework …
Verified rust monitors for lola specifications
The safety of cyber-physical systems rests on the correctness of their monitoring
mechanisms. This is problematic if the specification of the monitor is implemented manually …
mechanisms. This is problematic if the specification of the monitor is implemented manually …
Safe operation monitoring for specific category unmanned aircraft
S Schirmer, C Torens - Automated Low-Altitude Air Delivery: Towards …, 2022 - Springer
Future unmanned aircraft systems are allowed to incorporate operational aspects for flight
approval due to the new EASA “specific” category. Incorporating operational aspects offer …
approval due to the new EASA “specific” category. Incorporating operational aspects offer …
Formal analysis of AI-based autonomy: from modeling to runtime assurance
Autonomous systems are increasingly deployed in safety-critical applications and rely more
on high-performance components based on artificial intelligence (AI) and machine learning …
on high-performance components based on artificial intelligence (AI) and machine learning …
On the road with RTLola: Testing real driving emissions on your phone
This paper is about shipping runtime verification to the masses. It presents the crucial
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
A hierarchy of monitoring properties for autonomous systems
View Video Presentation: https://doi. org/10.2514/6.2023-2588. vid Monitoring capabilities
play a central role in mitigating safety risks of current, but especially future autonomous …
play a central role in mitigating safety risks of current, but especially future autonomous …
Monitoring with verified guarantees
Runtime monitoring is generally considered a light-weight alternative to formal verification.
In safety-critical systems, however, the monitor itself is a critical component. For example, if …
In safety-critical systems, however, the monitor itself is a critical component. For example, if …
Let's not trust experience blindly: formal monitoring of humans and other CPS
M Schwenger - 2020 - publications.cispa.saarland
The control logic of complex systems is based on experience: Trained experts steer a
machine directly until they help develop an automated controller. Recently, this process was …
machine directly until they help develop an automated controller. Recently, this process was …
Real-time visualization of stream-based monitoring data
Stream-based runtime monitors are used in safety-critical applications such as Unmanned
Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of …
Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of …