Список литературы. 
Надежность и безопасность программного обеспечения

Активная защита от отказов управляющих модульных вычислительных систем / И. Б. Шубинский [и др.]; под ред. И. Б. Шубинского. — СПб.: Наука, 1993.

Ахо, А. Построение и анализ вычислительных алгоритмов / А. Ахо, Дж. Хопкрофт, Дж. Ульман. — М.: Мир, 1979.

Avizienis, A. Dependability of computer systems / Fundamental concepts, terminology and examples / A. Avizienis, J-C. Laprie, B. Randell // Technical report, LAAS — CNRS, October, 2000.

Бабенко, Л. К. Криптографическая защита информации: симметричное шифрование: учебное пособие для вузов / Л. К. Бабенко, Е. А. Игцукова., 2017.

Безбогов, А. А. Безопасность операционных систем: учеб, пособие / А. А. Безбогов, А. В. Яковлев, Ю. Ф. Мартемьянов. — М.: Машиностроение-!, 2007.

Beaulieu, N. С. A composite importance sampling technique for digital communication system simulation / N. C. Beaulieu // IEEE Trans. Commun. — 1990. — № 4. — Vol. COM-38. — P. 393—396.

Braband, J. Systematic Process for the Definition of Safety Targets for Railway Signaling Applications / J. Braband, A. Lennartz // Signal + Draht. — 1999. — № 9. — P. 53—57.

Васильев, Д. В. Ускоренное статистическое моделирование систем управления / Д. В. Васильев, О. Ю. Сабинин. — Л.: Энергоатомиздат. Ленингр. отд-ние, 1987.

Внуков, А. А. Защита информации: учебное пособие для бакалавриата и магистратуры / А. А. Внуков. — 2-е изд., испр. и доп., 2017.

Внуков, А. А. Защита информации в банковских системах: учебное пособие для бакалавриата и магистратуры / А. А. Внуков. — 2-е изд., испр. и доп., 2017.

ГОСТ 19.201—78. Единая система программной документации. Техническое задание. Требования к содержанию и оформлению.

ГОСТ 19.202—78. Единая система программной документации. Спецификация. Требования к содержанию и оформлению.

ГОСТ 19.401—78. Единая система программной документации. Текст программы. Требования к содержанию и оформлению.

ГОСТ 19.501—78. Единая система программной документации. Формуляр. Требования к содержанию и оформлению.

ГОСТ 19.301—79. Единая система программной документации. Программа и методика испытаний. Требования к содержанию и оформлению.

ГОСТ 24.701—86. Единая система стандартов систем управления. Надежность автоматизированных систем управления. Основные положения.

ГОСТ 28 195–89. Оценка качества программных средств. Общие положения.

ГОСТ 27.002—2015. Надежность в технике. Основные понятия. Термины и определения.

ГОСТ 33 432–2015. Безопасность функциональная. Политика, программа обеспечения безопасности. Доказательство безопасности объектов железнодорожного транспорта.

ГОСТ 33 433–2015. Безопасность функциональная. Управление рисками на железнодорожном транспорте.

ГОСТ Р 54 505—2011. Безопасность функциональная. Управление рисками на железнодорожном транспорте.

ГОСТ Р 56 205—2014 (IEC/TS 62 443−1-1:2009). Сети коммуникационные промышленные. Защищенность (кибербезопасность) сети и системы. Часть 1−1. Терминология, концептуальные положения и модели.

ГОСТ Р ИСО/МЭК 9126—93. Информационная технология. Оценка программного продукта. Характеристики качества и руководство по их применению.

ГОСТ Р ИСО/МЭК 12 119—2000. Информационные технологии. Пакеты программ. Требования к качеству и тестирование.

ГОСТ Р ИСО/МЭК 27 032—2012. Информационная технология. Методы и средства обеспечения безопасности. Системы менеджмента информационной безопасности. Руководство по реализации системы менеджмента информационной безопасности.

ГОСТ Р ИСО/МЭК 18 045—2013. Информационная технология. Методы и средства обеспечения безопасности. Методология оценки безопасности информационных технологий.

ГОСТ Р ИСО/МЭК 15 408—2013. Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий.

ГОСТ Р ИСО/МЭК 25 010—2015. Информационные технологии. Системная и программная инженерия. Требования и оценка качества систем и программного обеспечения (SQuaRE). Модели качества систем и программных продуктов.

ГОСТ Р ИСО/МЭК ТО 16 326—2002. Программная инженерия. Руководство по применению ГОСТ Р ИСО/МЭК 12 207 при управлении проектом.

