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

[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]

Система безопасного отключения для MOVIDRIVE 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]

Система безопасного отключения для MOVIDRIVE 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]

Встраиваемый контроллер самотестирования памяти ARM 11. Техническое руководство (ARM 11 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:2004 Software 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/lab11 /otchet/ot2000/pn3.html#simple (дата обращения 06.04.2009)

[63]

Цветные сети Петри. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp. dvo.ru/lab11/otchet/ot2000/pn3.html#color (дата обращения 06.04.2009)

[64]

Язык предписаний. Отчет лаб. 11 СИАПУ ДВО РАН. http://www.iacp. dvo.ru/lab11/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ед. А.А.К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/programming/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/publ1 p.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)