Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

O2 Annat


Interna författare/redaktörer


Publikationens författare: Shokri-Manninen Fatima, Vain Jüri, Waldén Marina
Redaktörer: Uustalu Tarmo, Vain Jüri
Förläggare: Department of Software Science, Tallinn University of Technology
Förlagsort: Tallinn
Publiceringsår: 2019
Moderpublikationens namn: 31st Nordic Workshop on Programming Theory NWPT 2019
Artikelns första sida, sidnummer: 58
Artikelns sista sida, sidnummer: 60
ISBN: 978-9949-83-520-1


Abstrakt

Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.


Nyckelord

Autonomous systems, Formal verification

Senast uppdaterad 2020-30-05 vid 02:58