Sicheres Laufzeitsystem für PowerPC

KW-Software hat das sichere zertifizierte IEC61131-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 kurze Reaktionszeiten der Sicherheitsfunktion gewährleistet. Das Laufzeitsystem ist nicht nur auf einer zweikanaligen Prozessorarchitektur nach SIL3 einsetzbar. Die hohe Diversität des kompilierten Anwenderprogrammes ermöglicht den Einsatz auch auf einem einzelnen 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. Der Sicherheitslevel SIL2 ist z.B. im Bereich Transportation für viele Sicherheitsfunktionen die richtige Wahl. SafeOS ist skalierbar und eignet sich somit für kleine (Footprint kleiner 10KB) als auch für große Sicherheitssteuerungen.