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 deploying autonomous robotic systems in mission- and safety-critical underwater environments, 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 ongoing research for modeling the behavior of Autonomous Underwater Vehicles (AUVs) using Timed and Hybrid Automata, as well as research on counterexample-based test case generation toward designing an approach for system-wide modeling and Model-Based Testing to support safety assessments of AUVs.