Automatische Generierung sicherer diversitärer Software

Die Bedeutung der Sicherheit im Sinne von Safety nimmt in der Automation immer noch zu, auch wenn im Moment die IT-Security die Schlagzeilen beherrscht. Die normativen Sicherheitsanforderungen können zu beträchtlichem zusätzlichen Aufwand für die Hardware- und die Software-Entwicklung führen. Wenn zudem eine Hardware-abhängige Zertifizierung vorliegt, kann von Innovationen bei den Hardware-Komponenten nicht einfach profitiert werden, weil in der Regel ein neuer Zertifizierungsprozess durchlaufen werden muss. Im Beitrag wird eine neue Methode vorgestellt, bei der mit diversitären arithmetischen Codes Hardware-Fehler durch Software-Maßnahmen aufgedeckt werden und dadurch die notwendige Hardware-Unabhängigkeit erreicht wird. Weiterhin ermöglicht die Methode, fehlersichere Applikationen in Hochsprachen wie C zu programmieren.