Customizable software
Formal Methods : Application to the Railway Domain

Static data can be of two types:

• fixed, invariant data characterizing the environment (topology, trajectory, etc.), the system (number of objects, limit, etc.) and characteristics (weight, length, speed, etc.);

• data evolving with the state of the system.

Definition 9 (specific application) – A specific application is a generic application to which parameters have been assigned. This specific application can only be used for a single installation.

Note that the notion of specific application (figure 38 ) covers both software and hardware aspects.