Software development
Formal Methods : Application to the Railway Domain

To set the scene, we propose below a definition to characterize a software application.

Definition 1 – Software application – All the programs, procedures, rules and documentation, if any, relating to the operation of an information processing system.

It should be noted that we are talking here about the realization of a software application, not the development of a software application: the notion of realization of a software application covers not only development activities, but also the activities of verification, validation, production, installation and maintenance of the software application (figure 1...