Securing the operational reliability of an autonomous mini-submarine · Study