ГОСТ Р МЭК 61508-7-2007 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 7. Методы и средства

[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:1985*

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

________________

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

[4] IEC 60880:1986*

Software for computers in the safety systems of nuclear power stations

________________

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

[5] IEC 61000-4-1:1992*

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

________________

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

[6] IEC 61000-4-5:1995*

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

________________

* В настоящее время действует IEC 61000-4-5:2005 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:1990*

Fault tree analysis (FTA)

________________

* В настоящее время действует IEC 61025:2006 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:1991*

Analysis techniques for dependability - Reliability block diagram method

________________

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

[11] IEC 61131-3:1993*

Programmable controllers - Part 3: Programming languages

________________

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

[12] IEC 61160:1992*

Formal design review Amendment 1 (1994)

________________

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

[13] IEC 61163-1:1995*

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

________________

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

[14] IEC 61164:1995*

Reliability growth - Statistical test and estimation methods

________________

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

[15] IEC 61165:1995*

Application of Markov techniques

________________

* В настоящее время действует IEC 61165:2006 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 61704*

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:1990*

Programming languages - C

________________

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

[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:1998*

Programming languages - C++

________________

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

[31] ISO/IEC 1539-1:1997*
2004

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

________________

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

[32] ISO/IEC/TR 15942*

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

________________

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