Event Details

“Verifiable by Design” by Dominic Taylor (Consilium Aquis Sulis)

Verification of interlocking data is an expensive and time-consuming businesses, becoming increasingly so as signalling systems grow in complexity.  However, such system are far less constrained by memory and processing power than they once were; past data design practices focused on computational efficiency may no longer be appropriate.  Building on the November 2023 IRSE News article of the same name, this presentation outlines the case for designing data for simplicity of verification and how this might be realized in practice.

18:00 start, with refreshments from 17:30. In-person only; no registration required.

This presentation will last around an hour, followed by a Q&A session.

Location: Siemens (Turing Building), Langley Park, Pew Hill, Chippenham, SN15 1GG

Directions to Chippenham Site.jpg

IRSE Western Section Siemens, Langley Park, Chippenham.pdf

Western Section 2024 Chippenham Events.pdf