ГОСТ Р МЭК 61508-7—2007
Библиография
[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’ 1Analysis 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:1991")Analysis techniques for dependability — Reliability block diagram method
[11] IEC 61131-3:1993”Programmable controllers — Part 3: Programming languages
[12] IEC 61160:19923’Formal design review Amendment 1 (1994)
[13] IEC 61163-1:1995*’Reliability stress screening — Part 1: Repairable items manufactured in lots
[14] IEC 61164:1995’°’Reliability growth — Statistical test and estimation methods
[15] IEC 61165:1995м)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] IEC61704’2’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:1990Information technology — Programming languages — Pascal
[22] ISO/IEC 8631:1989Information technology — Program constructs and conventions for their representation
[23] ISO/IEC 8652:1995Information 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’3’ Programming languages — C
[26] ISO/IEC 10206:1991Information technology — Programming languages — Extended Pascal
[27] ISO/IEC 10514-1:1996 Information technology — Programming languages — Pari 1: Modula-2. Base Language
Ч В настоящее время действует IEC 60812:2006 Analysis techniques for system reliability — Procedure for
failure mode and effects analysis (FMEA).
21В настоящее время действует IEC 60880:2006 Software for computers in the safety systems of nuclear power
stations.
31В настоящее время действует IEC 61000-4-1:2000 Electromagnetic compatibility (EMC) — Part 4: Testing
and measurement techniques — Section 1: Overview of immunity tests. Basic EMC publication.
4t В настоящее время действует IEC 61000-4-5:2005 Electromagnetic compatibility (EMC) — Part 4: Testing
and measurement techniques — Section 5: Surge immunity test.
51В настоящее время действует IEC 61025:2006 Fault tree analysis (FTA).
61В настоящее время действует IEC 61078:2006 Analysis techniques for dependability — Reliability block
diagram method.
71В настоящее времядействует IEC 61131-3:2003 Programmable controllers — Part 3: Programming languages.
81В настоящее время действует IEC 61160:2005 Formal design review.
9t В настоящее время действует IEC 61163-1:2006 Reliability stress screening — Part 1: Repairable items
manufactured in lots.
,0>В настоящее время действует IEC 61164:2004 Reliability growth — Statistical test and estimation methods.
,1>В настоящее время действует IEC 61165:2006 Application of Markov techniques.
12)В стадии разработки.
,3>В настоящее время действует ISO/IEC 9899:1999 Programming languages - С.
66