ГОСТ Р МЭК 61 508—2012. Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью.

ГОСТ Р МЭК 62 443−2-1—2015. Сети коммуникационные промышленные. Защищенность (кибербезопасность) сети и системы. Часть 2−1. Составление программы обеспечения защищенности (кибербезопасности) системы управления и промышленной автоматики.

ГОСТ Р МЭК 62 279—2016. Железные дороги. Системы связи, сигнализации и обработки данных. Программное обеспечение систем управления и защиты на железных дорогах.

ГОСТ Р МЭК 62 443−3-3—2016. Сети промышленной коммуникации. Безопасность сетей и систем. Часть 3−3. Требования к системной безопасности и уровни безопасности.

Def Stan 00−55: Safety Management Requirements for Defense System. Ministry of Defense (UK). — 1996.

Def Stan 00−56: Requirements for Safety Related Software in Defense Equipment. MinistryofDefense (UK). — 1997.

DIN 40 041, Zuverlassigkeit; Begriffe (Reliability, terms), 1990;12.

Ермаков, С. M. Метод Монте-Карло и смежные вопросы / С. М. Ермаков. — М.: Наука, 1975.

EN 50 128:2000. Railway applications — Communications, signaling and processing systems — Software for Railway Control and Protection Systems. Применения на железнодорожном транспорте. Системы связи, сигнализации и обработки данных. Программное обеспечение для систем управления и обеспечения безопасности на железнодорожном транспорте.

EN 50 129:2003. Railway applications — Communication, signaling and processing systems — Safety related electronic systems for signaling. Железные дороги. Системы связи, сигнализации и обработки данных. Электронные сигнализационные системы безопасности.

Запечников, С. В. Криптографические средства защиты информации: учеб, пособие для академического бакалавриата / С. В. Запечников, О. В. Казарин, А. А. Тарасов., 2015.

Информационное сообщение ФСТЭК России от 30 июля 2012 г. № 240/24/3095 «Об утверждении Требований к средствам антивирусной защиты».

ИСО/МЭК 27 032:2012 (ISO/IEC 27 032:2012). Информационные технологии. Методы обеспечения безопасности. Руководящие указания по кибербезопасности.

IEC 62 278:2002. Railway applications — Specification and demonstration of reliability, availability, maintainability and safety (RAMS). Железные дороги. Технические условия и демонстрация надежности, эксплуатационной готовности, ремонтопригодности и безопасности (RAMS).

IEC 62 279:2002. Railway applications: Dependability for Guided Transport Systems. Part 2: Safety. Применения на железнодорожном транспорте. Согласованность для управляющих транспортных систем. Часть 2. Безопасность.

Казарин, О. В. Методология защиты программного обеспечения / О. В. Казарин. — М.: МЦНМО, 2009.

Казарин, О. В. Программно-аппаратные средства защиты информации. Защита программного обеспечения: учебник и практикум для вузов / О. В. Казарин, А. С. Забабурин., 2017.

Кнут, Д. Искусство программирования для ЭВМ: в 3 т. / Д. Кнут. — М.: Мир, 1976.

Kafura, D. The Use of Software Complexity Metrics in Software Maintenance / D. Kafura, G. Reddy // IEEE Transactions on Software Engineering. — 1987. — March.

Kumamoto, H. Efficient evaluation of system reliability by Monte Carlo method / H. Kumamoto, T. Tanaka, K. Inoue // IEEE Trans. Reliab. — 1977. — № 12. — Vol. R-26. — P. 311—315.

Липаев, В. В. Надежность программного обеспечения АСУ / В. В. Липаев. — М.: Энергоиздат, 1989.

Милютин, А. Метрики кода программного обеспечения [Электронный ресурс] / А. Милютин. — Режим доступа: http://www.viva64.com/ ги/а/0045/.

Муса, Дж. Д. Измерение и обеспечение надежности программных средств / Дж. Д. Муса // ТИИЭР. — 1980. — Т. 68. — № 9. — С. 113— 128.

Майерс, Г. Надежность программного обеспечения: пер. с англ. / Г. Майерс. — М .: Мир, 1980.

Myers, G. An Extension to the Cyclomatic Measure of Program Complexity / G. Myers // SIGPLAN Notices. — 1977. — October.

Нестеров, С. А. Информационная безопасность: учебник и практикум для академического бакалавриата / С. А. Нестеров., 2017.

Новичков, А. Метрики кода и их практическая реализация в IBM Rational [Электронный ресурс] / А. Новичков. — Режим доступа: http:// www. viva64.com/go.php?url=241.

