Национальный стандарт РФ ГОСТ Р 53195.5-2010 "Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 5. Меры по снижению риска, методы оценки" (утв. приказом Федерального агентства по техническому регулированию и метрологии от 21 декабря 2010 г. N 821-ст) (документ отменен)

Национальный стандарт РФ ГОСТ Р 53195.5-2010
"Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 5. Меры по снижению риска, методы оценки"
(утв. приказом Федерального агентства по техническому регулированию и метрологии от 21 декабря 2010 г. N 821-ст)

Functional safety of building/erection safety-related systems. Part 5. Techniques and measures on risk reduction, estimation methods

Дата введения - 1 января 2012 г.

Введен впервые

Введение

Современные здания и сооружения - объекты капитального строительства - представляют собой сложные системы, включающие в свой состав систему конструкций и ряд систем в разных сочетаниях, в том числе инженерные системы жизнеобеспечения, реализации технологических процессов, энерго-, ресурсосбережения, безопасности и другие системы. Эти системы взаимодействуют друг с другом, с внешней и внутренней средами.

Объекты капитального строительства жестко привязаны к местности. Рабочие характеристики зданий, сооружений и входящих в них систем могут быть реализованы, проверены и использованы только в том месте, в котором объекты построены и системы установлены.

Безопасность зданий и сооружений обеспечивается применением совокупности мер, мероприятий и средств снижения риска причинения вреда до уровня приемлемого риска и поддержания его в течение периода эксплуатации или использования этих объектов. К средствам снижения риска относятся системы, связанные с безопасностью зданий и сооружений. Эти системы, состоящие из электрических и/или электронных компонентов, и/или программируемых электронных компонентов, в течение многих лет используются для выполнения функций безопасности. Для решения задач безопасности зданий и сооружений во все объемах используются программируемые электронные (компьютерные) системы.

В настоящем стандарте установлены цели основных методов/средств, рекомендованных к применению в ГОСТ Р 53195.3 и ГОСТ Р 53195.4 для анализа и снижения риска, достижения и поддержания необходимого уровня функциональной безопасности аппаратных средств (АС) и программного обеспечения (ПО) электрических, электронных, программируемых электронных (Е/Е/РЕ) связанных с безопасностью зданий и сооружений систем (СБЗС-систем) на различных стадиях их жизненного цикла, а также для оценки соответствия систем требованиям безопасности в рамках области применения ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.4. В нем приведены краткие описания указанных методов/средств, а также даны ссылки на источники, содержащие их полные описания.

Настоящий стандарт входит в комплекс стандартов с наименованием "Безопасность функциональная связанных с безопасностью зданий и сооружений систем" и является пятым стандартом этого комплекса "Часть 5. Меры по снижению риска, методы оценки". Другие стандарты, входящие в этот комплекс:

Часть 1. Основные положения;

Часть 2. Общие требования;

Часть 3. Требования к системам;

Часть 4. Требования к программному обеспечению;

Часть 6. Внешние средства уменьшения риска, системы мониторинга;

Часть 7. Порядок применения требований к системам и примеры расчетов.

Структура комплекса стандартов приведена ниже.

1 Область применения

Настоящий стандарт распространяется на связанные с безопасностью зданий и сооружений системы (далее - СБЗС-системы), аппаратные средства (далее - АС) и/или программное обеспечение (далее - ПО), являющиеся частями СБЗС-системы либо используемые для разработки СБЗС-систем в рамках областей применения ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.4.

Настоящий стандарт применяется совместно со стандартами ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.4.

Настоящий стандарт устанавливает основные методы/средства, используемые для выполнения требований ГОСТ Р 53195.3 и ГОСТ Р 53195.4, и методы оценки соответствия.

Настоящий стандарт содержит краткие описания методов/средств, рекомендуемых в ГОСТ Р 53195.3 и ГОСТ Р 53195.4 и применяемых на различных стадиях жизненных циклов СБЗС-систем, их АС и ПО для снижения рисков, а также ссылки на источники с полным описанием этих методов/средств.

Примечание - Под "методами/средствами" в настоящем стандарте понимаются методы и/или средства. В большинстве методов/средств, описанных в приложениях А, Б, В и Г, метод состоит в применении того или иного аппаратного, программного или аппаратно-программного средства или средств, в применении логических или математических действий (которые выполняются с использованием средств информатики и математики). В отдельных случаях рассматриваются методы или средства в чистом виде.

Настоящий стандарт не распространяется на одиночные СБЗС-системы, способные осуществить необходимое снижение риска и требуемая полнота безопасности которых ниже самого низкого уровня полноты безопасности (SIL1), определенного в таблицах 1 и 2 ГОСТ Р 53195.2. Он не распространяется также на здания и сооружения, оснащенные такими системами или не имеющие никаких связанных с безопасностью систем.

2 Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие стандарты:

ГОСТ Р ИСО 9000-2005 Системы менеджмента качества. Основные положения и словарь

ГОСТ Р ИСО 9001-2008 Системы менеджмента качества. Требования

ГОСТ Р ИСО 10006-2005 Системы менеджмента качества. Руководство по менеджменту качества при проектировании

ГОСТ Р ИСО/МЭК 16085-2007 Менеджмент риска. Применение в процессах жизненного цикла систем и программного обеспечения

ГОСТ Р 51700-2000 Совместимость технических средств электромагнитная. Технические средства, подключаемые к симметричным линиям. Параметры асимметрии относительно земли. Схемы измерений

ГОСТ Р 51904-2002 Программное обеспечение встроенных систем. Общие требования к разработке и документированию

ГОСТ Р 53195.1-2008 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 1. Основные положения

ГОСТ Р 53195.2-2008 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 2. Общие требования

ГОСТ Р 53195.3-2009 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 3. Требования к системам

ГОСТ Р 53195.4-2010 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 4. Требования к программному обеспечению

ГОСТ Р МЭК 61160-2006 Менеджмент риска. Формальный анализ проекта

ГОСТ 27.310-95 Надежность в технике. Анализ видов, последствий и критичности отказов. Основные положения

ГОСТ 13661-92 Совместимость технических средств электромагнитная. Пассивные помехоподавляющие фильтры и элементы. Методы измерения вносимого затухания

ГОСТ 16962.2-90 Изделия электротехнические. Методы испытаний на стойкость к механическим внешним воздействующим факторам

ГОСТ 30382-95 Совместимость технических средств электромагнитная. Дроссели помехоподавляющие. Общие технические условия

Примечание - При пользовании настоящим стандартом целесообразно проверить действие ссылочных стандартов в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет или по ежегодно издаваемому информационному указателю "Национальные стандарты", который опубликован по состоянию на 1 января текущего года, и по соответствующим ежемесячно издаваемым информационным указателям, опубликованным в текущем году. Если ссылочный стандарт заменен (изменен), то при пользовании настоящим стандартом следует руководствоваться заменяющим (измененным) стандартом. Если ссылочный стандарт отменен без замены, то положение, в котором дана ссылка на него, применяется в части, не затрагивающей эту ссылку.

3 Термины и определения

В настоящем стандарте применены термины по ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.4, а также приведенные ниже термины с определениями.

3.1 антивалентные сигналы (antivalent signals): Два сигнала с одинаковым информационным содержанием, передаваемые по каналам связи в инверсной форме (аналоговые сигналы - в противофазе, цифровые сигналы - с инверсией 0 в 1 или наоборот).

3.2 константная неисправность (stuck-at fault): Неисправность аппаратного средства, вызванная переходом элемента устройства в одно из неизменяемых состояний, например, при "залипании" контактов реле.

3.3 константный отказ (stuck-at failure): Отказ аппаратного средства и/или программного обеспечения, приводящий к переходу аппаратного средства в одно из неизменяемых состояний и/или выдаче на выходе неизменяемых данных или неизменяемой команды.

