References. terms; Section 3.2:'Glossaryofinternational terms', 1991 (equal to IEC , 1990).

Transcription

1 References AFSCI AFLC 00-45, 1988 Department of the Air Force, Headquarters Air Force Systems Command, Andrews Air Force Base DC Headquarters Air Force Logistics Command, Wright Patterson Air Force Base OH , Software risk abatement, AFSC/AFLC Pamphlet 00-45, 30 September Adelard, ASCAD, 1998 Adelard, Adelard safety case development manual, ASSE, 1988 American Society of Safety Engineers, The dictionary of terms used in the safety profession, 3rd edition, BSI, BS , 1991 British Standards Institution, BS 4778, Part 1, Quality vocabulary - International terms, BSI, BS , 1991 British Standards Institution, BS 4778, Part 2, Quality concepts and related definitions, BSI, BS , 1991 British Standards Institution, BS 4778, Part 3, Availability, reliability and maintainability terms; Section 3.1: 'Guide to concepts and related definitions', BSI, BS , 1991 British Standards Institution, BS 4778, Part 3, Availability, reliability and maintainability terms; Section 3.2:'Glossaryofinternational terms', 1991 (equal to IEC , 1990). CSA, CAN/CSA-Q396.1.l, 1989 CSA International, CAN/CSA-Q , Quality Assurance Program for the development of software used in critical applications, CCPS,I993 Center for Chemical Process Safety of the American Institute of Chemical Engineers, Guidelines for safe automation of chemical processes, New York, Copyright (1992) by the American Institute of Chemical Engineers and reproduced by permission of Center for Chemical Process Safety of AIChE. CEN, EN 298, 1993 European Committee for Standardization, EN 298, Automatic gas burner control systems for gas burners and gas burning appliances with or without fans, CENELEC, pren50126, 1998 CENELEC, pren50126, Railway applications: The specification and demonstration of reliability, availability, maintainability and safety (RAMS), CENELEC, ENV50129, 1998 CENELEC, ENV50129, Railway applications: Safety related electronic systems for signalling,

2 335 ESA, ECSS-P-OOIA, 1997 European Space Agency, ECSS-P-OOIA, Glossary of terms, Rev. 1, Holscher & Rader, 1986 Holscher, H., R. Rader, Microcomputers in safety technique: an aid to orientation for developer and manufacturer, Verlag TOV Bayern, HSE,1991 Health and Safety Executive, Software for computers in safety related applications, London, IEC , 1990 International Electrotechnical Commission, IEC , International electrotechnical vocabulary; Chapter 191: 'Dependability and quality of service', 1990 (equal to BS , 1991). IEC , Am. 1, 1999 International Electrotechnical Commission, IEC , International electrotechnical vocabulary; Chapter 191: 'Dependability and quality of service', Amendment 1, IEC , 1983 International Electrotechnical Commission, IEC , International electrotechnical vocabulary; Chapter 301: 'General terms on measurement in electricity', IEC , 1998 International Electrotechnical Commission, IEC , International electrotechnical vocabulary; Chapter 351: 'Automatic control', IEC 300-1, 1993 International Electrotechnical Commission, IEC 300-1, Dependability management; Part 1: 'Dependability programme management', IEC 300-2, 1995 International Electrotechnical Commission, IEC 300-2, Dependability management; Part 2: 'Dependability programme elements and tasks', IEC , 1991 International Electrotechnical Commission, lee , Dependability management; Part 3: 'Application guide'; Section 1: 'Analysis techniques for reliability: Guide on methodology', IEC , 1996 International Electrotechnical Commission, IEC , Dependability management; Part 3: 'Application guide'; Section 3: 'Life cycle costing', IEC , 1996 International Electrotechnical Commission, IEC , Dependability management; Part 3: 'Application guide'; Section 4: 'Guide to the specification of dependability requirements', IEC , 1995 International Electrotechnical Commission, IEC , Dependability management; Part 3: 'Application guide'; Section 9: 'Risk analysis of technological systems', 1995.