Организационное и правовое обеспечение информационной безопасности: учебник и практикум для бакалавриата и магистратуры / Т. А. Полякова, А. А. Стрельцов, С. Г. Чубукова, В. А. Ниесов; под ред. Т. А. Поляковой, А. А. Стрельцова., 2017.

Orsak, G. On the theory of importance sampling applied to the analysis of detection systems / G. Orsak, B. Aazhang // IEEE Trans. Commun. — 1989. — № 4. — Vol. COM-37. — P. 332—339.

Палъчун, Б. П. Оценка надежности программного обеспечения / Б. П. Пальчун, Р. М. Юсупов. — СПб.: Наука, 1994.

Приказ ФСТЭК России от 14 марта 2014 г. № 31 «Об утверждении требований к обеспечению защиты информации в автоматизированных системах управления производственными и технологическими процессами на критически важных объектах, потенциально опасных объектах, а также объектах, представляющих повышенную опасность для жизни и здоровья людей и для окружающей природной среды».

Программно-аппаратные средства информационной безопасности. Защита программ и данных / П. Ю. Белкин [и др.]. — М.: Радио и связь, 2000.

Руководящий документ. Приказ председателя Гостехкомиссии России от 4 июня 1999 г. № 114 «Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей».

Румянцев, П. В. Исследование программ Win32: до дизассемблера и отладчика / П. В. Румянцев. — М.: Горячая линия, 2004.

Rus, I. Computer program with insurance of high reliability / I. Rus, S. Komi-Sirvio, P. Costa // Technical report, IFIP WG-10.4, March, 2008.

Тейер, T. Надежность программного обеспечения / T. Тейер, М. Липов, Э. Нельсон. — М.: Мир, 1981.

Технический регламент Таможенного союза «О безопасности подвижного железнодорожного транспорта» (ТР ТС 001/2011)".

Уткин, Л. В. Нетрадиционные методы оценки надежности информационных систем / Л. В. Уткин, И. Б. Шубинский; под ред. И. Б. Шубинского. — СПб.: Любавич, 2000.

Федеральный закон № 184-ФЗ «О техническом регулировании».

Холстед, М. Начала науки о программах / М. Холстед. — М.: Финансы и статистика, 1981.

Hahn, Р. М. Developments in the theory and application of importance sampling / P. M. Hahn, M. C. Jeruchim // IEEE Trans. Commun. — 1987. — № 7. — Vol. COM-35. — P. 706—714.

Hanson, D. Printing Common Words / D. Hanson // Communications of the ACM. — 1987. — July.

Шаракшанэ, А. С. Испытания программ сложных автоматизированных систем / А. С. Шаракшанэ, В. П. Шахин, А. К. Халецкий; под ред. А. С. Шаракшанэ. — М.: Высшая школа, 1982.

Шубинский, И. Б. Надежные отказоустойчивые информационные системы. Методы синтеза / И. Б. Шубинский. — Ульяновск: Областная типография «Печатный двор», 2016.

Шубинский, И. Б. Структурная надежность информационных систем. Методы анализа / И. Б. Шубинский. — Ульяновск: Областная типография «Печатный двор», 2012.

Шубинский, И. Б. Функциональная надежность информационных систем. Методы анализа / И. Б. Шубинский. — Ульяновск: Областная типография «Печатный двор», 2012.

Shooman, М. L. Operational Testing and Software Reliability Estimation during Program Developmant / M. L. Shooman // Record of the IEEE Symposium on Computer Software Reliability. — New York: IEEE, 1973. — P. 51—57.

Shubinsky, I. B. On the definition of functional reliability /1. B. Shubinsky, X. Sheabe // Safety, Reliability and Risk Analysis: Proceedings of the ESREL.

2013; Beyond the Horizon — Steenbergen et al. (Eds). — London: Taylor & Francis Group, 2014. — P. 3021—3027.

Щеглов, А. Ю. Защита информации: основы теории: учебник для бакалавриата и магистратуры / А. Ю. Щеглов, К. А. Щеглов., 2017.

Щербаков, А. Ю. Современная компьютерная безопасность. Теоретические основы. Практические аспекты: учеб, пособие / А. Ю. Щербаков. — М.: Книжный мир, 2009.

Watson, Arthur Н. Structured Testing: A Testing Methodology Using Cyclomatic Complexity Metric [Электронный ресурс] / Arthur H. Watson, Thomas J. McCabe // NIST Special Publication 500−235. — 1996. — Режим доступа: http://hissa.nist.gov/ HHRFdata/Artifacts/ITLdoc/235/title.htm.