3.4 постепенный отказ (drift failure): Отказ аппаратного средства из-за постепенного выхода его характеристик за допустимые пределы.

3.5 самоустраняющийся отказ (transient failure): Отказ, обусловленный переходными процессами, устраняющийся по их завершении.

3.6 условная тревога (conditional alarm): Состояние, близкое к тревожному, но еще не влекущее опасных последствий.

Примечание - Термин относится к СБЗС-системам, в которых предусмотрено ступенчатое реагирование на постепенно развивающиеся тревожные события.

3.7 чрезвычайное действие (emergency action): Действие, требующее выполнения при возникновении чрезвычайной ситуации для снижения риска причинения вреда.

4 Обозначения и сокращения

В настоящем стандарте приняты следующие обозначения и сокращения:

АС	-	аппаратное(ые) средство(а);
Е/Е/РЕ	-	электрический(ая, ое), электронный(ая, ое), программируемый(ая, ое) электронный(ая, ое) - в отношении модуля, устройства или системы;
ИС	-	интегральная(ые) микросхема(ы);
ОЗУ	-	оперативное запоминающее устройство (устройство памяти с произвольным доступом);
ОКС	-	Общероссийский классификатор стандартов;
ПЗУ	-	постоянное запоминающее устройство;
ПЛК	-	программируемый логический контроллер;
ПО	-	программное обеспечение;
ППЗУ	-	перепрограммируемое постоянное запоминающее устройство;
САПР	-	система автоматизированного проектирования;
СБЗС-система	-	система, связанная с безопасностью зданий и сооружений;
УО	-	управляемое оборудование;
ADA	-	язык программирования для встраиваемых систем, разработанный в 1979-1980 годах в США и названный в честь Ады Лавлэйс;
ADT	-	обозначение данных абстрактного типа (от англ. abstract data type);
CCS	-	наименование метода/средства расчета соединяющихся систем (от англ. calculus of communicating system);
CHAZOP	-	наименование метода/средства обеспечения безопасности и работоспособности систем управления (от англ. control hazards operability);
CHAZOPs	-	наименование метода/средства анализа безопасности работы компьютеров (от англ. computer hazardous operation analysis);
CIRCAL	-	наименование метода/средства расчета критических цепей (от англ. circuit calculus);
CORE	-	наименование метода/средства выражения контролируемых требований (от англ. сontrolled requirements expression);
CRC	-	циклический избыточный код коррекции ошибок (от англ. cyclic redandency check);
CSP	-	наименование метода/средства описания последовательных коммуникационных процессов (от англ. communicating sequential processes);
EDC	-	код обнаружения/коррекции ошибок;
E/E/PES	-	международное наименование электрической, электронной, программируемой электронной связанной с безопасностью системы;
FMEA	-	обозначение процедуры анализа типа отказа и его последствий (от англ. procedure for failure mode and effects analysis);
FTA	-	метод анализа на основе дерева отказов (от англ. fault tree analysis);
HAZOP	-	наименование метода/средства анализа безопасности и работоспособности (от англ. hazard and operability);
HOL	-	наименование языка логики высшего порядка (от англ. higher-order logic);
INMOS	-	наименование английской фирмы, специализирующейся на производстве транспьютеров;
JSD	-	наименование структурного метода разработки программных систем Джексона (от англ. Jackson structured development);
LCSAJ	-	обозначение последовательности линейного кода и перехода, применяемой при тестировании ПО (от англ. linear code sequence and jump);
LOTOS	-	наименование языка для описания спецификаций, упорядоченных во области (от англ. language for temporal ordering specification);
MASCOT	-	наименование модульного подхода к проектированию, работе и тестированию программного обеспечения (от англ. modular approach to software construction, operation and test);
MCDC	-	обозначение охвата решения модифицированными условиями (от англ. modified condition decision coverage);
MTBF	-	обозначение среднего времени наработки на отказ (от англ. mean time between failures);
OBJ	-	наименование языка для алгебраического описания спецификаций;
OCCAM	-	язык параллельного программирования высокого уровня, используемый для транспьютеров;
ОМТ	-	обозначение методологии объектного моделирования (от англ. object modeling technique);
РЕ	-	международное обозначение "программируемый(ая,ое) электронный(ая,ое)" - в отношении модуля, устройства или системы;
PROM	-	наименование программируемого постоянного запоминающего устройства;
RAID	-	наименование системы организации избыточного массива памяти с использованием недорогих накопителей на дисках (от англ. redundant array of inexpensive disks);
RAM	-	обозначение запоминающего устройства с произвольным доступом;
ROM	-	обозначение постоянного запоминающего устройства;
SA/SD	-	обозначение метода структурного проектирования программных систем на основе структурного анализа (от англ. structured analysis/structured design);
SADT	-	наименование метода/средства структурного анализа и проектирования (от англ. structured analysis and design technique);
SDL	-	наименование языка описаний и спецификаций (от англ. specification-and-description language);
SIL	-	международное обозначение уровня полноты безопасности (от англ. safety integrity level);
SOM	-	наименование технологии Ай-Би-Эм для компонентных архитектур (от англ. system object model);
VDM	-	наименование одного из методов разработки компьютерных систем на основе формального языка;
VDM++	-	наименование расширенной версии метода VDM;
VDM-SL	-	обозначение формального языка для описания спецификаций, разрабатываемых с использованием метода VDM;
XOR	-	обозначение логической операции "исключающее ИЛИ";
Z	-	обозначение нотации языка для описания спецификаций последовательных систем.

5 Меры (методы/средства) по снижению риска

ГАРАНТ:

Здесь и далее по тексту нумерация пунктов приводится в соответствии с источником

5.1.1 Основными мерами по снижению риска являются:

- контроль случайных отказов АС Е/Е/РЕ СБЗС-систем;

- исключение систематических отказов на различных стадиях жизненных циклов СБЗС-систем;

- методы/средства, реализуемые на различных этапах стадий жизненного цикла для достижения полноты безопасности СБЗС ПО.

5.1.2 Методы/средства для контроля случайных отказов АС Е/Е/РЕ СБЗС-систем, их краткое описание, а также ссылки на источники с полным описанием приведены в приложении А.

5.1.3 Методы/средства для исключения систематических отказов на различных стадиях жизненных циклов СБЗС-систем, их краткие описания, а также ссылки на источники с полным описанием приведены в приложении Б.

5.1.4 Методы/средства для достижения полноты безопасности СБЗС ПО, реализуемые на различных этапах стадий жизненного цикла ПО, их краткое описание, а также ссылки на источники с полным описанием приведены в приложении В.

6 Методы оценки

6.1 Методы оценки функциональной безопасности СБЗС ПО, их краткое описание, а также ссылки на источники с полным описанием приведены в разделе В.6 приложения В.

6.2 Методы оценки полноты безопасности предварительно разработанных программных средств, применяемых для СБЗС-систем, основанные на вероятностном подходе, приведены в приложении Г.

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

