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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Towards Safe Navigation by Formalizing Navigation Rules


    Beteiligte:
    Arne Kreutzmann (Autor:in) / Diedrich Wolter (Autor:in) / Frank Dylla (Autor:in) / Jae Hee Lee (Autor:in)


    Erscheinungsdatum :

    2013




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt






    For safe navigation

    Engineering Index Backfile | 1933


    Safe navigation symposium

    Oil Companies International Marine Forum | TIBKAT | 1978


    RULES-BASED NAVIGATION

    SHALEV-SHWARTZ SHAI / SHASHUA AMNON / STEIN GIDEON et al. | Europäisches Patentamt | 2025

    Freier Zugriff