METHODS OF SOFTWARE FUNCTIONAL DEPENDABILITY ASSURANCE

The paper considers the basic aspects of the construction of reliable software. It discusses methods and ways of error prevention based on protective and multiversion programming, tools of passive and active detection of errors, principles and methods of error correction based on dynamic redundancy and restart. Some emphasis is made on solving the tasks of construction of error-tolerant programs with the help of digression methods, techniques of error isolation and construction of redundant algorithms not critical to various types of information process violations.

a program, an error, software dependability, error prevention, error detection, error correction, error-tolerant software, antibugging, multiversion programming, restart, dynamic redundancy, algorithmic redundancy, isolation of errors

1. Shubinsky I.B. Functional dependability of information systems (Methods of analysis). M.: Dependability Journal Ltd., 2012, 296p.

2. BS EN 50128:2011. The software for control and protection systems on railways.

3. GOST R/IEC 61508-3-2012. Functional safety of electrical/electronic/programmable electronic safety-related systems. Requirements for software.