[1]	Ларионов А.М., Майоров С.А., Новиков Г.И. Вычислительные комплексы, системы и сети. Л.: Ленинградское отделение ЭНЕРГОАТОМИЗДАТ, 1987. http://sergey.weblab.ru/AVSiS/book/Larionov-VKSiS.htm (дата обращения 30.06.2009)
[2]	Денисенко В.В. Компьютерное управление технологическим процессом, экспериментом, оборудованием. М.: Горячая линия-Телеком, 2009, 608 с., ил.
[3]	Сети хранения данных Fibre Channel. Аппаратные средства технологии Fibre Channel. http://www.fibrechannel.ru/app.htm (дата обращения 29.06.2009)
[4]	Компания Backhoff. Комплексная система противоаварийной защиты TwinSAFE//Автоматизация в промышленности. Июнь 2006, с. 31-34
[5]	Компания Backhoff. "Желтые" модули противоаварийной защиты работают по промышленной шине//Автоматизация в промышленности. Январь 2005, с. 36-38
[6]	Дудкин А.В. (Backhoff GmbH) ПО TwinCAT CNT решает сложные задачи движения по заданной траектории//Автоматизация в промышленности. Май 2004, с. 52-54
[7]	Жуков В.В., Лабковский М.Д. Регулировка электромеханических и радиотехнических приборов и систем: Учеб. пособ. для сред., проф.-техн. училищ. М.: Высш. шк., 1984, 200 с., ил. (Профессионально-техническое образование)
[8]	Платунов А., Постников Н., Чистяков А. Механизм граничного сканирования в неоднородных микропроцессорных системах. http://www.chipnews.ru/html.cgi/arhiv/00_10/stat_8.htm (дата обращения 27.03.2009)
[9]	Грушвицкий Р., Ильин И., Михайлов М. Метод граничного сканирования для смешанных сигналов//Компоненты и технологии. N 8, 2006
[10]	Грушвицкий Р., Ильин И., Михайлов М. Метод граничного сканирования для смешанных сигналов. http://www.kit-e.ru/articles/plis/2006_8_118.php (дата обращения 27.03.2009)
[11]	Система безопасного отключения для MDX60B/61B - Условия применения. Издание "SEWEurudrive" - On-line, 03.2004. http://www.sew-eurodrive.ru/files/pdf/11255064.pdf (дата обращения 06.07.2009)
[12]	Применение сертифицированных устройств безопасности производства немецкой компании WIELAND ELECTRIC GMBH на российских предприятиях. Информационно-консультативное издание "Технадзор". Май 2007, N 6
[13]	Брагин Г. Безопасность и сертификация. http://www.safemar.ru/articles.php?id=10 (дата обращения 06.07.2009)
[14]	Система безопасного отключения для MDX60B/61B - Условия применения. Издание SEWEurudrive, 03.2004. (дата обращения 06.07.2009). http://www.sew-eurodrive.ru/files/pdf/11255064.pdf (дата обращения 06.07.2009)
[15]	Применение сертифицированных устройств безопасности производства немецкой компании WIELAND ELECTRIC GMBH на российских предприятиях. Информационно-консультативное издание "Технадзор". Май 2007, N 6
[16]	Хотек М. Методы достижения высокой отказоустойчивости: Windows &. NET Magazine/RE: Открытые системы. http://www.rnivc.kis.ru/?id=420 (дата обращения 27.03.2009). Постоянный адрес статьи: http://www.osp.ru/win2000/sql/312_4.htm
[17]	Неплохов И. Мировые тенденции развития адресно-аналоговых систем пожарной сигнализации. http://articles.security-bridge.com/articles/13/11792 (дата обращения 27.03.2009)
[18]	Щербина В.И. Комплексные системы безопасности высотных и многофункциональных зданий и сооружений. Построение систем, технические средства, рекомендации по применению. М.: Изд-во УКСБиИО, 2006. 216 с., ил. (Учебно-методическое, справочное пособие)
[19]	Харченко В., Юрченко Ю. IOTS-подход: анализ вариантов структур отказоустойчивых бортовых комплексов при использовании электронных компонентов Industry//Технология и конструирование в электронной аппаратуре, 2003, N 2
[20]	Харченко В., Юрченко Ю. IOTS-подход: анализ вариантов структур отказоустойчивых бортовых комплексов при использовании электронных компонентов Industry. http://www.chipinfo.ru/literature/chipnews/200307/7.html (дата обращения 12.07.2009)
[21]	Вернер М. Основы кодирования: Учебник для вузов. М.: Техносфера, 2004, 286 с
[22]	Блох Э.Л., Зяблов В.В. Обобщенные каскады-коды: алгебраическая теория и сложность реализации. М.: Связь, 1976
[23]	Блох Э.Л., Зяблов В.В. Линейные каскады-коды. М.: Наука, 1982
[24]	Питерсон У., Уэлдон Э. Коды, исправляющие ошибки. Пер. с англ. Изд. 2-е, М.: Мир, 1976, 596 с.
[25]	Конопелько В.К., Липницкий В.А. Теория норм синдромов и перестановочное декодирование помехоустойчивых кодов. М.: Эдиториал УРСС, 2004, 176 с.
[26]	Жирнов М.Н. Анализ методов и синтез программно-технического комплекса для диагностирования дискретных систем на основе эталонных моделей. Вологодский государственный технический университет. http://nit.miem.edu.ru/2006/sb/section1/112.htm (дата обращения 28.03.2009)
[27]	Многопроцессорные системы. Классификация систем параллельной обработки данных. http://www.lcard.ru/~nail/database/skbd/glava_10.htm (дата обращения 07.07.2009)
[28]	Калядин А. Отладчики микроконтроллеров и их применение в разработке микроконтроллерных приложений. Мир компьютерной электроники/МКА - On-Line. http://www.mka.ru/?p=42051 (дата обращения 12.07.2009)
[29]	Встраиваемый контроллер самотестирования памяти ARM11. Техническое руководство (ARM11 Memory Built-In Self Test Controller Technical Reference Manual) www.htmldatasheet.ru/pdf/arm/arm11.pdf (дата обращения 28.03.2009)
[30]	Интеллектуальные САПР. Таганрог, Известия ЮФУ. Технические науки - тематический сборник. Сентябрь 2008, N 9. http://yandex.ru/yandsearch?p=2&text=тестирование%20ОЗУ%20и%20ПЗУ,тест%20Abraham (дата обращения 12.07.2009)
[31]	Методы и алгоритмы тестирования памяти ЭВМ с обнаружением кратных функциональных неисправностей: Автореф. диссертация канд. техн. наук (05.13.15 - вычислительные машины и системы)/Новиков А.С.; Науч. рук. Шаршунов С.Г. - Владивосток: ДВГТУ. [s. n.], 2002. 18 с.
[32]	Харкевич А.А. Борьба с помехами. М.: Наука, гл. ред. физ.-мат. лит., 1965
[33]	Хемминг Р.В. Теория кодирования и теория информации. М.: Мир, 1983
[34]	Питерсон У., Уэлдон Э. Коды, исправляющие ошибки: Пер. с англ./Под ред. Р.Л. Добрушина и С.И. Самойленко. М.: Мир, 1976, 594 c.
[35]	Морелос-Сарагоса Р. Искусство помехоустойчивого кодирования. Методы, алгоритмы, применение. М.: Техносфера, 2005
[36]	Хмельнов А.Е. Организация ввода/вывода. Страница Хмельнова Алексея Евгеньевича - On-Line. http://hmelnov.icc.ru/stud/lit/Shnitman/143-2.html (дата обращения 12.07.2009)
[37]	Хмельнов А.Е. Системы высокой готовности и отказоустойчивые системы. Страница Хмельнова Алексея Евгеньевича - On-Line. http://hmelnov.icc.ru/stud/lit/Shnitman/143-4.html (дата обращения 12.07.2009)
[38]	RAID. Глоссарий промышленной компании "СПЛАЙН". http://www.spline.ru/information/reviews/interface/SCSI_glossary (дата обращения 12.07.2009)
[39]	Интеллектуальный дисковый массив RAID 6. Портал "NStor". http://www.nstor.ru/ru/catalog/76/88.html (дата обращения 12.07.2009)
[40]	Ватье Ж.-К. Таблицы принятия решений: техника проведения тестирования с использованием Functional Tester от IBM Rational. Software Services, IBM: Пер. с англ. http://www.interface.ru/home.asp?artId=1170 (дата обращения 07.07.2009)
[41]	Ематин В., Закис А., Новичков А., Шкляева Н., Подоляк О. Автоматизация процесса тестирования при помощи методологии и инструментальных средств IBM Rational. Ч. 1. http://www.software-testing.ru/library/7-vendor-papers/156-ibm-rational (дата обращения 08.06.2009)
[42]	Новичков А. Автоматизация процесса тестирования при помощи методологии и инструментальных средств IBM Rational. Ч. 2. http://www.software-testing.ru/library/7-vendor-papers/155----------ibm-rational--2- (дата обращения 08.07.2009)
[43]	Новичков А. Автоматизация процесса тестирования при помощи методологии и инструментальных средств IBM Rational. Ч. 3. http://www.software-testing.ru/library/vendors/154----------ibm-rational--3- (дата обращения 08.06.2009).
[44]	Денисенко В.В. Компьютерное управление технологическим процессом, экспериментом, оборудованием. М.: Горячая линия-Телеком, 2009, 608 с., ил.
[45]	Шнитман В.З., Кузнецов С.Д. Серверы корпоративных баз данных. Информационно-аналитические материалы. Портал "Сервер" On-Line. http://www.ods.com.ua/win/rus/db/skbd/contents.htm. (дата обращения 12.07.2009)
[46]	FAQ по активному воздушному охлаждению. Портал " Перегрева НЕТ!" http://www.peregreva.net/fan_basics1.html (дата обращения 15.07.2009)
[47]	Баранов В. Термоэлектрический кулер Titan Amanda TEC. Портал "3DNews". http://www.3dnews.ru/cooling/titan_amanda_tec/ (дата обращения 14.07.2009)
[48]	Новый твердотельный вентилятор посрамляет традиционные кулеры! http://glamurnenko.com/archives/173 (дата обращения 15.07.2009)
[49]	Задерновский А.А., Ривлин Л.А. Лазерное охлаждение полупроводника (оптическая тепловая машина)//Квант. Электроника, 1996, N 23 (12), с. 1131-1133
[50]	Метрологическое оборудование для контактных и бесконтактных средств измерений температуры, тепло-физических и линейно-угловых измерений. Портал ОАО "Эталон". http://www.omsketalon.ru/?action=poverka (дата обращения 14.07.2009)
[51]	Эталонные датчики. Портал "Элемер". http://www.elemer.ru/files/articles/listovka_pkds_210.pdf. (дата обращения 14.07.2009)
[52]	Лукьянченко А., Федоров А., Соколов Д.В., Ломаев Е.Н., Донг Хынг Ч. Газовые пожарные извещатели. Теоретические основы и практическое применение//Системы безопасности. 2007, N 6. http://daily.sec.ru/dailypbl show.cfm?rid=6&pid=20660&pos=2&stp=25 (дата обращения 14.07.2009)
[53]	Охранный извещатель Bosch Blue Line P1-P. http://www.fbgroup.ru/indexshop.php?scid=1164&sgid=8372. (дата обращения 14.07.2009)
[54]	Роздин И.А. Безопасность производства и труда на химических предприятиях. М.: Колосс. 2006, 254 с. (Серия: Учебники и учебные пособия для высших учебных заведений)
[55]	ISO/IEC 15289:2006 Systems and software engineering - Content of systems and software life cycle process information products (Documentation)
[56]	ISO/IEC 90003:2004Software engineering - Guidelines for the application of ISO 9001:2000 to computer software
[57]	Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998, 628 с.
[58]	Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2002, 784 c.
[59]	Красилов А.А. Информатика в семи томах. Т. 6. Методы информатики (Изобретание, проектирование, разработка и сопровождение). М., 1997, 2003
[60]	Сети Петри. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp.dvo.ru/lab 11/otchet/ot2000/pn3.html (дата обращения 06.04.2009)
[62]	Простые сети Петри. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp.dvo.ru/lab 11/otchet/ot2000/pn3.html#simple (дата обращения 06.04.2009)
[63]	Цветные сети Петри. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp.dvo.ru/lab 11/otchet/ot2000/pn3.html#color (дата обращения 06.04.2009)
[64]	Язык предписаний. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp.dvo.ru/lab 11/otchet/ot2000/Inscriptions.html (дата обращения 06.04.2009)
[65]	Голенков Е.А., Соколов А.С. Метод автоматического построения модели параллельной программы в терминах сетей Петри. Вычислительные методы и программирование. Т. 6. N 2. Изд-во Московского университета, 2005, с. 77-82
[66]	Прозоров А. Лекция 4. Моделирование сущностей http://rtlab.ru/lections/lec04 (дата обращения 07.04.2009)
[67]	Константайн Л., Локвуд Л. Разработка программного обеспечения. СПб.: Питер, 2000, 592 с.
[68]	Трахтенгерц Э.А. Компьютерная поддержка принятия решений. М.: Наука, 1998. http://www.masters.donntu.edu.ua/2004/kita/petrov/library/lec1.htm (дата обращения 16.07.2009)
[69]	Чекинов Г.П., Чекинов С.Г. Применение технологии многоагентных систем для интеллектуальной поддержки принятия решения (ИППР). Сетевой электронный научный журнал "СИСТЕМОТЕХНИКА". 2003, N 1. http://systech.miem.edu.ru/2003/n1/Chekinov.htm (дата обращения 07.04.2009)
[70]	Йордон Э., Аргила С. Структурные модели в объектно-ориентированном анализе и проектировании. М.: Лори, 1999, 288 с.
[71]	Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей: Учеб. пособие. Пенза: Изд-во Пенз. гос. техн. ун-та, 1997, 88 с.
[72]	Ларман К. Применение UNL 2.0 и шаблонов проектирования. Пер. с англ. А.Ю. Шелестова. Изд. 3-е, Издательский дом "Вильямс", 2009, 727 с.
[73]	Златин И.Л. Systemview 6.0 (SystemVue). Системное проектирование радиоэлектронных устройств. М.: Горячая линия-Телеком, 2006, 424 с.
[74]	Загидуллин Р.Ш., Стешенко В.Б., Карутин С.Н. SystemView. Системотехническое моделирование устройств обработки сигналов. М.: Горячая линия-Телеком, 2005, 294 с.
[75]	Потапов Ю.В. Protel DSP. М.: Горячая линия-Телеком, 2006, 276 с., ил. (Серия "Инструменты разработчика")
[76]	Multisim, LabVIEW и Signal Express. Практика автоматизированного проектирования электронных устройств/Р.Ш. Загидуллин. М.: Горячая линия-Телеком, 2009, 366 с., ил. (Серия "Современная электроника") http://www.altium.com/products/altium-designer/en/altium-designer_home.cfm (дата обращения 07.04.2009)
[77]	Башлы П.Н. Информационная безопасность: Учеб. пособие. М.: Феникс, 2006, 253 с., ил.
[78]	Галле К. Полезные советы по разработке и отладке электронных схем. М.: ДМК Пресс, 2008, 208 с.
[79]	Бек К. Экстремальное программирование: разработка через тестирование. СПб.: Питер, 2003, 224 с.
[80]	Канер С., Фолк Д., Енг Кек Нгуен. Тестирование программного обеспечения. М.: ДиаСофт, 2001, 538 с.
[81]	Дюваль П., Гловер Э. Непрерывная интеграция. Улучшение качества программного обеспечения и снижение риска. М.: "Вильямс", 2008, 240 с.
[82]	Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем. СПб.: Питер, 2004, 320 с.
[83]	Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. М.: Бином. Лаборатория знаний "Интуит", 2008, 368 с.
[84]	Тэллес М., Хсих Ю. Наука отладки. КУДИЦ - ОБРАЗ, 2003, 560 с.
[85]	Терехов С.А. Нейросетевые аппроксимации плотности распределения вероятности в задачах информационного моделирования. Научная сессия МИФИ-2002. IV Всероссийская науч.-техн. конф. "Нейроинформатика-2002": Лекции по нейроинформатике. Ч. 2. М.: МИФИ, 2002, 172 с.
[86]	Казиев В.М., Казиев К.В. Информатика: Задачи и тесты. М.: Просвещение, 2007, 191 с.
[87]	Казиев В.М. Введение в практическое тестирование: Курс Интернет-университета информационных технологий (ИНТУИТ.ру) http://www.intuit.ru/department/informatics/practest (дата обращения 02.05.2009)
[88]	Казарин О.В. Безопасность программного обеспечения компьютерных систем. М.: МГУЛ, 2003, 212 с. http://scanner.narod.ru/link/Safe/bezopasnost programmnogo obespecheniya1.htm (дата обращения 27.06.2009)
[89]	Техника анализа надежности систем. Метод анализа вида и последствий отказа. http://www.standards.ru/doc.aspx?catalogid=mec& classid=-1&search=60812%962006 (дата обращения 07.11.2009)
[90]	Анализ видов и последствий потенциальных отказов (FMEA) (Potential Failure Mode and Effects Analysis). Пер. с англ. М.: Приоритет, 2003, 84 с.
[91]	AMDEC. Анализ видов и последствий потенциальных дефектов продукции/системы. Руководство SOGEDAC- IV-1-12, 1994. Пер. с франц. Н. Новгород: СМЦ Приоритет, 2001, 16 с.
[92]	Леоненков А. Самоучитель UML. Изд. 2-е, СПб.: БХВ-Петербург, 2004, 432 с.
[93]	Трофимов С.А. CASE-технологии: практическая работа в Rational Rose. Изд. 2-е, СПб.: Бином. Торговый Дом, 2002, 288 с.
[94]	Алымов В.Т., Тарасова Н.П. Техногенный риск: анализ и оценка. М.: ИКЦ Академкнига, 2007, 118 с.
[95]	МЭК 60812-2006 Техника анализа надежности систем. Метод анализа вида и последствий отказа. http://www.standards.ru/doc. aspx?catalogid=mec&classid=-1&search=60812 (дата обращения 07.11.2009)
[96]	Мушик Э., Мюллер П. Методы принятия технических решений. Пер. с нем. М.: Мир, 1990, 208 с.
[97]	Макконелл Д. Анализ алгоритмов. Вводный курс. М.: Техносфера, 200, 304 с.
[98]	Шафер Д.Ф., Фатрелл Р.Т., Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат. Пер. с англ. М.: Издательский дом "Вильямс", 2004, 1135 с., ил.
[99]	Казарин О.В. Безопасность программного обеспечения компьютерных систем. М.: МГУЛ, 2003, 212 с.
[100]	Платонов В.В. Программно-аппаратные средства обеспечения информационной безопасности вычислительных сетей. М.: Академия, 2006, 240 с.
[101]	Шнайер Б. Секреты и ложь. Безопасность данных в цифровом мире. СПб.: Питер, 2003, 368 с.
[102]	Липаев В. Функциональная безопасность программных средств. Информационный бюллетень "Jet Info" 08(135)/2004. Публикация от 27.01.2005
[103]	Липаев В. Функциональная безопасность программных средств. http://daily.sec.ru/dailypblshow.cfm?rid=45&pid=11751&pos=7&stp=10&cd=18&cm=5&cy=2005 (дата обращения 05.05.2009)
[104]	Состав нормативной базы, регламентирующей процесс разработки, эксплуатации, сопровождения и развития информационной системы железнодорожного транспорта. Информационная система железнодорожного транспорта. Системный проект. Кн. 2 (приложение 2), тема 10.00.76/95.00.00 НИОКР МПС N 29 от 29.01.96 г. М.: НИИЖА, 1997
[105]	BS EN 50128:2001 Системы телекоммуникационные, сигнализационные и системы для обработки данных, применяемые на железных дорогах. Программное обеспечение для систем управления и защиты на железных дорогах. Пер. с англ. (Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems) http://emc.belsut.info/docs/standards/DIN_EN/ EN_50128.pdf (дата обращения 05.05.2009)
[106]	Йордан Э. Путь камикадзе. Как разработчику выжить в безнадежном море проектов. М.: Лори, 2000, 255 с.
[107]	Зотов В. Формирование описаний компонентов для внутрикристальной отладки цифровых устройств и встраиваемых микропроцессорных систем на основе программируемых модулей Xinix CORE Generator Tool//Компоненты и технологии. 2008, N 11
[108]	Зотов В. Формирование описаний компонентов для внутрикристальной отладки цифровых устройств и встраиваемых микропроцессорных систем на основе программируемых модулей Xinix CORE Generator Tool. Ч. 2//Компоненты и технологии. 2008, N 12
[109]	Зотов В. Формирование описаний компонентов для внутрикристальной отладки цифровых устройств и встраиваемых микропроцессорных систем на основе программируемых модулей Xinix CORE Generator Tool. Ч. 2//Компоненты и технологии. 2009, N 2
[110]	Зотов В. Формирование описаний компонентов для внутрикристальной отладки цифровых устройств и встраиваемых микропроцессорных систем на основе программируемых модулей Xinix CORE Generator Tool. Ч. 2//Компоненты и технологии. 2009, N 3
[111]	Мейер Б. Объектно-ориентированное конструирование программных систем. М.: Издательско-торговый дом "Русская Редакция", "Интернет-университет информационных технологий", 2005, 1232 с., ил.
[112]	Гайсарян С.С. Объектно-ориентированные технологии проектирования прикладных программных систем. http://wm-help.net/books-online/print-page/55841/55841.html (дата обращения 16.07.2009)
[113]	Методология JSD. http://wm-help.net/books-online/print-page/55841/55841-37.html (дата обращения 15.05.2009)
[114]	Пайл Я. Ада - язык встроенных систем/Пеp. под pед. А.А. Красилова. М.: Мир, 1984
[115]	Вендров А. Case-технологии. Современные методы и средства проектирования информационных систем. М.: Финансы и статистика,1998, 176 с.
[116]	Марка Д.-А., Мак Гоуэн К. Методология структурного анализа и проектирования SADT (Structured Analysis & Design Technique). Электронная библиотека. http://www.interface.ru/fset.asp?Url=/CASE/prvv.htm (дата обращения 15.05.2009)
[117]	Леоненков А.В. UML 2 Самоучитель. СПб.: БХВ-Петербург, 2007, 576 с.
[118]	Энсор Д., Стивенсон Й. Oracle. Проектирование баз данных. BHV-Киев, 2000, 560 с.
[119]	Системная информатика. Сб. науч. тр. Вып. 9. Формальные методы и модели информатики. Новосибирск: Изд-во СО РАН, 2004
[120]	Макконнелл Д. Основы современных алгоритмов. М.: Техносфера, 2006, 368 с.
[121]	Топорков В.В. Модели распределенных вычислений. М.: Физматлит, 2004, 320 с.
[122]	Бэкон Д., Харрис Т. Операционные системы. Параллельные и распределенные системы. СПб.: Питер, Издательская группа BHV, 2004, 800 с.
[123]	Ступников С.А. Моделирование композитных уточняющих спецификаций. Диссертация канд. техн. наук. М.: Ин-т проблем информатики РАН, 2006. На правах рукописи
[124]	Никифоров А.Ю. Язык описания взаимодействия иерархических систем и его персонализация//Программные продукты и системы. 2009, N 1
[125]	Дорошенко А.Е., Шевченко Р.С. Система символьных вычислений для программирования динамических приложений. http://oai.org.ua/index.php/record/view/3144 (дата обращения 25.12.2009)
[126]	Блейхут Р. Быстрые алгоритмы цифровой обработки сигналов. М.: Мир, 1989, 448 с.
[127]	Григорьев О.М. Аналитико-табличные процедуры для временных логик//Logical Studies. 2000, N 4
[128]	Стемпковский А.Л. Методы логического и логико-временного анализа цифровых КМОП СБИС. М.: Наука, 2007
[129]	Гуц А.К. Математическая логика и теория алгоритмов. Электронная библиотека. http://mat-ua.narod.ru/mat/Guz-Logika-Algoritmi.htm (дата обращения 16.05.2009)
[130]	Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения: Уч. М.: МФТИ (ГУ), 2006, 304 с.
[131]	Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода. Этап 1. Выбор направления исследований и базовых методов. Отчет N 2007.08.31. СПб.: СПбГУ ИТМО, 2007. http://is.ifmo.ru/verification/2007 01 patent-verification.pdf (дата обращения 16.05.2009)
[132]	Якушин. Программирование с защитой от ошибок. http://www.tspu.tula.ru/ivt/old site/umr/trpo/node74.html (дата обращения 16.05.2009)
[133]	Колесов А. " Go to" - выражение из четырех букв//BYTE Россия, 2001, N 8 (37)
[134]	Петраков А.В. Основы практической защиты информации: Учеб. пособие. М.: Салон-Пресс, 2005, 384 с.
[135]	Корт С.С. Теоретические основы защиты информации. М.: Гелиос АРВ, 2004, 240 с.
[136]	Домашев А., Попов В., Правиков Д., Грунтович М. Программирование алгоритмов защиты информации. Изд. 2-е., М.: НОЛИДЖ, 2002, 416 с.
[137]	Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. М.: СИНТЕГ, 2001, 228 с.
[138]	Саттер Г. , Александреску А. Стандарты программирования на С ++. 101 правила и рекомендации. М.: "Вильямс", 2005, 224 с.
[139]	Сухомлин В. Система программирования тройного стандарта (3С++). Науч.-иссл. вычисл. центр МГУ им. М.В. Ломоносова. http://www.citforum.ru/programming/prg96/94.shtml (дата обращения 16.05.2009)
[140]	Шпаковский Г.И., Серикова Н.В. Программирование для многопроцессорных систем в стандарте MPI. Минск: Изд-во БГУ, 2002, 323 с.
[141]	Липаев В.В. Программная инженерия. Методологические основы: Учеб./В.В. Липаев. Гос. ун-т - Высшая школа экономики. - М.: ТЕИС, 2006, 608 с.
[142]	Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М.: СИНТЕГ, 2002, 268 с.
[143]	Структурное проектирование и структурное программирование. http://www.ssti.ru/kpi/informatika/Content/biblio/b1/inform man/gl 18 2.html (дата обращения 16.05.2009)
[144]	Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. М.: Бином. Лаборатория знаний "Интуит", 2008, 368 с.
[145]	Кулямин В.В. Перспективы интеграции методов верификации программного обеспечения: Труды Института системного программирования РАН. http://www.citforum.ru/SE/testing/integration (дата обращения 15.07.2009)
[146]	Липаев В.В. Тестирование крупных комплексов программ на соответствие требованиям: Учеб. М.: ИПЦ "Глобус", 2008, 376 с.
[147]	Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М: СИНТЕГ, 2002, 268 с.
[148]	Липаев В.В. Методы обеспечения качества крупномасштабных программных средств. М.: СИНТЕГ, 2003, 520 с., ил.
[149]	Липаев В.В. Документирование сложных программных средств. М.: СИНТЕГ, 2005, 216 с.
[150]	Липаев В.В., Филинов Е.Н. Мобильность программ и данных в открытых информационных системах. М.: Научная книга, 1997, 368 с.
[151]	Очков В. Принцип неопределенности программирования. http://metod.ce.cctpu.edu.ru/edu/df/se/general/gen_08.html (дата обращения 15.05.2009)
[152]	Структурное проектирование и структурное программирование. http://www.ssti.ru/kpi/informatika/Content/biblio/b1/inform_man/gl_18_2.html (дата обращения 16.05.2009)
[153]	Липаев В.В. Функциональная безопасность программных средств. М.: СИНТЕГ, 2004, 348 с.
[154]	Конопелько В.К., Липницкий В.А. Теория норм синдромов и перестановочное декодирование помехоустойчивых кодов. Изд. 2-е, М.: Эдиториал УРСС, 2004, 176 с.
[155]	Керман М.К. Программирование и отладка в Delphi: Учебный курс. М.: "Вильямс", 2003, 672 с.
[156]	Власов К.А., Смачёв А.С. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Тр. Института системного программирования РАН. М., 2007
[157]	Сайков, Б. Сбои компьютера: диагностика, профилактика, лечение. Изд. 2-е, М.: Бином. Лаборатория знаний, 2003, 351 с.
[158]	Программный модуль дополнительного мониторинга TSS-2000 Multimonitoring фирмы TSS (Россия). http://www.centers.ru/brands/tss/model/mod221002280.htm (дата обращения 13.06.2009)
[159]	ЕС-16. Блок аварийного резервирования аппаратно-программного комплекса AMS-16/32. Техническое описание и инструкция по эксплуатации. М.: ООО "РОКСТОН", 2005. http://www.escortpro.ru/data/catalog/instruction/15112005121715.pdf (дата обращения 13.06.2009)
[160]	Горбунов-Посадов М.М. Расширяемые программы. М.: Полиптих, 1999, 336 с.
[161]	Семенова И.И. Способ построения алгоритмов по многовариантным моделям. Развитие оборонно-промышленного комплекса на современном этапе: Мат. науч.-техн. конф. - Ч. 1. Омск: ОмГУ, 2003, с. 135-137. http://semenova-ii.narod.ru/stat/08.html (дата обращения 13.06.2009)
[162]	Семенова И.И. Система автоматизированного построения многовариантных моделей. СибАДИ. http://semenova-ii.narod.ru/stat/08.html (дата обращения 13.06.2009)
[163]	Тестирование и отладка приложений на C#. Skillsoft,/DDBS Prospero. http://shop.ddbs.ru/prog_49185.html (дата обращения 19.05.2009)
[164]	Роббинс Д. Отладка приложений для Microsoft.NET и Microsoft Windows. Электронная библиотека Brain2life.[com], 42,2 МБ. http://www.brain2life.com/book/597.html (дата обращения 19.05.2009)
[165]	Крюков В.А. Операционные системы распределенных вычислительных систем (распределенные ОС). Курс лекций. Лаборатория Параллельных Информационных Технологий. НИВЦ МГУ. Электронная книга. "Parallel.ru". http://www.parallel.ru/krukov/lec7.html (дата обращения 19.05.2009)
[166]	Богатырев В.А. Отказоустойчивость распределенных вычислительных систем динамического распределения запросов и размещение функциональных ресурсов. Электронное научно-техническое издание "Наука и образование". Эл. N ФС 77 - 30569. Государственная регистрация N 0420900025. http://technomag.edu. ru/doc/56860.html (дата обращения 19.05.2009)
[167]	Таненбаум Э., ван Стенн. Распределенные системы. Принципы и парадигмы. М.: Питер, 2003, 877 с. Формат: pdf, 23.3 MB
[168]	Таненбаум Э., Вудхалл А. Операционные системы. Разработка и реализация (+ CD-ROM). СПб.: Питер, 2007, 704 с. Формат: djvu> 9472 кБ
[169]	Красилов А.А. Информатика в семи томах. Т. 7. Интеллектуальные системы (Системы решения проблем). "Интеллсист". Интеллектуальные системы общего назначения. М., 1997-2003. http://www. intellsyst.ru/publications/_text/TOM7.shtml (дата обращения 19.05.2009)
[170]	Ахо А.В., Лам М.-С., Рави С., Ульман Д.-Д. Компиляторы: принципы, технологии и инструменты. Изд. 2-е, М.: "Вильямс", 2008, 1184 с., ил.
[171]	Душкин Р.В. Опыт построения единого комплекса автоматизированных систем управления предприятием.//Инженер. Технолог. Рабочий: Публицистический производственно-технический журнал/МАШИЗДАТ. Вып. 5, 2009, с. 13-14
[172]	Душкин Р. Лекция 1. Вводная лекция. http://roman-dushkin.narod.ru/fp_01.html (дата обращения 07.06.2009)
[173]	Ксавье П. Delphi for NET. Руководство разработчика. М.: "Вильямс", 2005, 960 с., ил.
[174]	Компилятор полного стандарта языка С++ как ядро систем разработки программного обеспечения. Сб. статей компании "Интерстрон". Приложение к журналу "Компьюлог". 2000, N 3. http://www.interstron.ru/ old/pdf/komp_log.pdf (дата обращения 07.06.2009)
[175]	Цирлов В., Миронов В., Марков А. Выявление уязвимостей в программном коде//Открытые системы. 2005. N 12. http://www.osp. ru/os/2005/12/380655 (дата обращения 07.06.2009)
[176]	Чернов А.В. Анализ запутывающих преобразований программ. Труды ИСП РАН. 2008. http://www.citforum.idknet.com/security/articles/analysis (дата обращения 07.06.2009)
[177]	Кормен Т.-Х., Лейзерсон Ч.-И., Ривест Р.-Л., Штайн К. Алгоритмы: построение и анализ. Изд. 2-е, М.: Издательский дом "Вильямс", 2008, 1297 с.
[178]	Буч Г. , Максимчук Р. - А., Энгл М.-У., Янг Б.-Д., Коналлен Д., Хьюстон К.-А. Объектно-ориентированный анализ и проектирование с примерами приложений. Изд. 3-е, М.: Издательский дом "Вильямс", 2008, 720 с.
[179]	Макаров А.В., Скоробогатов С.Ю., Чеповский А.М. Common Inter-mediate Language и системное программирование в Microsoft.NET. М.: Интернет-университет информационных технологий, 2006, 314 с. http://www.rus-kniga.biz/tv246-298579.html (дата обращения 07.06.2009)
[180]	Елманова Н. Полезные компоненты и утилиты для пользователей Delphi, С++Builder и IB Database: продукты компании BatSoft. Компьютер Пресс - СD. 1999. N 2. http://www.citforum.ru/progra mming/comp/comp02.shtml (дата обращения 07.06.2009)
[181]	Элиенс А. Принципы объектно-ориентированной разработки программ. Изд. 2-е, М.: "Вильямс", 2002, 496 с.
[182]	Налютин Н.Ю., Синицын С.В. Верификация программного обеспечения. М.: Бином. Лаборатория знаний "Интуит", 2008, 368 с.
[183]	Плаксин М.А. Тестирование и отладка программ - для профессионалов будущих и настоящих. М.: Бином. Лаборатория знаний, 2007, 167 с.
[184]	Тюрин Ю., Марков А. Анализ данных на компьютере. М.: Инфра-М, 2003, 544 с.
[185]	Рубанов В.В., Хорошилов А.В., Шатохин Е.А. T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов. М.: Труды Института системного программирования РАН, 2008 г. http://www.citforum.ru/SE/testing/t2c/ (дата обращения 13.06.2009)
[186]	Калбертсон Р., Браун К., Кобб Г. Быстрое тестирование. М.: "Вильямс", 384 с.
[187]	Иванова Г.С. Технология программирования. М.: Изд.-во МГТУ им. Н.Э. Баумана, 336 с.
[188]	Медина К. Устройства ввода ошибок FBD-памяти для компьютеров IBM System x. http://www.ibm.com/developerworks/ru/library/es-fbd (дата обращения 14.06.2009)
[189]	Климант Ю.В. С++. Дистанционное обучение программистов. Уроки по программированию. Урок 8. http://cipg.km.ru/lessons/ci/les08.html (дата обращения 14.06.2009)
[190]	Блэк Р. Ключевые процессы тестирования. Планирование, подготовка, проведение, совершенствование. М.: Лори, 544 с.
[191]	Макгрегор Д., Сайкс Д. Тестирование объектно-ориентированного программного обеспечения: Практическое пособие. М.: ТИД "ДС", 432 с.
[192]	Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем. СПб.: Питер, 2004, 320 с.
[193]	Бек К. Экстремальное программирование: разработка через тестирование. СПб.: Питер, 2003, 223 с.
[194]	Майерс Г. Искусство тестирования программ. Пер. с англ. М.: Финансы и статистика, 1982, 176 с.
[195]	Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения. Лекция 13: Документация, сопровождающая процесс верификации и тестирования (отчеты) "Интернет университет. Информационные технологии" http://www.intuit.ru/department/se/verify/13 (дата обращения 25.06.2009)
[196]	Романюк С.Г. Оценка надежности программного обеспечения. М.: НИИСИ РАН. http://www.uprav.biz/materials/innov/view/2273.html (дата обращения 25.06.2009)
[197]	Смагин В.А. Форсированные быстродействием испытания программного обеспечения на надежность. http://sprobv-17.narod.ru (дата обращения 25.06.2009)
[198]	Смагин В.А. О форсированных испытаниях программного обеспечения на надежность. http://sprobv-17.narod.ru (дата обращения 25.06.2009)
[199]	Смагин В.А. Введение в точностную теорию надежности программного обеспечения. http://sprobv-17.narod.ru (дата обращения 25.06.2009)
[200]	Казарин О.В. Безопасность программного обеспечения компьютерных систем. М.: МГУЛ, 2003, 212 с. http://infonet.cherepovets.ru/citforum/security/articles/kazarin (дата обращения 25.06.2009)
[201]	Чернов А.В. Анализ запутывающих преобразований программ. Тр. Института системного программирования РАН. М., 2003. http://www.citforum.ru/security/articles/analysis (дата обращения 25.06.2009)
[202]	Ковалев В.В., Компаниец Р.И., Маньков Е.В., Дьяченко Д.А., Пустарнаков В.Ф. Анализ и защита потоков управления в исполняемых кодах программ. Информационно-издательский центр CONNECT! Мир связи, 2006, N 4
[203]	Ахо А.В., Хопкрофт Д.-Э., Ульман Д.-Д. Структуры данных и алгоритмы. Пер. с англ: Уч. пос. М.: Издательский дом "Вильямс", 2000, 384 с.
[204]	Липаев В. Программно-технологическая безопасность информационных систем. http://www.info-system.ru/security/security_pr_tech_security.html (дата обращения 25.06.2009)
[205]	Касперски К. Техника оптимизации программ - эффективное использование памяти. БХВ-Петербург, 2003, 464 с.
[206]	Разработка сложного программного обеспечения. http://www.devcomplexsoft.ru (дата обращения 25.06.2009)
[207]	Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения: Уч. М.: МФТИ (ГУ), 2006, 304 с. http://window.edu.ru/window_catalog/files/r41699/lavrishcheva_petrukhin.pdf (дата обращения 26.06.2009)
[208]	Тенихин А.Л. Применение формальных методов доказательства при создании безопасных систем. СПбГТУ, кафедра ИБКС. http://www.ssl. stu.neva.ru/ssl/publications/magazine/2000/2/3/tenihin.pdf (дата обращения 26.06.2009)
[209]	Боуэн Д.-П., Хинчи М.-Д. Десять заповедей формальных методов. http://www.osp.ru/pcworld/1997/09/157957 (дата обращения 26.06.2009)
[210]	Немолочнов О.Ф., Зыков А.Г., Осовецкий Л.Г., Поляков В.И., Петров К.В. Тестирование логических неисправностей вычислительных процессов в программах//Информационные технологии. 2007, N 12, с. 2-5
[211]	Колдовский В. Разработка ПО: метрики программных проектов. Киев: Издательский Дом ITC, 2009. http://itc.ua/node/27774 (дата обращения 26.06.2009)
[212]	Сбор и публикация проектных метрик в процессе разработки программного обеспечения на базе штатных средств IBM Rational Clear Case. OLAP.ru http://www.olap.ru/home.asp?artId=445 (дата обращения 26.06.2009)
[213]	Николс Э., Петерсон Г. Метрики управления качеством защиты приложений. Портал "Открытые системы. СУБД". http://www.osp.ru/os/2007/04/4219959 (дата обращения 26.06.2009)
[214]	Кулямин В.В. Компонентный подход в программировании. Лекция 8: Образцы проектирования. БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру. 2006. http://www.intuit.ru/department/se/compprog/8/1.html (дата обращения 26.06.2009)
[215]	Кулямин В.В. Компонентный подход в программировании. Курс лекций. БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру. 2006. http://www.intuit.ru/department/se/compprog/1 (дата обращения 26.06.2009)
[216]	Салливан Э. Время - деньги. Создание команды разработчиков программного обеспечения. Пер. с англ. М.: Издательско-торговый дом "Русская Редакция", 2002, 368 с., ил. http://www.proklondike.com (дата обращения 27.06.2009)
[217]	Руководящий документ. Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей. Утвержден решением председателя Государственной технической комиссии при Президенте Российской Федерации от 4 июня 1999 г., N 114
[218]	Бурьяк А. Компактное программирование. Программирование на основе прототипов. Prototype-Based Programming (PBP). http://compact-programming.narod.ru/CP0003.htm (дата обращения 28.06.2009)
[219]	Уолш Д. (George Walsh). Создание прототипа программы с помощью библиотеки OpenMP*. Intel, 2006. http://www.intel.com/cd/ids/developer/emea/rus/dc/windows/windows64/191144.htm (дата обращения 28.06.2009)
[220]	Павловская Т.А. Программирование на языке высокого уровня. СПб.: Питер, 2007, 432 с.
[221]	Дастин Э., Рэшка Д., Пол Д. Автоматизированное тестирование программного обеспечения. Внедрение, управление и эксплуатация. М.: Лори, 2003, 592 с.
[222]	Советов Б.Я., Яковлев А.М. Моделирование систем. Изд. 3-е перераб. и доп. Электронная библиотека образовательных и просветительских изданий. М., 2001, 374 c.
[223]	ГОСТ 34.602-89 Техническое задание на создание автоматизированной системы
[224]	Леффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход. М.: "Вильямс", 2002, 448 с.
[225]	Леффингуэлл Д., Уидриг Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход. М.: "Вильямс", 2002, 448 с.
[226]	Пипер Ш., Пол Д., Сколт М. Новая эра в оценке производительности компьютерных систем. (Sean Pieper, Joаnn Paul, Michael Schulte. A New Era of Performance Evaluation, IEEE Computer, September 2007. IEEE Computer Society, 2007. All rights reserved. Reprinted with permission). Пер. с англ. Портал "Открытые системы - СУБД". http://www.osp.ru/os/2007/09/4569364 (дата обращения 29.06.2009)
[227]	Елашкин М. Производительность СУБД и тесты TPC. "BYTE - Платформы и технологии". 2004, N 3 (67). http://www.bytemag.ru/articles/detail.php?ID=8571 (дата обращения 29.06.2009)
[228]	Анализ производительности 64- и 32-разрядных многопроцессорных вычислительных систем в программном комплексе вычислительной гидрогазодинамики STAR-CD. Gjhnfk "iXBT.com". http://www.ixbt.com/cpu/star-cd-tests.shtml (дата обращения 29.06.2009)
[229]	Пушников А.Ю. Введение в системы управления базами данных. Глава 9. Транзакции и целостность баз данных. Портал "CITFORUM.ru". http://www.citforum.ru/database/dblearn/dblearn09.shtml (дата обращения 29.06.2009)
[230]	Преодолевая ограничения Windows: физическая память. Портал "Русский хакер.ру". http://rushacker.ru/index.php?autocom=ibwiki& cmd=article&id=5 (дата обращения 29.06.2009)
[231]	Ограничение пользователей Портал "FreeBSD". http://www. freebsd.org.ua/doc/ru_RU.KOI8-R/books/handbook/users-limiting.html (дата обращения 29.06.2009)
[232]	Грудина П. Настройка ограничений пользователям. Портал IT профессионалов "Grudina.ru". http://grudina.info/articles/freebsd/nastroyka-ogranicheniy-polzovatelyam.html (дата обращения 29.06.2009)
[233]	Боне Ш. Эпоха систем, терпимых к изменениям. Портал "Открытые системы - СУБД". http://www.osp.ru/os/2007/07/4394365 (дата обращения 29.06.2009)
234]	Системы менеджмента качества. Руководящие указания по менеджменту конфигурации. Пер. с англ. Портал "Стандартинформ" http://www.vniiki.ru/doc.aspx?catalogid=iso&classid=-1&search=10007. (дата обращения 29.06.2009)
[235]	Белладжио Д., Миллиган Т. Стратегия управления конфигурацией программного обеспечения с использованием IBM Rational ClearCase. Изд. 2-е, М.: ДМК Пресс, 2008, 384 с.
[236]	ГОСТ Р 51901.11-2005 (МЭК 61882:2001) Менеджмент риска. Исследование опасности и работоспособности. Прикладное руководство. http://intranet.fastweb.ru/docs/gost/item 566 (дата обращения 29.06.2009)
[237]	Шубинский И.Б. Методы анализа рисков нарушения безопасности систем управления. "Евроазия - Вести". 2006, Вып. 6. http://www.eav.ru/publ1p.php?publid=2006-05a14 (дата обращения 29.06.2009)
[238]	Общие положения безопасности атомных станций. Приказ ГКЯР Украины от 19.11.2007, N 162. http://www.snrc.gov.ua/nuclear/ru/publish/article/82143 (дата обращения 29.06.2009)
[239]	Смит Д.-Д. Безотказность, ремонтопригодность и риск. Практические методы для инженеров, включая вопросы оптимизации надежности и систем, связанных с безопасностью. М.: Группа ИДТ, 2007, 431 с. http://www.centrmag.ru/book2286985.html (дата обращения 29.06.2009)
[240]	Мухин О.И. Моделирование систем. Учебник на портале "Stratum.ac.ru" http://stratum.ac.ru/textbooks/modelir/index.html (дата обращения 29.06.2009)
[241]	Николенко С. Скрытые марковские модели. Машинное обучение - ИТМО, осень 2006. http://logic.pdmi.ras.ru/~sergey/teaching/mlbayes/06-hmm.pdf (дата обращения 29.06.2009)
[242]	Куликов Г.Г. , Флеминг П.-Д., Брейкин Т.В., Арьков В.Ю. Марковские модели сложных динамических систем: идентификация, моделирование и контроль состояния (на примере цифровой САУ ГТД). Уфа: Уфим. гос. авиац. техн. ун-т, 1998, 103 с.
[243]	Рухман Е.Л., Шеховцов О.И. Марковские модели в задачах помехоустойчивости и надежности передачи информации: Учеб. пособие. Л.: ЛЭТИ, 1981, 78 с.
[244]	Моттль В.В., Мучник И.Б. Скрытые марковские модели в структурном анализе сигналов. М.: Физматлит, 1999, 352 с.
[245]	Алексеев А. FTA. Дерево отказов как метод структурного анализа. Портал "IT Expert" http://www.itexpert.ru/rus/ITEMS/77-30 (дата обращения 29.06.2009)
[246]	ГОСТ Р 51901.14-2007 Менеджмент риска. Структурная схема надежности и булевы методы
[247]	Абельсон Х., Сассман Д.Д., Сассман Д. Структура и интерпретация компьютерных программ - язык ЛИСП (Lisp). М.: Добросвет, 2004, 608 с.
[248]	Волков И.М., Грачева М.В. Вероятностные методы анализа рисков. http://www.ndc.ru/ru/press/pubs/depo/archive/22/article5.htm (дата обращения 29.06.2009)
[249]	Орлов А.И. Теория принятия решений: Учеб. пособие. М.: Март, 2004, 656 с. http://orlovs.pp.ru (дата обращения 27.06.2009)
[250]	Орлов А.И. Высокие статистические технологии//Заводская лаборатория. 2003, Т. 69, N 11, с. 55-60. http://orlovs.pp.ru (дата обращения 27.06.2009)