Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Keyphrases

• Autonomous Robots 50%
• Autonomous Underwater Robot 100%
• Dynamic Uncertain Environment 50%
• Engineering Process 50%
• Highly Dynamic 50%
• Mission-critical 50%
• Model-based Testing 100%
• Reliable Operation 50%
• Research Vision 50%
• Safe Operation 50%
• Safety Analysis 50%
• Safety Assessment 50%
• Safety-critical 50%
• System Level 100%
• System-wide 50%
• Underwater Environment 50%

Engineering

• Level of Safety 100%
• Process Engineering 50%
• Reliable Operation 50%
• Robot 100%
• Robotic System 50%
• Safe Operation 50%
• Safety Analysis 50%

Computer Science

• model based testing 100%
• Reliable Operation 50%
• underwater robot 100%