Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)

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

(перенаправлено с «20181123AG»)
Докладчик
Александр Самонов.jpg
Александр Самонов

В докладе представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода.

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

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

Видео

on youtube

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

Презентация

Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf
Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем!.jpg

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

Plays:43   Comments:0