• Hauptseite
• Software
• Berichte
• Verifikation
• Demonstrator
• Veröffentlichungen
• Kontakt

Berichte

Der TÜV Süd Rail hat uns folgendes bestätigt:

1. Die von uns entwickelte Software entspricht der Sicherheitsnorm IEC EN 61508:3 bis SIL 3.
2. Die von uns verwendete Verifikationstechnik, und insbesondere die von uns entwickelte Verfikationsumgebung, kann zur Spezifikation und Verifikation von MISRA-C-Software gemäß der Norm 61508:3 bis zu SIL 3 verwendet werden.

Weitere Einzelheiten, insbesondere die durch unser Werkzeug abgedeckten Maßnahmen aus dem Anhang B der IEC 61508:3, finden sich in den Originalen der beiden Schreiben (auf die Bilder klicken), oder dem ausführlicheren technischen Bericht des TÜV.