Browsing Institutt for informatikk by Author "Camilleri, John J."

Now showing items 1-2 of 2

  • Participatory verification of railway infrastructure by representing regulations in RailCNL 
    Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
    Designs of railway infrastructure (tracks, signalling and control systems, etc.) need to comply with comprehensive sets of regulations describing safety requirements, engineering conventions, and design heuristics. We have ...
  • Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version) 
    Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo (Research report, 2017)
    Previously, we have worked on verification of railway regulations against CAD designs, and integrated a verification engine into the tool chain of railway engineers. This tool was used successfully in a pilot project at ...