Requirements and Guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation
(IEC 65A/932/CD:2019); Text in German and English Class/Status:
Draft,
valid
Released: 2020 -08 Published:
2020-07 -31
VDE Art. No.: 1800581
End of objection deadline:
2020-09-30
This Technical Specification covers the general assurance of dependable software used in critical operational-technology (OT) which is running on hardware devices which are specified as part of the OT application. It is particularly aimed at software which is being developed according to the E/E/PE software functional safety standard IEC 61508-3; in particular, the development of the software follows a Formal Safety Requirements Specification. Successful use of the assurance points specified in this document enhances the confidence that a particular piece of safety-related software meets the requirements of the SIL of the safety function which it (partially or fully) implements, and thereby increases the systematic capability of the software.
This Document is related to the following Topics (in bold):
Normenübersichten, Tabellen und Tipps aus den Bereichen Industrieautomation, Leittechnik, Prozessleittechnik (PLT) und der industriellen Mess-, Steuerungs- und Regelungstechnik (MSR-Technik) VDE-Schriftenreihe – Normen verständlich, Band 101
2018, 264 pages, Din A5, Broschur
Dieser Buchtitel ist auch als E-Book (PDF) erhältlich
We use cookies on our website. Some are necessary, while others help us to improve website performance
and are used to provide personalized advertising.
For more information, please see our
data protection policy.
Individual Cookie Settings
Necessary Cookies
cookie_consent (Validity: 1 year)
PHPSESSID (Temporary, is removed when the browser is closed)
Optional Cookies
_gcl_au (Validity: 90 days)
_uetvid (validity: 30 days) - Stores a unique visitor ID for tracking user interactions.
_uetsid (validity: 30 minutes) - Saves a session ID for tracking the current visitor session.
