28 Nov '16, 9am

Bessere Qualität bei geringeren Kosten https://t.co/l7GhQSq7zO

Sicherheitsgerichtete Funktionsbausteine für IEC-61131 -konforme Programmiersysteme werden häufig mit semiformalen Methoden wie dem Zustandsübergangsdiagramm spezifiziert. Auf Basis dieses Diagramms respektive der vorhandenen Systemmodelle lassen sich dann Testdaten und -fälle automatisiert mit dem Ziel erzeugen, die normativ geforderte Testabdeckung zu erreichen. Neben der reinen Testfall-Generierung kann die nachfolgend beschriebene Lösung für das sichere IEC-61131-Programmiersystem Safeprog von Phoenix Contact Software den Test auch automatisiert durchführen und auswerten. Die Tests können sowohl in einer Simulationsumgebung auf dem PC als auch auf einer realen Sicherheitssteuerung erfolgen. Somit ist der Test sicherer Firmware-Funktionen ebenfalls möglich.

Full article: http://www5.elektroniknet.de/design-elektronik/bessere-qu...

Tweets