SIGNAL+DRAHT | Ausgabe 06/2018
Verifikation und Validierung von ausführbaren Spezifikationsmodellen
In immer mehr Entwicklungsprojekten für bahntechnische Systeme kommen Spezifikationen auf Basis ausführbarer Anforderungsmodelle zum Einsatz. Das damit einhergehende Versprechen höherer Spezifikationsqualität und der einfachen Nachnutzung von Modellen lässt sich jedoch nur einlösen, wenn diese hohe Qualitätsanforderungen erfüllen. In diesem Beitrag wird ein systematisches Vorgehen zur Verifikation und Validierung von Anforderungsmodellen vorgestellt, um diesen Qualitätsanspruch sicherzustellen.