3 336 IEC 812, 1985 International Electrotechnical Commission, IEC 812, Analysis techniques for system reliability: Procedure for failure mode and effect analysis (FMEA), IEC 902, 1987 International Electrotechnical Commission, IEC 902, Industrial process measurement and control: Terms and definitions, IEC 1123, 1991 International Electrotechnical Commission, IEC 1123, Reliability testing: Compliance test plans for success ratio, IEC ,1992 International Electrotechnical Commission, IEC , Programmable controllers; Part 1, 'General information', IEC , 1998 International Electrotechnical Commission, IEC 61508, Functional safety of electrical/ electronic/programmable electronic safety-related systems; Part 4: 'Definitions and abbreviations', IEEE Std-500, 1984 Institute of Electrical and Electronics Engineers, IEEE-Std-500, Guide to the collection and presentation of electrical, electronic, sensing component, and mechanical equipment reliability data for nuclear-power generating stations, 2nd edition, copyright All rights reserved. IEEE Std , 1991 Institute of Electrical and Electronics Engineers, IEEE-Std , Glossary of software engineering terminology, copyright All rights reserved. IEEE Std-729, 1983 Institute of Electrical and Electronics Engineers, IEEE-Std-729, IEEE Standard glossary of software engineering terminology, copyright All rights reserved. IEEE Std-730, 1989 Institute of Electrical and Electronics Engineers, IEEE-Std-730, IEEE Standard for software quality assurance plans, copyright All rights reserved. IEEE Std-829, 1983 Institute of Electrical and Electronics Engineers, IEEE-Std-829, IEEE Standard for software test documentation, copyright All rights reserved. IEEE Std-982.1, 1988 Institute of Electrical and Electronics Engineers, IEEE-Std-982.1, IEEE Standard dictionary of measures to produce reliable software, copyright All rights reserved. IEEE Std-990, 1987 Institute of Electrical and Electronics Engineers, IEEE-Std-990, IEEE recommended practice for ADA as a program design language, copyright All rights reserved.

4 337 IEEE Std-1002, 1987 Institute of Electrical and Electronics Engineers, IEEE-Std-l002, IEEE Standard taxonomy for software engineering standards, copyright All rights reserved. IEEE Std-I008, 1987 Institute of Electrical and Electronics Engineers, IEEE-Std-l008, IEEE Standard for software unit testing, copyright All rights reserved. IEEE Std-IOI2, 1987 Institute of Electrical and Electronics Engineers, IEEE-Std-1012, IEEE Standard for software verification and validation, copyright All rights reserved. IEEE Std-I028, 1988 Institute of Electrical and Electronics Engineers, IEEE-Std-l028, Software reviews and audits, copyright All rights reserved. IEEE Std-IOS8.1, 1988 Institute of Electrical and Electronics Engineers, IEEE-Std-lOS8.1, IEEE Standard for software management plans, copyright All rights reserved. IEEE Std-I061, 1992 Institute of Electrical and Electronics Engineers, IEEE-Std-1061, IEEE Standard for a software quality metrics methodology, copyright All rights reserved. IEEE Std-1062, 1992 Institute of Electrical and Electronics Engineers, IEEE-Std-l062, IEEE Recommended practice for software acquisition, copyright All rights reserved. IEEE Std-1063, 1988 Institute of Electrical and Electronics Engineers, IEEE-Std-1063, IEEE Standard for software user documentation, copyright All rights reserved. IEEE Std-I074, 1991 Institute of Electrical and Electronics Engineers, IEEE-Std-l074, IEEE Standard for developing software life cycle processes, copyright All rights reserved. IEEE Std-1219, 1992 Institute of Electrical and Electronics Engineers, IEEE-Std-1219, IEEE Standard for software maintenance, copyright All rights reserved. IEEE Std-1228, 1994 Institute of Electrical and Electronics Engineers, IEEE-Std-1228, IEEE Standard for software safety plans, copyright All rights reserved. IEEE Std-1298, 1992 Institute of Electrical and Electronics Engineers, IEEE-Std-1298, Software Quality Management Systems; Part 1: 'Requirements', copyright All rights reserved. IS A, S84.01, 1996 Instrument Society of America, ANSI/ISA-S , Application of safety instrumented systems for the process industries, 1996.

