Problems and description of the approach to integrating systems design tools

A.S. Korolev, S.G. Kyurcheva

Abstract


This article is devoted to the problem of ensuring the quality of requirements specifications for complex technical systems. The purpose of this article is to use neural networks, classification and clustering algorithms to check requirements specifications for consistency and atomicity. It is believed that the use of neural networks will provide a vector representation of textual requirements formulations in order to identify inconsistencies in requirements specifications and to check the atomicity of individual requirements. This article demonstrates the use of such natural language processing techniques as fasttext, doc2vec, and BERT. K-means clustering is used to find inconsistencies in requirements specifications based on the assumption that the requirements of one cluster are potentially conflicting. Requirements are checked for atomicity by using gradient boosting over decision trees. The study showed that using the pretrained BERT neural network gives the best vector representations of requirements for solving clustering and classification problems using k-Means and gradient boosting, respectively. In addition, training the doc2vec model on requirements specifications is impractical, because the number of requirements in the specifications is usually limited and not enough for training, and FastText does not consider the semantics of the full requirement statement. In conclusion, a comparison of the results of the natural language processing methods considered in the article is given.


Full Text:

PDF (Russian)

References


Egorov I. I., Korolev A. S. The system for providing the education product "Management of life cycle of complex technological objects" //MANAGEMENT OF LARGE-SCALE SYSTEM DEVELOPMENT MLSD'2020. – 2020. – С. 1492-1498.

Jean-Luc Voirin. Model-based System and Architecture Engineering with the Arcadia Method 1st Edition // ISBN: 9780081017944 ISTE Press – Elsevier. 2017.

Anton S. Korolev, Alexander Yu. Shamanin. The Use of Formal Methods of Verification and Validation in NPP Design // IEEE Xplore Digital Library, 29 November 2018, Electronic ISBN: 978-1-5386-4924-4, Print on Demand(PoD) ISBN: 978-1-5386-4925-1, DOI: 10.1109/MLSD.2018.8551837

Wasson, Charles S. System engineering analysis, design, and development: concepts, principles, and practices / Published by John Wiley & Sons. 2016. - 880 pages.

Korolev A.S., Egorov I.I, Shcherbakov V.V. Information technologies to support life cycle management of complex technological objects // Informatization and communication −Taganrog: SFedU Publishing House, №6, 2020. С.61-65.


Refbacks

  • There are currently no refbacks.


Abava  Absolutech Convergent 2020

ISSN: 2307-8162