Сборники трудов ИСП РАН


Моделирование программно-аппаратных систем и анализ их безопасности

Зеленов С.В. (ИСП РАН, Москва, Россия)
Зеленова С.А. (ИСП РАН, Москва, Россия; ВШЭ, Москва, Россия)

Аннотация

В данной статье демонстрируется целесообразность применения языка моделирования программно-аппаратных систем AADL и его расширения Error Model Annex для описания требований безопасности проектируемой системы. Наиболее важным аспектом здесь является возможность описания требований безопасности в терминах, используемых в теории безопасности, таких, как марковские цепи или логико-вероятностные функции, т.к. за годы развития теории было накоплено большое количество весьма полезных результатов. Различные подходы к оценке безопасности систем не конкурируют, но дополняют друг друга, так что наличие некоторой универсальности в описании требований безопасности является весьма ценным качеством.

Ключевые слова

моделирование программно-аппаратных систем; безопасность; анализ дерева неисправностей; анализ видов и последствий отказов; марковский анализ

Издание

Труды Института системного программирования РАН, том 29, вып. 5, 2017, стр. 257-282.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(5)-13

Полный текст статьи в формате pdf Вернуться к содержанию тома