Geum.ru

Соу-н нкау 0060: 2010

Вид материалаДокументы

Содержание


Додаток в
Подобный материал:
1   2   3   4   5   6   7

ДОДАТОК В


(довідковий)

БІБЛІОГРАФІЯ


1 ECSS-Q-80B–2002 Space product assurance. Software product assurance (Гарантія продукції космічного призначення. Гарантія програмного продукту)

2 ECSS-Q-80-03 Space product assurance. Methods and techniques to support the assessment of software dependability and safety (Гарантія продукції космічного призначення. Методи та методики оцінки надійності та безпеки програмного забезпечення)

3 IEC 60812:1985 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 (Програмне забезпечення для ЕОМ систем забезпечення безпеки АЕС)

5 IEC 61025:1990 Fault tree analysis (FTA) (Аналіз дерева відмов)

6 ISO/IEC 9126-1:2001 Software Engineering – Product Quality – Part 1: Quality model (Інжиніринг програмного забезпечення – Якість продукту – Частина 1: Модель якості)

7 IEC 61508 4:1998 Functional safety of electrical/electronic/programmable electronic safety related systems – Part 7: Definitions and abbreviations (Функціональна безпека електричних/ електронних/ програмованих електронних систем, важливих для безпеки – Частина 7: Визначення та скорочення)

8 Харченко В. С., Скляр В. В. Моделирование и оценка безотказности необслуживаемых компьютерных систем управления с многоверсионными программными средствами // Электронное моделирование (Моделювання та оцінювання безвідмовності комп’ютерних систем керування, що не обслуговуються, з багатоверсійними програмними засобами // Електронне моделювання.– 2001.– Т. 23.– № 4.– С. 69-81

9 Бахмач Е. С., Скляр В. В., Харченко В. С., и др. Отказобезопасные информационно-управляющие системы на программируемой логике (Відмовобезпечні інформаційно-керуючи системи на програмувальній логіці) / Под ред. Харченко В. С., Скляра В. В. – Нац. аэрокосм. ун-т «ХАИ», НПП «Радий». – 2008. – 380 с.

