CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software
IEEE Transactions on Reliability, pp. 106-123, 2020.
MonitoringSoftwareRuntimeUncertaintyRobot sensing systems
Cyber-physical software delivers context-aware services through continually interacting with its physical environment and adapting to the changing surroundings. However, when the software's assumptions on the environment no longer hold, the interactions can introduce errors for leading to unexpected behaviors and even system failures. One...More
Full Text (Upload PDF)
PPT (Upload PPT)