A formal analysis of Dutch Generic Integral Tunnel Design models

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

The Generic Integral Tunnel Design (GITO) contains generic models for the tunnel control systems of Rijkswaterstaat, part of the Dutch Ministry of Infrastructure and Water Management. A formal verification of these models advances the safety and reliability of GITO derived tunnel control systems. In this paper, the first known large-scale formalisation of tunnel control systems is presented which transforms GITO models to the formal specification language mCRL2. This transformation is applied to two sub-systems of the GITO to analyse the correctness of the supplied models. In this formal analysis, several deficiencies in the specifications and faults in the existing models are revealed and verified solutions are proposed. Some of the presented faults even find their origin in the legally required standards.
Originele taal-2Engels
TitelSAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
UitgeverijAssociation for Computing Machinery, Inc
Pagina's 1681-1684
Aantal pagina's4
ISBN van elektronische versie978-1-4503-9517-5
DOI's
StatusGepubliceerd - 7 jun. 2023
Evenement38th Annual ACM Symposium on Applied Computing, SAC 2023 - Tallinn University Conference Center, Tallinn, Estland
Duur: 27 mrt. 202331 mrt. 2023
Congresnummer: 38
https://www.sigapp.org/sac/sac2023/index.html

Congres

Congres38th Annual ACM Symposium on Applied Computing, SAC 2023
Verkorte titelSAC 2023
Land/RegioEstland
StadTallinn
Periode27/03/2331/03/23
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'A formal analysis of Dutch Generic Integral Tunnel Design models'. Samen vormen ze een unieke vingerafdruk.

Citeer dit