10 Dobson I. E., Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components (Побудова надійних безпечних комп’ютерних систем з компонентів, що не перевірені на безпечність// Proc. of the IEEE Conference on Security and Privacy, Oakland, USA. – 1986. – P. 187-193.

11 IEC 61508 7:2000 Functional safety of electrical/electronic/programmable electronic safety related systems – Part 7: Overview of techniques and measures (Функціональна безпека електричних/ електронних/ програмованих електронних систем, важливих для безпеки – Частина 7: Огляд методик та вимірювань)

12 СОУ-Н НКАУ 0031:2007 Галузева система управління якістю. Методи оцінки показників якості програмного забезпечення програмно-технічних комплексів критичного призначення

13 СОУ-Н НКАУ 0058:2008 Галузева система управління якістю. Вимоги до функціональної безпеки програмного забезпечення програмно-технічних комплексів критичного призначення

14 ITU-T. Terms and Definitions Related to QoS and Network Performance Including Dependability. Recommendations E800 (Терміни та визначення, які відносяться до QoS та мережеве виконання, що включає гарантоздатність. Рекомендації Е800). – Geneva, 1994. – 65 p.

15 IAEA NS-G-1.3. Instrumentation and control systems important to safety nuclear power plants. Safety guide (Інструментальні та контролюючи системи, важливі для безпеки АЕС. Настанова з безпеки). – Vienna. – 2002.IAEA Safety Guide. Software for Computer Based Systems Important to Safety in Nuclear Power Plant. No. NS-G-1.1, Vienna, 2000. – 91с.

16 Соммервил И. Инженерия программного обеспечения (Інженерія програмного забезпечення). – СПб.: Вильямс, 2002. – 624 с.

17 Харченко В. С. Гарантоздатність комп’ю­терних систем: проблеми та результати // Авіаційно-космічна техніка і технологія. – 2005. – №7(23). –
С. 352-357

18 Avizienis A., Laprie J.-C., Randell B., Landwehr C. Basic Concepts and Taxonomy of Dependable and Secure Computing (Базові концепції й таксономія гарантоздатних та безпечних обчислень) // IEEE Trans. On Dependable and Secure Computing. – 2004. – vol. 1. – №1. – P. 11-33

19 ECSS-Q-30B Space product assurance. Dependability (Гарантія продукції космічного призначення. Надійність)

20 ECSS-Q-40B–2002 Space product assurance. Safety (Гарантія продукції космічного призначення. Безпека)

21 IEC 61513:1998 Nuclear power plants – Instrumentation and control systems important for safety – General requirements for systems (АЕС – Інформаційно- керуючі системи, важливі для безпеки –Загальні вимоги до систем)

22 ISO/IEC TR 9126-2:2003 Software Engineering – Product Quality – Part 2: External metrics (Інжиніринг програмного забезпечення – Якість продукту – Частина 2: Зовнішні метрики)

23 ISO/IEC TR 9126-3:2003 Software Engineering – Product Quality – Part 3: Internal metrics (Інжиніринг програмного забезпечення – Якість продукту – Частина 3: Внутрішні метрики)

24 ISO/IEC TR 9126-4:2004 Software Engineering – Product Quality – Part 4: Quality in use metric (Інжиніринг програмного забезпечення – Якість продукту – Частина 4: Метрики якості у використовуванні)

25 ISO/IEC 14598-1:1999 Information technology – Software product evaluation – Part 1: General (Інформаційні технології – Оцінювання програмного продукту Частина 1: Загальний огляд)

26 IEEE 982.1-1988 IEEE standard dictionary of measures to produce reliable software (Стандартний словник IEEE з вимірювань під час виробництва надійного програмного забезпечення)

27 RTCA DO 178B–1992 Software Considerations in Airborne Systems and Equipment Certification (Розгляд програмного забезпечення під час сертифікації бортових систем та обладнання)

28 СОУ-Н НКАУ 0012:2006 Галузева система управління якістю. Вимоги до якості програмного забезпечення програмно-технічних комплексів критичного призначення для космічної техніки

29 Липаев В. В. Обеспечение качества программных средств (Забезпечення якості програмних засобів). – Москва: Синтег, 2001 –380 с.

30 Липаев В. В. Выбор и оценивание характеристик качества программных средств. Методики и стандарты (Вибір та оцінювання характеристик якості програмних засобів. Методики та стандарти). – Москва: Синтег, 2001 – 228 с.

31 Липаев В. В. Функциональная безопасность программных средств (Функціональна безпека програмних засобів). – Москва: Синтег, 2004– 348 с.

32 Калошин А. М., Пчелинцев Л. А., Кузнецов И. И., Ершов А. С. Наземная отработка космических аппаратов (Наземне відпрацювання космічних апаратів). – М.: КомКнига, 2005. – 176 с.

33 Микрин Е. А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения (Бортові комплекси керування космічними апаратами та проектування їхнього програмного забезпечення). – М.: МГТУ им. Н.Э. Баумана, 2003. – 336 с.

34 Одарущенко О. Н., Поночовный Ю. Л., Одарущенко Е. Б. Терминологии-ческие аспекты теории надежности программных средств (Термінологічні аспекти теорії надійності програмних засобів)// Радиоэлектронные и компьютерные системы. – №2 (6). – С. 88-94

35 Харченко В. С. Гарантоздатність комп’ютерних систем: межа універсальності в контексті інформаційно-технічного стану // Радіоелектронні і комп’ютерні системи. – 2007. – № 8. – С. 8-16

36 Харченко В. С. Гарантоспособность и гарантоспособные системы: элементы методологии (Гарантоздатність та гарантоздатні системи: елементи методології)// Радіоелектронні й комп’ютерні системи.– 2006.– Вип. 5(17).– С. 7–19

37 Харченко В. С., Жихарев В. Я., Илюшко В. М. и др. Многоверсионные системы, технологии, проекты (Багатоверсійні системи, технології, проекти) / Под ред. В.С. Харченко. – Харьков: Нац. аэрокосм. ун т «ХАИ»–2006. – 486 с.

38 Харченко В. С., Скляр В. В., Конорев Б. М. и др. Оценка и обеспечение качества программных средств космических систем (Оцінка та забезпечення якості програмних засобів космічних систем) / Под ред. Харченко В.С.,

Конорева Б.М. – Нац. косм. агентство Украины, Госцентр качества, Нац. аэрокосм. ун т «ХАИ». – 2007. – 243с.

39 Харченко В. С., Скляр В. В., Тарасюк О. М. Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций (Аналізування ризиків аварій для ракетно-космічної техніки: еволюція причин та тенденцій)// Радіоелектронні і комп’ютерні системи. – 2003. – № 3. – С. 135-149

40 Ястребенецкий М. А., Васильченко В. Н., Виноградская С. В. и др. Безопасность атомных станций: Информационные и управляющие системы (Безпека АЕС. Інформаційні та керуючи системи) / Под ред.
М. А. Ястребенецкого. – К.: Техніка, 2004. – 472 с.

41 BS IEC 60300-3-6:1997. Управление общей надежностью.Руководство по применению. Вопросы програмного обеспечения общей надежности





Аркуш реєстрації змін

пр СОУ-Н НКАУ 0060:ХХХХ

Позначення

зміни
Номер сторінки
Всього

сторінок у доку-менті
Реєст-раційний номер зміни
Підпис,

дата

внесення

зміни
Дата

надання чинності зміні

заміне-

ної
нової
вилуче-ної