Automatische Generierung sicherer diversitärer Software
DOI:
https://doi.org/10.17560/atp.v54i06.2173Abstract
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.Downloads
Veröffentlicht
Ausgabe
Rubrik
Lizenz
Die Zeitschrift und alle in ihr enthaltenen Beiträge und Abbildungen sind urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Bearbeitung in elektronischen Systemen. Auch die Rechte der Wiedergabe durch Vortrag, Funk- und Fernsehsendung, im Magnettonverfahren oder ähnlichem Wege bleiben vorbehalten.