Abstract
The paper defines the most problematic issues of using model-based technologies and tools for developing specialised automated system software. Implementation of this approach assumes that all the application development life-cycle artifacts (requirements, project, implementation) are presented as formal models. We propose ways of solving these problems by means of implementing a programmable development and validation process for executable FUML models of software requirements and architecture.
Highlights
Ключевые слова: автоматизированные системы управления, диаграммы активности, диаграммы классов, модели анализа, модели архитектуры, проектирование и верификация, генерация тестовых сценариев.
Для решения указанных проблем в рамках системной и программной инженерии создаются новые более эффективные технологии, модели и средства автоматизированного проектирования, разработки и верификации СПТС.
В связи с этим, главной целью исследований и работ, основные результаты выполнения которых представлены в данной статье, являлась разработка алгоритмического, программного и методического обеспечения процессов построения и верификации формальных моделей комплекса требований и архитектуры программных средств (ПС), предназначенных для использования в КСА и ССПД автоматизированных систем специального назначения (АССН).
Summary
Ключевые слова: автоматизированные системы управления, диаграммы активности, диаграммы классов, модели анализа, модели архитектуры, проектирование и верификация, генерация тестовых сценариев. Для решения указанных проблем в рамках системной и программной инженерии создаются новые более эффективные технологии, модели и средства автоматизированного проектирования, разработки и верификации СПТС. В связи с этим, главной целью исследований и работ, основные результаты выполнения которых представлены в данной статье, являлась разработка алгоритмического, программного и методического обеспечения процессов построения и верификации формальных моделей комплекса требований и архитектуры программных средств (ПС), предназначенных для использования в КСА и ССПД автоматизированных систем специального назначения (АССН).
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal of «Almaz – Antey» Air and Space Defence Corporation
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
