|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems
[Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем]
A. V. Samonov, G. N. Samonova Mozhaiskiy Military Space Academy
Аннотация:
В статье представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода. Установлено, что наименее обеспеченными модельными, алгоритмическими и программными решениями являются вопросы, связанные с разработкой полного и корректного набора требований, а также с формализацией и верификацией технических проектов СПТС. Предложены способы решения существующих проблем посредством формирования единой модельно-языковой и информационно-программной среды разработки и верификации формальных моделей требований и архитектуры СПТС, построенных на основе оптимального набора взаимосвязанных fUML диаграмм, представленных в нотации языка ALF и верифицируемых в среде виртуальной машины fUML и с помощью SAT/SMT решателей.
Ключевые слова:
верификация и валидация, диаграммы активности, диаграммы классов, жизненный цикл автоматизированных систем, модели архитектуры, модели требований, проектирование и реализация, программно-технические системы.
Образец цитирования:
A. V. Samonov, G. N. Samonova, “Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems”, Труды ИСП РАН, 30:5 (2018), 123–146
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp365 https://www.mathnet.ru/rus/tisp/v30/i5/p123
|
Статистика просмотров: |
Страница аннотации: | 145 | PDF полного текста: | 76 | Список литературы: | 21 |
|