SIGNAL+DRAHT | Issue 06/2018

The verification and validation of executable specification models

June 2018 | Oliver Lemke

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.