One crucial aspect of safe navigation is to obey all navigation regulations applicable, in particular the collision regulations issued by the International Maritime Organization (IMO Colregs). Therefore, decision support systems for navigation need to respect Colregs and this feature should be verifiably correct. We tackle compliancy of navigation regulations from a perspective of software verification. One common approach is to use formal logic, but it requires to bridge a wide gap between navigation concepts and simple logic. We introduce a novel domain specification language based on a spatio‐temporal logic that allows us to overcome this gap. We are able to capture complex navigation concepts in an easily comprehensible representation that can directly be utilized by various bridge systems and that allows for software verification.
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies
Informacja
SZANOWNI CZYTELNICY!
UPRZEJMIE INFORMUJEMY, ŻE W OKRESIE WAKACYJNYM BIBLIOTEKA BĘDZIE FUNKCJONOWAŁA W ZMIENIONYCH GODZINACH::
od 15 do 31 lipca:
Wypożyczalnia i Czytelnia Główna:
9.00 - 15.00
(poniedziałek-piątek)
Czytelnia Działu Zbiorów Specjalnych:
9.00 - 15.00
(poniedziałek-piątek)
od 1 do 31 sierpnia:
BIBLIOTEKA BĘDZIE NIECZYNNA
UWAGA:
Zwrotu wypożyczonych materiałów można dokonać u dyżurującego bibliotekarza w Wypożyczalni Głównej od 9.00 do 15.00.
Na pozycje, których termin zwrotu przypadnie od 1 do 31 sierpnia, wprowadzona zostanie prolongata (nowy termin zwrotu – 6 września).