Formal validation and verification of software for railway control and protection systems: experimental applications in Ansaldo

The ever increasing use of software-based controllers provides flexible and complex functions at a reasonable cost, extremely lower than traditional circuitry. However, it poses crucial problems of safety: even though existing software engineering techniques provide structured methodologies for design, implementation, testing, verification and validation of software, safety in software systems...