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


Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем

Самонов А.В. (ВКА, Санкт-Петербург, Россия)
Самонова Г.Н. (ВКА, Санкт-Петербург, Россия)

Аннотация

В статье представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода. Установлено, что наименее обеспеченными модельными, алгоритмическими и программными решениями являются вопросы, связанные с разработкой полного и корректного набора требований, а также с формализацией и верификацией технических проектов СПТС. Предложены способы решения существующих проблем посредством формирования единой модельно-языковой и информационно-программной среды разработки и верификации формальных моделей требований и архитектуры СПТС, построенных на основе оптимального набора взаимосвязанных fUML диаграмм, представленных в нотации языка ALF и верифицируемых в среде виртуальной машины fUML и с помощью SAT/SMT решателей.

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

верификация и валидация; диаграммы активности; диаграммы классов; жизненный цикл автоматизированных систем; модели архитектуры; модели требований; проектирование и реализация; программно-технические системы

Издание

Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 123-146.

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

DOI: 10.15514/ISPRAS-2018-30(5)-8

Для цитирования

Самонов А.В., Самонова Г.Н. Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем. Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 123-146. DOI: 10.15514/ISPRAS-2018-30(5)-8.

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