Modeling and Risk Analysis of Hardware-Software Systems

Abstract

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

Methods and Means for Automated Information Systems Development based on Ontology «Software and Hardware Complexes Quality Management»

“…Теоретические основы проектирования и верификации СПТС на основе теоретикокатегорного похода к метапрограммированию изложены в публикациях ведущего научного сотрудника ИПУ РАН Ковалева С.П. [4,5] [8]. С помощью EMA создается модель, в которой для каждого компонента ПАК разрабатывается конечный автомат, состояниями которого являются штатные и нештатные, в том числе опасные и отказные состояния данного компонента.…”

Methods for assessing the reliability of software and hardware systems

“…технических и программных систем (ПТС). Методы надежности позволяют прогнозировать, измерять и оценивать качество продукта, доводя ошибки, дефекты и интенсивность отказов в компонентах систем к минимуму [1][2][3][4][5][6][7][8][9]. В проблеме обеспечения надёжности ПТС имеется некоторые общие положения -это возникновение случайных явлений и способы их анализа с применением теории вероятности.…”