Towards Safe Navigation by Formalizing Navigation Rules
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 verif...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Gdynia Maritime University
2013-06-01
|
| Series: | TransNav: International Journal on Marine Navigation and Safety of Sea Transportation |
| Subjects: | |
| Online Access: | http://www.transnav.eu/files/Towards Safe Navigation by Formalizing Navigation Rules,422.pdf |
| _version_ | 1811202320991518720 |
|---|---|
| author | Arne Kreutzmann Diedrich Wolter Frank Dylla Jae Hee Lee |
| author_facet | Arne Kreutzmann Diedrich Wolter Frank Dylla Jae Hee Lee |
| author_sort | Arne Kreutzmann |
| collection | DOAJ |
| description | 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 direcly be utilized by various bridge systems and that allows for software verification. |
| first_indexed | 2024-04-12T02:38:01Z |
| format | Article |
| id | doaj.art-b1393f10034f40609c64ec248b6b8709 |
| institution | Directory Open Access Journal |
| issn | 2083-6473 2083-6481 |
| language | English |
| last_indexed | 2024-04-12T02:38:01Z |
| publishDate | 2013-06-01 |
| publisher | Gdynia Maritime University |
| record_format | Article |
| series | TransNav: International Journal on Marine Navigation and Safety of Sea Transportation |
| spelling | doaj.art-b1393f10034f40609c64ec248b6b87092022-12-22T03:51:28ZengGdynia Maritime UniversityTransNav: International Journal on Marine Navigation and Safety of Sea Transportation2083-64732083-64812013-06-017216116810.12716/1001.07.02.01Towards Safe Navigation by Formalizing Navigation RulesArne KreutzmannDiedrich WolterFrank DyllaJae Hee LeeOne 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 direcly be utilized by various bridge systems and that allows for software verification.http://www.transnav.eu/files/Towards Safe Navigation by Formalizing Navigation Rules,422.pdfSafety of NavigationNavigation RulesColregsCollision RegulationsSpatio-temporal LogicsBridge SystemsDomain LanguageArtificial Intelligence |
| spellingShingle | Arne Kreutzmann Diedrich Wolter Frank Dylla Jae Hee Lee Towards Safe Navigation by Formalizing Navigation Rules TransNav: International Journal on Marine Navigation and Safety of Sea Transportation Safety of Navigation Navigation Rules Colregs Collision Regulations Spatio-temporal Logics Bridge Systems Domain Language Artificial Intelligence |
| title | Towards Safe Navigation by Formalizing Navigation Rules |
| title_full | Towards Safe Navigation by Formalizing Navigation Rules |
| title_fullStr | Towards Safe Navigation by Formalizing Navigation Rules |
| title_full_unstemmed | Towards Safe Navigation by Formalizing Navigation Rules |
| title_short | Towards Safe Navigation by Formalizing Navigation Rules |
| title_sort | towards safe navigation by formalizing navigation rules |
| topic | Safety of Navigation Navigation Rules Colregs Collision Regulations Spatio-temporal Logics Bridge Systems Domain Language Artificial Intelligence |
| url | http://www.transnav.eu/files/Towards Safe Navigation by Formalizing Navigation Rules,422.pdf |
| work_keys_str_mv | AT arnekreutzmann towardssafenavigationbyformalizingnavigationrules AT diedrichwolter towardssafenavigationbyformalizingnavigationrules AT frankdylla towardssafenavigationbyformalizingnavigationrules AT jaeheelee towardssafenavigationbyformalizingnavigationrules |