AMon: A Domain-Specific Language and Framework for Adaptive Monitoring of Cyber-Physical Systems
Sprache des Titels:
Cyber-Physical Systems (CPS), such as autonomous Unmanned Aerial Vehicles (UAVs), are increasingly used in a variety of safety-critical scenarios. Ensuring their correct behavior at runtime becomes a crucial activity, and it is therefore essential to enable systems to monitor their behavior at runtime and detect potential violations of requirements or constraints.With the inception of edge devices that allow monitoring tasks to be performed on the device, and the increasingly dynamic environments that CPS operate in, flexible monitoring approaches are needed that take into account the data that needs to be monitored, and the analyses performed.In this paper, we propose AMon, a flexible adaptive monitoring framework that aids in the easy specification and validation of monitoring adaptation rules. AMon uses a domain-specific language and then automatically generates code from these rules for direct deployment onto devices. We evaluate AMon by applying it to two different systems: Turtlebot Robots and the Dronology system. We further conducted a user study assessing the understandability and ease of use of our language.Results show that creating multiple adaptation rules with our DSL is feasible with minimal effort, and that adaptive monitoring can reduce the amount of runtime data transmitted from the edge device.