5 338 ISA, S88.01, 1995 Instrument Society of America, ANSIIISA-S , Batch control; Part 1: 'Models and terminology', ISO/IEC, Guide 2, 1996 International Organization for Standardization, ISO/IEC Guide 2, Standardization and related activities - General vocabulary, ISO , 1993 International Organization for Standardization, ISO, ISO , Information technology - Vocabulary; Part 1: 'Fundamental terms', ISO , 1997 International Organization for Standardization, ISO , Data processing - Vocabulary; Section 14: 'Reliability, maintenance and availability', ISO , 1976 International Organization for Standardization, ISO , Data processing - Vocabulary; Section 02: 'Arithmetic and logic operations', ISO/IEC DIS , 1996 International Organization for Standardization, International Electrotechnical Commission, ISO/IEC DIS , Information technology - Vocabulary; Part 7: 'Computer programming', ISO/IEC , 1986 International Organization for Standardization, ISO , Information processing systems - Vocabulary; Part 8: 'Control, integrity and security', ISO 8402, 1994 International Organization for Standardization, ISO 8402, Quality management and quality assurance - Vocabulary, ISO , 1993 International Organization for Standardization, ISO , Quality management and quality assurance standards; Part 4: 'Guide to dependability programme management', 1993 (equal to lec 300, 1993). Jones, 1992 Jones, Nomenclature for hazard and risk assessment in the process industries, Institution of Chemical Engineers, Klinger et ai., 1990 Klinger, D.J., Y. Nakada, M.A. Menendez, AT&T reliability manual, Van Nostrand Reinhold, New York, Korteweg, 1994 Korteweg, L., Classification and implementation of instrumented protective functions, International symposium on PLCs in safety related applications, Cologne, 7-8 September Laprie, 1992 J.e. Laprie (ed.), Dependable computing and fault-tolerant systems, Vol. 5, Dependability: Basic concepts and terminology, Springer-Verlag Wien, 1992.

6 339 Leveson, 1995 N.G. Leveson, Safeware: System safety and computers, Addison-Wesley Publishing Corporation, Martz & Waller, 1982 Martz, H.E & R.A. Waller, Bayesian reliability analysis, Wiley, Musa et al., 1987 Musa, J., A. Iannino and K. Okumoto, Software reliability; measurement, prediction, application, McGraw-Hill, New York, NATO, ARMP-7, 1996 North Atlantic Treaty Organisation (NATO), Military agency for standardisation (MAS), ARMP-7, NATO R&M terminology applicable to ARMPs, O'Connor, 1981 O'Connor, P.D.T., Practical reliability engineering, John Wiley & Sons, Chichester, OREDA,1992 OREDA, Offshore Reliability Data Handbook, Published by OREDA participants, Pennwell Publishing Company, RTCA, DOI78B, 1992 RTCA, DOI78B, Software considerations in airborne systems and equipment certification, Advisory Circular, Copyright (1992) by RTCA and reproduced by permission of RTCA; reprinting information requires authorisation from RTCA. SA, AS 3563, 1991 Standards Australia, Australian Standard 3563, Software quality management system; Part 1: 'Requirements', 1991 (adopted by IEEE as IEEE-Std-1298, 1992). Smith,1981 Smith, D.J., Reliability and maintainability in perspective, technical, management and commercial aspects, The Macmillan Press Ltd., Smith & Wood, 1989 Smith, D.J. & K.B. Wood, Engineering quality software, Elsevier Applied Science, SSCP 83, 1995 Sea Systems Controllerate Publication No. 83, SSCP 83, Issue 1.0, MOD Project manager's guide to C and C++, SSCP 85, 1995 Sea Systems Controllerate Publication No. 85, SSCP 85, Issue 2, Joint MOD/Industry computing policy for military operational systems, SSP 84, 1996 Sea Systems Publication No. 84, SSP 84, Issue 1.0, MOD project manager's guide to ADA, March, UK DTI, ITSEC, 1991 UK Department of Trade and Industry, ITSEC, Information Technology Security Evaluation Criteria, June 1991.

