|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»
А. В. Самонов Военно-космическая академия имени А.Ф. Можайского
Аннотация:
Представлены методы и средства реализации программно-управляемого процесса разработки и верификации формальных моделей требований и проектных решений автоматизированных информационных систем критической информационной инфраструктуры. Процессы выполняются в единой для всех его участников модельно-языковой и информационно-программной среде автоматизированным способом на основе предметно-ориентированной онтологий. Онтологии описывают процессы управления качеством программно-технических комплексов на этапах обоснования требований и проектирования систем, разработаны с помощью конструкций и механизмов языков моделирования и проектирования SysML, FUML, OCL, а также математического аппарата сетей Петри, временных автоматов и временных логик. Для валидации и верификации комплекса требований и проектных решений разработаны алгоритмы построения и анализа трассы выполнения модели в среде виртуальной машины VM FUML. Предложены способы интеграции и использования специализированных средств верификации CPN Tools, Rodin, SPIN и Modelica для автоматизированного тестирования моделей комплекса требований и проектных решений. Данный комплекс обеспечивает более эффективное взаимодействие заказчика и исполнителя как при разработке требований, так и при проектировании системы, обнаружение и устранение дефектов посредством реализации автоматизированных процедур верификации, валидации и коррекции. Применение данного подхода позволит повысить качество требований и проектных решений, а также улучшить экономические показатели путем снижения финансовых и временных затрат, связанных с выполнением дополнительных работ как в случае обнаружения дефектов, так и при изменении требований или условий эксплуатации.
Ключевые слова:
автоматизированные информационные системы, валидация и верификация, временные автоматы, проектирование и моделирование, сети Петри, функциональные и эксплуатационные требования.
Образец цитирования:
А. В. Самонов, “Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»”, Труды ИСП РАН, 31:5 (2019), 165–182
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp462 https://www.mathnet.ru/rus/tisp/v31/i5/p165
|
Статистика просмотров: |
Страница аннотации: | 163 | PDF полного текста: | 57 | Список литературы: | 13 |
|