Autonomous system

Trust, But Verify: Towards Self-Aware, Safe, Autonomous Self-Driving Systems

Prof. Fadi Kurdahi

Nov 27, 09:30 - 10:15

B2 5220

Autonomous system

Abstract Mobile autonomous devices use sophisticated algorithms to automatically navigate diverse physical environments in a safe manner. Guaranteeing system safety while optimizing resource-usage of an autonomous device’s computer is an outstanding challenge. Runtime verification helps provide robustness by monitoring application execution at runtime. These systems operate in dynamic environments, requiring self-aware runtime management to maximize lifetime while enforcing safe execution. Safe execution and lifetime management require consideration of performance and efficiency, two