TAYLOR JOHNSON

Research Synopsis: Defects stemming from the interaction of software and physical processes in embedded and cyber-physical systems (CPS) are rampant and are becoming more prevalent as exemplified by frequent product recalls in industries such as automotive (PDF), medical devices, and consumer products. These issues are exacerbated by the introduction of data-driven machine learning methods into such safety-critical systems. To address this challenge to ensure CPS meet the strictest safety, security, and reliability requirements, our research agenda is to develop formal verification techniques and tools for CPS, building on and advancing foundational results in formal methods, control theory, distributed systems, and real-time/embedded systems. For example, one technique we've developed is for verifying safety properties of distributed CPS where arbitrarily many agents participate in a protocol, such as in air traffic control protocols, network protocols, networked control systems, and..

Primary location: Nashville United States