Software Safety Standards for the Basis of Certification in the Nuclear Domain

2010 ◽  
Author(s):  
Hannu Harju ◽  
Jussi Lahtinen ◽  
Jukka Ranta ◽  
Risto Nevalainen ◽  
Mika Johansson
Keyword(s):  
Software Safety ◽  
Safety Standards ◽  
Nuclear Domain

QUANTITATIVE ASSESSMENT FOR SOFTWARE SAFETY INTEGRITY LEVEL WITH FUNCTIONAL SAFETY STANDARDS AND RISK COSTS

2014 ◽  
Vol 21 (06) ◽  
pp. 1450030 ◽  
Author(s):  
SHIGERU YAMADA ◽  
TAKAHIRO NISHIKAWA
Keyword(s):  
Quantitative Assessment ◽  
Growth Models ◽  
Functional Safety ◽  
Software Safety ◽  
Related System ◽  
Testing Environment ◽  
Safety Standards ◽  
Software Products ◽  
Safety Integrity Level ◽  
Risk Cost

Reliability and safety for hardware in computer systems have been sufficiently studied in recent years. On the other hand, a safety-related system (SRS) for software has not been assured with the proper method of calculating the software safety integrity level (SIL) in the functional safety standards, which is currently determined only by the number of development methods applied to practical safety-related system (SRSs). In this paper, we discuss quantitative assessment for it by applying quantitative measures based on software reliability growth models (SRGMs) that have been widely and successfully applied to practical software quality management activities. Based on a nonhomogeneous Poisson process (NHPP), the plausible methods of calculating software SIL in the functional safety standard are proposed. Further, we discuss the quantitative method for assuring software SIL based on the optimal release policies with the test cost during testing-environment and the risk cost after the software products will be released.

Survey of software safety standards shows diversity

Computer ◽  
1993 ◽  
Vol 26 (1) ◽  
pp. 88-89 ◽  
Author(s):  
P.V. Bhansali
Keyword(s):  
Software Safety ◽  
Safety Standards

scholarly journals N-version programming approach with implicit safety guarantee for complex dynamic system stabilization applications

2020 ◽  
pp. 002029401988747
Author(s):  
Nadir Subasi ◽  
Ufuk Guner ◽  
Ilker Ustoglu
Keyword(s):  
Essential Element ◽  
Majority Voting ◽  
Programming Approach ◽  
Critical Systems ◽  
Software Safety ◽  
Critical System ◽  
Iso 26262 ◽  
Safety Standards ◽  
Safety Critical ◽  
Iec 61508

Safety-critical systems are widely used in many sectors to prevent fatal accidents and prevent loss of life, damage of property, or deterioration of the environment. Implementation of software safety standards as part of the development of safety-critical software is generally considered an essential element of any safety program. Therefore, it has become more critical to produce highly reliable software to meet the safety requirements established by functional safety standards, such as IEC 61508, ISO 26262, and EN 50128. IEC 61508 supports well-known safety mechanisms such as design diversity like N-version (multi-version) programming. N-version (multi-version) programming is a method where multiple functionally equivalent programs are independently developed from the same software specifications. N-version (multi-version) programming is particularly an effective approach to increase the quality of software in a safety-critical system. In this paper, one of the well-known and widely used algorithms in the field of N-version (multi-version) programming, the majority voting algorithm, has been modified with an online stability checker where the decisions of the voter are judged against the stability of the underlying system. The plant where all the theoretical results are implemented is a tilt-rotor system with the proposed N-version (multi-version) programming–based controller. The experimental results show that the modified majority voter-based N-version (multi-version) programming controller provides more reliable control of the plant.

scholarly journals An Overview of Software Safety Standards *

1995 ◽  
Vol 28 (25) ◽  
pp. 257-261
Author(s):  
J. Dennis Lawrence
Keyword(s):  
Software Safety ◽  
Safety Standards
Sign in / Sign up

Export Citation Format

Share Document