Safety-Software gemäß IEC 61508-3Modellbasiertes Testen sicherer Funktionsbausteine
Spätestens seit der zweiten Fassung der IEC 61508 hat in der Sicherheitstechnik das modellbasierte Testen Einzug gehalten. Ein wesentlicher Teil davon ist die automatisierte Testfallgenerierung. Bei richtiger Anwendung steigert diese Methode die Qualität deutlich – bei signifikanter Kostensenkung.
Seite [4 von 5]
 | | | Bild 4 von 5 | | | |
<p>Bild 2. Die Abbildung zeigt einen exemplarischen Ausschnitt aus einem UML- (Unified Modeling Language) Zustandsdiagramm, welches zur Modellierung eines sicheren Funktionsbausteins zum Einsatz kommt. Jeder Zustand definiert sein statisches Ausgangsabbild. Der Übergang von einem Zustand in einen anderen erfolgt mittels Transitionen. Letztere enthalten Bedingungen und Prioritäten, welche einen Zustandsübergang auslösen.</p> © KW-Software