Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
The article presents models and algorithms to support end-to-end quality control of complex software and hardware systems through the implementation of the software-controlled process of development and verification of formal models of requirements and architecture of such systems, Firstly, we give...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-12-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/1109 |
| _version_ | 1828454217871785984 |
|---|---|
| author | A. V. Samonov G. N. Samonova |
| author_facet | A. V. Samonov G. N. Samonova |
| author_sort | A. V. Samonov |
| collection | DOAJ |
| description | The article presents models and algorithms to support end-to-end quality control of complex software and hardware systems through the implementation of the software-controlled process of development and verification of formal models of requirements and architecture of such systems, Firstly, we give the analysis of scientific publications and the normative-methodical base in the field of development and application in practice of the model-based approach is given. We establish that least provided by model, algorithmic and software solutions are issues related to the development of a complete and correct set of requirements, as well as the formalization and verification of technical projects of software and hardware systems. To solve the existing problems, we propose to develop a special unified environment for the development, modeling and testing formal models of requirements and architecture of complex software and hardware systems. These models provide an optimal set of interconnected fUML diagrams presented in ALF notation and verified in the fUML virtual machine and using SMT/SAT solvers. |
| first_indexed | 2024-12-11T00:18:07Z |
| format | Article |
| id | doaj.art-991a59638524422aa4b683b24ee038c5 |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-11T00:18:07Z |
| publishDate | 2018-12-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-991a59638524422aa4b683b24ee038c52022-12-22T01:27:51ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-12-013051231461108Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware SystemsA. V. Samonov0G. N. Samonova1Военно-космическая академия имени А.Ф. МожайскогоВоенно-космическая академия имени А.Ф. МожайскогоThe article presents models and algorithms to support end-to-end quality control of complex software and hardware systems through the implementation of the software-controlled process of development and verification of formal models of requirements and architecture of such systems, Firstly, we give the analysis of scientific publications and the normative-methodical base in the field of development and application in practice of the model-based approach is given. We establish that least provided by model, algorithmic and software solutions are issues related to the development of a complete and correct set of requirements, as well as the formalization and verification of technical projects of software and hardware systems. To solve the existing problems, we propose to develop a special unified environment for the development, modeling and testing formal models of requirements and architecture of complex software and hardware systems. These models provide an optimal set of interconnected fUML diagrams presented in ALF notation and verified in the fUML virtual machine and using SMT/SAT solvers.https://ispranproceedings.elpub.ru/jour/article/view/1109верификация и валидациядиаграммы активностидиаграммы классовжизненный цикл автоматизированных системмодели архитектурымодели требованийпроектирование и реализацияпрограммно-технические системы |
| spellingShingle | 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 Труды Института системного программирования РАН верификация и валидация диаграммы активности диаграммы классов жизненный цикл автоматизированных систем модели архитектуры модели требований проектирование и реализация программно-технические системы |
| title | Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems |
| title_full | Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems |
| title_fullStr | Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems |
| title_full_unstemmed | Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems |
| title_short | Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems |
| title_sort | methodology and tools for development and verification of formal fuml models of requirements and architecture for complex software and hardware systems |
| topic | верификация и валидация диаграммы активности диаграммы классов жизненный цикл автоматизированных систем модели архитектуры модели требований проектирование и реализация программно-технические системы |
| url | https://ispranproceedings.elpub.ru/jour/article/view/1109 |
| work_keys_str_mv | AT avsamonov methodologyandtoolsfordevelopmentandverificationofformalfumlmodelsofrequirementsandarchitectureforcomplexsoftwareandhardwaresystems AT gnsamonova methodologyandtoolsfordevelopmentandverificationofformalfumlmodelsofrequirementsandarchitectureforcomplexsoftwareandhardwaresystems |