Skip to main content

Formal reuse in transportation software


In the field of Automatic Train Control Systems, it is clearly cost ineffective to develop a new system for each line, even if each line may prescribe specific characteristics (e.g. signalling; transmission). The overall goal is to specify a generic Automatic Train Control system in order to enable different instantiations fitting the distinctive features of the lines.

The expected benefit is not only cost effectiveness, but also the ability to shorten the time delivery which may be a decisive advantage to fit customer requirements.


A well advised strategy is necessary to progress towards the overall objective.

One step, under way in a baseline project, is to enable the reuse of software pieces through reengineering of existing software components using a formal method. The next step is to work out the reuse issue at the system level. The experiment consists in:

- reengineering a part of an Automatic Train Control System to explicit the common functionalities and the specific ones. The RDD 100 tool will be used to achieve this task;
- linking the system description with the software components specified using the formal method.

A dozen people are involved in the baseline project and experiment.


MTI expects to explicit and strengthen its know-how on system/software engineering by drawing up a more formal and generic basis on which Automatic Train Control systems and software can be derived, to gain in productivity and in time to market.

Funding Scheme

ACM - Preparatory, accompanying and support measures


Matra Transport International
Rue De Presbourg 4
75116 Paris