Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» (Александр Самонов, ISPRASOPEN-2019) — различия между версиями

Материал из 0x1.tv

{{LinksSection}}
* https://www.ispras.ru/proceedings/isp_31_2019_5/isp_31_2019_5_165/
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{fblink|2559997047586634}}                                          
{{vklink|1514}}                                          
<references/>





<!-- topub -->



{{stats|disqus_comments=0|refresh_time=2020-01-28T13:45:07.786663-06T19:57:31.161580|vimeo_plays=4|youtube_comments=0|youtube_plays=042}}

[[Категория:ISPRASOPEN-2019]]
[[Категория:Управление требованиями]]

Версия 16:57, 6 июля 2020

Докладчик
Александр Самонов.jpg
Александр Самонов

Представлены методы и средства реализации программно-управляемого процесса разработки и верификации формальных моделей требований и проектных решений автоматизированных информационных систем критической информационной инфраструктуры в единой для всех его участников модельно-языковой и информационно-программной среде. Построение и верификация моделей осуществляется автоматизированным способом на основе предметно-ориентированной онтологии, описывающей процессы управления качеством программно-технических комплексов на этапах обоснования требований и проектирования систем.

Онтологии разработаны с помощью конструкций и механизмов языков моделирования и проектирования SysML, FUML, OCL, а также математического аппарата сетей Петри, временных автоматов и временных логик. Для валидации и верификации комплекса требований и проектных решений разработаны алгоритмы построения и анализа трассы выполнения модели в среде виртуальной машины VM FUML. Предложены способы интеграции и использования для автоматизированного тестирования моделей комплекса требований и проектных решений специализированных средств верификации CPN Tools, Rodin, SPIN и Modelica.

Данный комплекс обеспечивает более эффективное взаимодействие заказчика и исполнителя как при разработке требований, так и при проектировании системы, обнаружение и устранение дефектов посредством реализации автоматизированных процедур верификации, валидации и коррекции.

Применение данного подхода позволит повысить качество требований и проектных решений, а также улучшить экономические показатели путем снижения финансовых и временных затрат, связанных с выполнением дополнительных работ как в случае обнаружения дефектов, так и при изменении требований или условий эксплуатации.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК».pdf
Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством ПТК»!.jpg

Примечания и ссылки





Plays:46   Comments:0