SIGNAL+DRAHT | Ausgabe 06/2018
The verification and validation of executable specification models
More and more development projects for railway systems are making use of specifications based on executable requirement models. The ensuing promise of higher quality specifications and the easy reutilisation of such models, however, can only be kept, if these models meet high quality requirements. This article describes a systematic approach to the verification and validation of requirement models which are capable of ensuring this required quality.