Formal software techniques for railway systems

摘要

We discuss a role for the use of formal techniques in understanding the domain of railways, in expressing requiremento to, and in the design of trustworthy software for the backbone and program packages for railways. We exemplify such techniques as applied to the recording of our domain understanding and hints at their use in requirements and design. We motivate the use of formal techniques, and survey, ever so briefly, the state-of-affairs of such use.