Библиография

[1] IEC 60068-1:1988

Environmental testing - Part 1: General and guidance

[2] IEC 60529:1989

Degrees of protection provided by enclosures (IP Code)

[3] IEC 60812:19851)

Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)

[4] IEC 60880:19862)

Software for computers in the safety systems of nuclear power stations

[5] IEC 61000-4-1:19923)

Electromagnetic compatibility (EMC) - Part 4: Testing and measurement techniques - Section 1: Overview of immunity tests. Basic EMC publication

[6] IEC 61000-4-5:19954)

Electromagnetic compatibility (EMC) - Part 4: Testing and measurement techniques - Section 5: Surge immunity test

[7] IEC 61000-5-2:1997

Electromagnetic compatibility (EMC) - Part 5: Installation and mitigation guidelines - Section 2: Earthing and cabling

[8] IEC 61025:19905)

Fault tree analysis (FTA)

[9] IEC 61069-5:1994

Industrial-process measurement and control - Evaluation of system properties for the purpose of system assessment - Part 5: Assessment of system dependability

[10] IEC 61078:19916)

Analysis techniques for dependability - Reliability block diagram method

[11] IEC 61131-3:19937)

Programmable controllers - Part 3: Programming languages

[12] IEC 61160:19928)

Formal design review Amendment 1 (1994)

[13] IEC 61163-1:19959)

Reliability stress screening - Part 1: Repairable items manufactured in lots

[14] IEC 61164:199510)

Reliability growth - Statistical test and estimation methods

[15] IEC 61165:199511)

Application of Markov techniques

[16] IEC 61346-1:1996

Industrial systems, installations and equipment and industrial products - Structuring, principles and reference designation - Part 1: Basic rules

[17] IEC 61506:1997

Industrial-process measurement and control - Documentation of application software

[18] IEC 61511-SER

Functional safety - Safety instrumented systems for the process industry sector - ALL PARTS

[19] IEC 6170412)

Guide to the selection of software test methods for reliability assessment

[20] ISO 5807:1985

Information processing - Documentation symbols and conventions for data, program and system flowcharts, program network charts and system resources charts

[21] ISO/IEC 7185:1990

Information technology - Programming languages - Pascal

[22] ISO/IEC 8631:1989

Information technology - Program constructs and conventions for their representation

[23] ISO/IEC 8652:1995

Information technology - Programming languages - Ada

[24] ISO 8807:1989

Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour

[25] ISO/IEC 9899:199013)

Programming languages - С

[26] ISO/IEC 10206:1991

Information technology - Programming languages - Extended Pascal

[27] ISO/IEC 10514-1:1996

Information technology - Programming languages - Part 1: Modula-2, Base Language

[28] ISO/IEC 10514-3:1998

Information technology - Programming languages - Part 3: Object Oriented Modula-2

[29] ISO/IEC 13817-1:1996

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

[30] ISO/IEC 14882:199814)

Programming languages - C++

[31] ISO/IEC 1539-1:199715)

2004

Information technology - Programming languages - Fortran - Part 1: Base language

[32] ISO/IEC/TR 1594216)

Guidance for the use of the Ada programming language in high integrity systems

1) В настоящее время действует IEC 60812:2006 Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA).

2) В настоящее время действует IEC 60880:2006 Software for computers in the safety systems of nuclear power stations.

3) В настоящее время действует IEC 61000-4-1:2000 Electromagnetic compatibility (EMC) - Part 4: Testing and measurement techniques - Section 1: Overview of immunity tests. Basic EMC publication.

4) В настоящее время действует IEC 61000-4-5:2005 Electromagnetic compatibility (EMC) - Part 4: Testing and measurement techniques - Section 5: Surge immunity test.

5) В настоящее время действует IEC 61025:2006 Fault tree analysis (FTA).

6) В настоящее время действует IEC 61078:2006 Analysis techniques for dependability - Reliability block diagram method.

7) В настоящее время действует IEC 61131-3:2003 Programmable controllers - Part 3: Programming languages.

8) В настоящее время действует IEC 61160:2005 Formal design review.

9) В настоящее время действует IEC 61163-1:2006 Reliability stress screening - Part 1: Repairable items manufactured in lots.

10) В настоящее время действует IEC 61164:2004 Reliability growth - Statistical test and estimation methods.

11) В настоящее время действует IEC 61165:2006 Application of Markov techniques.

12) В стадии разработки.

13) В настоящее время действует ISO/IEC 9899:1999 Programming languages - С.

14) В настоящее время действует ISO/IEC 14882:2003 Programming languages - C++.

15) В настоящее время действует ISO/IEC 1539-1:2004 Information technology - Programming languages - Fortran - Part 1: Base language.

16) В стадии разработки.

Ключевые слова: функциональная безопасность; жизненный цикл систем; электрические компоненты; электронные компоненты; программируемые электронные компоненты и системы; системы, связанные с безопасностью; случайные отказы оборудования; систематические отказы; планирование функциональной безопасности; методы и средства; полнота безопасности