Tag: Frank Dedden

Title: “Monitoring UAV flights with Copilot” Presenter: Frank Dedden, NIA Visitor (Utrecht University) Date: Friday, November 30, 2018 Time: 11AM-Noon Location: NASA/LaRC/ Building 1230, Room 264A Sponsor: Alwyn Goodloe, NASA/LaRC Abstract: Ultra-critical systems require high level assurances that cannot always be guaranteed at compile time. The use of runtime verification (RV) allows us to monitor these systems at runtime, detect property…