Anforderungen und Leitfaden für die Verwendung mathematischer und logischer Verfahren für das Aufstellen genauer Eigenschaften von Software und deren Dokumentation (IEC 65A/932/CD:2019); Text Deutsch und Englisch
Kurzreferat
Diese Technische Spezifikation umfasst die allgemeine Zusicherung zuverlässiger Software, die in der kritischen Betriebstechnologie (en: operational technology, OT) verwendet wird und auf Hardwaregeräten läuft, die als Teil der OT-Anwendung festgelegt sind. Sie gilt vor allem für Software, die nach der Norm IEC 61508-3 für die funktionale Sicherheit der E/E/PE-Software entwickelt wird; insbesondere erfolgt die Entwicklung der Software nach einer formalen Spezifikation der Anforderungen an die Sicherheit. Die erfolgreiche Anwendung der in diesem Dokument festgelegten Zusicherungspunkte erhöht das Vertrauen, dass ein bestimmtes Teilstück einer sicherheitsbezogenen Software die Anforderungen des SIL der Sicherheitsfunktion, die es (teilweise oder vollständig) implementiert, erfüllt, und erhöht dadurch die systematische Eignung der Software.
Beginn
2020-05-07
Geplante Dokumentnummer
DIN IEC/TS 61508-3-2
Projektnummer
02229486
