Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme - Teil 3-2: Anforderungen und Anleitung für die Verwendung mathematischer und logischer Verfahren für die Bestimmung genauer Eigenschaften von Software und deren Dokumentation (IEC TS 61508-3-2:2024)
Kurzreferat
Dieses Dokument 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. Dieses Dokument 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