7 340 UK MoD, Def Stan 00-41, 1993 UK MoD Directorate of Standardization, Defence Standard 00-41, Reliability and Maintainability: MoD Guide to Practices and Procedures, Issue 3 (supersedes all previously issued separate parts), June UK MoD, Def Stan 00-49, 1996 UK MoD Directorate of Standardization, Defence Standard 05-49, Reliability and maintainability: MOD guide to terminology definitions, UK MoD, Def Stan 00-55, 1997 UK MoD Directorate of Standardization, Interim Defence Standard 00-55, Requirements for safety related software in defence equipment, Issue 2, UK MoD, Def Stan 00-56, 1996 UK MoD Directorate of Standardization, Interim Defence Standard 00-56, Safety Management requirements for defence systems, Issue 2, UK MoD, Def Stan 00-58, 1996 UK MoD Directorate of Standardization, Interim Defence Standard 00-58, HAZOP studies on systems containing programmable electronics, UK MoD, Def Stan 05-57, 1993 UK MoD Directorate of Standardization, Defence Standard 05-57, Configuration management, UK MoD, Def Stan 05-95, 1995 UK MoD Directorate of Standardization, Defence Standard 05-95, Quality system requirements for the design, development, supply and maintenance of software, USA DoD, MIL-Hdbk-272A, 1993 USA Department of Defense, MIL-Hdbk-272A, Safety design and evaluation criteria for nuclear weapons systems, USA 000, MIL-Hdbk-347, 1990 USA Department of Defense, MIL-Hdbk-347, Mission-critical computer resources software support, USA 000, MIL-Hdbk-505, 1998 USA Department of Defense, MIL-Hdbk-505, Handbook for definitions of item levels, item exchangeability, models, and related terms, USA 000, MIL-Hdbk-781A, 1996 USA Department of Defense, MIL-Hdbk-781A, Handbook for reliability test methods, plans, and environments for engineering, development qualification, and production, USA 000, MIL-Hdbk-I467, 1997 USA Department of Defense, MIL-Hdbk-1467, Acquisition of software environments and support software, USA 000, MIL-Std-l09C,1994 USA Department of Defense, MIL-Std-109C, Quality assurance terms and definitions, 1994.

8 USA DoD, MIL-Std-280A, 1969 USA Department of Defense, MIL-Std-280A, Definition of item levels, item exchangeability, models and related terms, 1969 (redesignated as MIL-Hdbk-505, 1998). USA DoD, MIL-Std-480B, 1988 USA Department of Defense, MIL-Std-480B, Configuration control: engineering changes, deviations and waivers, 1988 (cancelled by Notice 1, 1992). USA DoD, MIL-Std-498, 1994 USA Department of Defense, MIL-Std-498, Software development and documentation, 1994 (cancelled by Notice 1, 1998). USA DoD, MIL-Std-721C, 1981 USA Department of Defense, MIL-Std-nlC, Definitions of terms for reliability and maintainability, 1981 (cancelled by Notice 2, 1995). USA DoD, MIL-Std-785B, 1980 USA Department of Defense, MIL-Std-785B, Reliability program for systems and equipment development and production, 1980 (cancelled by Notice 3, 1998). USA DoD, MIL-Std-882C, 1993 USA Department of Defense, MIL-Std-882C, System safety program requirements, USA DoD, MIL-Std-973, 1993 USA Department of Defense, MIL-Std-973, Configuration management, USA DoD, MIL-Std-2167A, 1988 USA Department of Defense, MIL-Std-2167 A, Defense system software development, 1988 (cancelled by Notice 1, 1994). VDE 0801, 1991 Deutsches Institut fur Normung, DIN-V-VDE 0801, Principles for computers in safetyrelated systems,