On Friday, May 9, Hengle Jiang will present his masters thesis defense titled “Invariant Inferring and Monitoring in Robotic Systems.” Jiang will present at 1 p.m. in Avery 347.
Abstract: Systems monitoring can help to detect abnormalities and avoid failures. Crafting monitors for today’s robotic systems, however, can be very difficult due to the system’s inherent complexity and its rich operating environment.
In this work we address this challenge through an approach that automatically infers system invariants and synthesizes those invariants into monitors. This approach is inspired by existing software engineering approaches for automated invariant inference, and it is novel in that it derives invariants by observing the messages passed between system nodes and the invariants types are tailored to match the spatial, time, temporal, and architectural attributes of robotic systems. Further, our approach automatically classifies of publish-subscribe architectures. The monitor can be also tailored to trigger actions when an invariant is violated. We have assessed the approach in the context of three UAV systems to better understand its potential. We found that invariants can be useful for developers and that the synthesized monitor can reduce system failure rate when facing with unexpected faults.
Committee members: Dr. Sebastian Elbaum (Advisor), Dr. Carrick Detweiler and Dr. Matthew Dwyer