Locks for the use of IEC 61508 to ML Safety-Critical Applications and Possible Solutions

Features of verification FPGA-based safety critical I&C systems (FBIC) using of fault-insertion technique (FIT) are analyzed. The FIT is applied in process of certification to meet requirements of IEC 61508 according with safety integrity level (SIL). Specific aspects of FBIC SIL-certification are described. Concept of FIT-ability, theoretical issues and optimal FIT procedure taking into account different points and means of fault insertion are offered. The developed technique and tool to verify FPGA-based platform RadICS using FIT procedure during SIL-certification are described.

Download Full-text

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

Measurement and Control ◽

10.1177/0020294019887473 ◽

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.

Download Full-text

Modeling the Failure Tree Analysis for Safety-Critical Systems in the Production of Hazardous Materials

Materials Science Forum ◽

10.4028/www.scientific.net/msf.862.307 ◽

2016 ◽

Vol 862 ◽

pp. 307-315

Author(s):

Darja Gabriska

Keyword(s):

Probability Model ◽

Main Role ◽

Critical Systems ◽

Safety Critical ◽

Iec 61508 ◽

Failure Intensity ◽

Complete Failure ◽

Explosive Substance ◽

Failure Tree

During a manufacturing process of automotive clutch an explosive substance – xenon is produced. Concentration of this substance must be monitored. Implementation of controls is performed by a safety-critical functions control system.Among main role during the process of risk assessment analysis belong determination of danger and dangerous events associated with the devices. Proactive planning errors and the use of appropriate standards can greatly reduce formation disorders thereby reducing the probability of dangerous consequences. The standard safety subsystems architectures and computation methods for determining the failure intensity is listed in the standards IEC 61508 and IEC 61511. These standards contain information tables with the results of these computations for selected parameter values.We propose a complete failure probability model for the safety functions of the control system. This model is designed to compute the intensity of the critical failure for the standard channel architectures.These architectures were designed with respect to the standard IEC 61508 and were implemented in Matlab.

Download Full-text

Evaluation of Safety Parameters According to IEC Standards

Research Papers Faculty of Materials Science and Technology Slovak University of Technology ◽

10.1515/rput-2015-0024 ◽

2015 ◽

Vol 23 (s1) ◽

pp. 29-36

Author(s):

Peter Cuninka ◽

Maximilián Strémy

Keyword(s):

Functional Safety ◽

Critical Systems ◽

Safety Critical ◽

Safety Integrity Level ◽

Iec 61508 ◽

Safety Parameters ◽

Safety Critical Systems

Abstract The article deals with different procedures for determining the safety integrity level and its applications. The purpose of this research was to evaluate the system and associate it with certain safety integrity level. In this article, we will use IEC 61508, IEC 61511 and IEC 62061 for comparison. The first standard is specified as the superior standard for all safety-critical systems. The second one acts as an extension of the superior standard in the field of functional safety. The last one is aimed at machinery safety.

Download Full-text