Formal modellieren

Beschreibung:

Mit Hilfe formaler Techniken lassen sich Anforderungen präzise formulieren, so dass eine Überprüfung auf Konsistenz und Vollständigkeit mit Hilfe mathematischer Modelle und Werkzeuge möglich ist. Die formale Modellierung erlaubt beispielsweise Testfälle werkzeuggestützt direkt aus den Anforderungen abzuleiten oder Beweise zu führen, welche die Konsistenz von Anforderungen nachweisen. Der Aufwand für die formale Anforderungsmodellierung wird durch die Möglichkeit der vollständigen und frühen Verifikation kompensiert. Dies ist insbesondere in sicherheitskritischen Systemen von Bedeutung, wo Fehler im Betrieb hohe Kosten oder katastrophale Folgen mit sich bringen können.

Ziel:

Ziel ist es, Anforderungen so zu modellieren, dass eine mathematische Überprüfung, aber auch Ableitung in spätere Softwareprodukte ermöglicht werden kann.

Techniken zur Realisierung:

Sequence based specification (SBS)
Software Cost Reduction (SCR)