This article is cited in 1 scientific paper (total in 1 paper)
Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems
Abstract:
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.
Keywords:
activity diagrams, class diagrams, design and implementation, life cycle of automated systems, model of requirements, model of architecture, software and hardware systems, verification and validation.
Document Type:
Article
Language: English
Citation:
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”, Proceedings of ISP RAS, 30:5 (2018), 123–146
\Bibitem{SamSam18}
\by A.~V.~Samonov, G.~N.~Samonova
\paper Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems
\jour Proceedings of ISP RAS
\yr 2018
\vol 30
\issue 5
\pages 123--146
\mathnet{http://mi.mathnet.ru/tisp365}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(5)-8}
Linking options:
https://www.mathnet.ru/eng/tisp365
https://www.mathnet.ru/eng/tisp/v30/i5/p123
This publication is cited in the following 1 articles:
A. V. Samonov, “Metody i sredstva razrabotki avtomatizirovannykh informatsionnykh sistem na osnove ontologii «Upravlenie kachestvom programmno-tekhnicheskikh kompleksov»”, Trudy ISP RAN, 31:5 (2019), 165–182
Citation in format AMSBIB
Contact us: