Vermeiden von Laufzeitfehlern in eingebetteter Software
Analysator-Tool Astrée weist Abwesenheit von Laufzeitfehlern nach
Thema: Safety & Security
Details
Zusammenfassung Sicherheitskritische eingebettete Systeme müssen hohen Qualitätsanforderungen genügen. Laufzeitfehler, z.B. arithmetische Überläufe oder Rundungsfehler, können zu fehlerhaftem Programmverhalten führen. Angesichts der Hardware- und Softwarekomplexität ist in der Regel keine vollständige Testabdeckung möglich. Daher bieten sich Verfahren auf der Basis statischer Analysen an, die eine vollständige Abdeckung und somit einen ausreichend sicheren Nachweis der Fehlerfreiheit ermöglichen. Dieses Verfahren wird anhand des parametrischen statischen Analysators Astrée vorgestellt, der z.B. bei der Zertifizierung von industrieller Flugzeugsteuerungssoftware eingesetzt wird.
Preis: 4,90 €Zum Shop
Infos zum Autor/Verfasser/Herausgeber
Publikationen zum selben Thema
Wissensbasierte Sicherheitsanalyse in der Automation
Autor: Christopher Tebbe/Hochschule Hannover / Matthias Glawe/Helmut-Schmidt-Universität Hamburg / André Scholz/Helmut-Schmidt-Universität Hamburg / Karl-Heinz Niemann/Hochschule Hannover / Alexander Fay/Helmut-Schmidt-Universität Hamburg / Josha Dittgen/M&M Software
Themenbereich: atp edition
Sicherheitsanalysen sind zentraler Bestandteil bei der Absicherung von automatisierungstechnischen Anlagen. Diese Analysen erfolgen vielfach manuell. Das bedeutet angesichts immer komplexerer Anlagen einen großen Aufwand. Im Beitrag werden, am ...
Wer bewacht die Wächter?
Autor: Walter Speth/Bayer Technology Services / Christoph Thiel/FH Bielefeld / Detlef Winkel/Bayer CropScience
Themenbereich: atp edition
Mit dem Einzug der Informationstechnik in Safety-Systeme und mit deren zunehmender Vernetzung über Systemgrenzen hinaus wächst die Bedeutung der IT-Sicherheit für die Betriebssicherheit industrieller Steuerungs- und Automatisierungsanlagen. ...
SPS-Software für fehlersichere Steuerungen
Autor: Norbert Becker/Hochschule Bonn-Rhein-Sieg / Manfred Eggeling/Hochschule Bonn-Rhein-Sieg / Michael Huelke/Institut für Arbeitsschutz der DGUV
Themenbereich: atp edition
Dieser Beitrag beschreibt, wie die Anforderungen der ISO 13849-1 an sicherheitsbezogene SPS-Software im Maschinenbau praxisgerecht umgesetzt werden können. Die Ausführungen basieren auf den Ergebnissen eines vom Institut für Arbeitsschutz (IFA) ...
