Werkzeuge

• Compiler
• Generatoren für Zustandsmaschinen

Entwicklungswerkzeuge

output dieser Werkzsuge geht in die Luftfahrtssoftware ein

Verifikationswerkzeuge

Können keine Fehler einfügen, aber vorhandene Fehler nicht entdecken.

Entwicklungswerkzeuge müssen genau den selben Bedingungen entsprechen wie der Code selber

Grundlegende Idee: mit modellgetriebener Softwareentwicklung können von den Normen geforderte Eigenschaften konstruktiv garantiert werden

Damit kann die Verifikation im Modell, d.h. auf höherer abstrakter Ebene einfacher erfolgen