Evaluation of Natural Language Requirements in the MODCONTROL Project

The application of this idea to the railway signalling domain has provided a direct way of conceiving diverse specifications: the relay schemas that still constitute a common language for railway signalling engineers have been used for one version, while a more 'modern' and increasingly popular notation – UML sequence diagrams – have been used for the other. From these two specifications, two independent chains of verification/code generation/compilation/deployment have been implemented (Figure 2). The final comparison is made by running the set of official acceptance tests for the equipment developed on both versions.