Research Training Group
Cooperative, Adaptive and Responsive Monitoring in Mixed Mode Environments

The talk will take place on Thursday, September 19, at 15:00h Room A102.

Topic: External Runtime Monitoring for Critical Embedded Systems

Prof. Philip Koopman, Carnegie Mellon University

http://www.ece.cmu.edu/~koopman

Abstract: Ensuring autonomous system safety is crucial, but traditional analysis and testing techniques are likely to be insufficient to do this because of the adaptive nature of such systems. We have identified runtime verification techniques as an especially promising approach, and have used them to successfully build a runtime safety monitor for a large autonomous off-road vehicle. While this is still early work, results on other systems indicate that runtime monitors hold promise for helping to ensure safety across a wide variety of autonomous systems.