Sicheres Laufzeitsystem für PowerPC

KW-Software, Anbieter von Sicherheits-Softwarekomponenten nach IEC 61508 bis SIL3, hat das sichere zertifizierte IEC 61131 Laufzeitsystem SafeOS auf die PowerPC-Plattform portiert. PowerPC-Prozessoren werden häufig in embedded Systemen mit hohen Anforderungen bezüglich Performance oder Temperaturbereich eingesetzt. SafeOS führt auf zwei diversitär entwickelten Runtime-Kanälen reinen Maschinencode aus. Dadurch werden sehr kurze Reaktionszeiten der Sicherheitsfunktion gewährleistet. Die hohe Diversität des kompilierten Anwenderprogramms ermöglicht den Einsatz von SafeOS auch auf einem einzigen Prozessor. In diesem Fall wird mit moderaten Hardware-Anforderungen (z.B. Einsatz eines externen Watchdogs) eine Zertifizierung bis SIL2 erreicht. Durch die hohe Fehleraufdeckung in der Software können entsprechende Maßnahmen in der Hardware eingespart werden.