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

;{{SpeakerInfo}}: {{Speaker|Александр Самонов}}
<blockquote>
В докладе представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода. 

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

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

{{VideoSection}}
{{vimeoembed|298785985|800|450}}
{{youtubelink|a63fzLxnwKE}}
{{letscomment}}

{{SlidesSection}}
[[File:Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем!.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1340}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Верификация]]
{{stats|disqus_comments=0|refresh_time=2019-12-30T15:59:18.945365|vimeo_plays=10|youtube_comments=0|youtube_plays=11}}