Sergio Daniel Quijano will give a talk about his work on Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. Details below.
SPEAKER
Sergio Daniel Quijano, PhD fellow, ITU.
TITLE
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
ABSTRACT
For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such as reasoning and planning need to be designed to operate in highly dynamic, uncertain environments while assuring a safe and reliable operation. However, systems are often designed or developed with safety analysis as a separate engineering process. In this talk, I will present an initial research vision and plan with the envisioned contributions towards designing an approach for system-wide modeling and Model-Based Testing to support safety assessments of autonomous underwater robots.