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.