Electrical/electronic/programmable electronic (E/E/PE) safety-related systems are widely applied in several industrial fields due to noticeable technical growth of information processing technologies. In the design and development for the E/E/PE safety-related software, safety assessment is required by following IEC 61508, which is the international basic standard for the E/E/PE safety-related systems. And, quantitative safety assessment technologies is useful for enhancing and validating their safety for the hardware as well as for the software of the E/E/PE safety-related systems. Especially for the E/E/PE safety-related software, the manager pays a lot of attention for quantitative software safety assessment technologies, which have not provided by IEC 61508, and for realizing economic software development with their safety objective. This article discusses mathematical approaches for conducting quantitative safety assessment for the E/E/PE safety-related software and mathematical software release problem for supporting decision making on when to release the E/E/PE safety-related software economically with assuring a certain safety objective.
Read full abstract