Methodology of designing automated control systems for dedicated organizational and technical systems

The successful implementation of projects on the creation of automated control systems for special organizational and technical systems largely depends on the quality of the complex requirements presented to them, as well as the completeness and accuracy of their execution in design solutions. A necessary condition for solving these tasks is the creation of a model-language and information-software environment that is uniform for all participants in the development of such systems and the implementation of a software-controlled process for justifying requirements, designing, and implementing the project. It is proposed to use the concepts and methods of model-oriented system and software engineering, ontological models, and visual modeling languages as a conceptual and technological basis for this approach implementation. To implement the software-driven process of developing a set of requirements and design solutions are built and used design patterns created based on the ontology "Quality Model of software and hardware complexes" and UML diagrams of uses, behaviors, and classes. The quality model requirements set consists of the characteristics of requirements set as a whole (completeness, consistency, non-redundancy, systematicity) and the characteristics of individual requirements (internal completeness, accuracy, unambiguity, traceability, verifiability, and modifiability). The quality of the formal models of the criteria set and the design solutions are checked by validating and verifying them in the Neo4j graph database environment using dedicated test queries in the Cypher language.

1. Selby R.W. Software Engineering: Barry W. Boehm\'s Lifetime Contributions to Software Development, Management, and Research. Wiley-IEEE Computer Society Press. June 2007.

2. Shevchenko N. An Introduction to Model-Based Systems Engineering (MBSE). Carnegie Mellon University\'s Software Engineering Institute Blog. Available at: http://insights.sei.cmu.edu/blog/introduction-model-based-systems-engineering-mbse/ (accessed: 24.09.2021).

3. Buzdalov D.V., Zelenov S.V., Kornyhin E.V., Petrenko A.K., Strah A.V., Ugnenko А.А., Horoshilov A.V. Instrumental'nye sredstva proektirovaniya sistem integrirovannoj modul'noj avioniki. Trudy ISP RAN = Proceedings of ISP RAS. 2014;26(1):201–230.

4. Kildishev D.S., Khoroshilov A.V. Formalizing metamodel of Requirements Management System. Trudy ISP RAN/Proc. ISP RAS. 2018;30(5):163–176. DOI: 10.15514/ISPRAS-2018-30(5)-10.

5. Samohvalov E.N., Revunkov G.I., Gapanyuk Yu.E. Ispol'zovanie metagrafov dlya opisaniya semantiki i pragmatiki informacionnyh sistem. ISSN 0236-3933. Vestnik MGTU im. N.E. Baumana. Ser. «Priborostroenie» = Herald of the Bauman Moscow State Technical University. Series Instrument Engineering. 2015;1(100):83–99.

6. Namestnikov A.M., Gus'kov G.Yu., Filippov A.A. Intellektual'nyj analiz proektov programmnyh sistem na osnove ontologicheskogo podhoda. Avtomatizaciya processov upravleniya = Automation of Control Processes. 2020;1(59):75–85.

7. Samonov A.V. Metody i sredstva razrabotki avtomatizirovannyh informacionnyh sistem na osnove ontologii «Upravlenie kachestvom programmno-tekhnicheskih kompleksov». Trudy ISP RAN = Proceedings of ISP RAS. 2019;31(5):165–182.

8. Vasil'ev V.S., Celyh A.N., Celyh L.A. Metod validacii grafovyh modelej na osnove algoritma effektivnyh upravlenij. Trudy uchebnyh zavedenij svyazi = Proceedings of Telecommunication Universities 2020; 6(3):58‒65. DOI:10.31854/1813-324X-2020-6-3-58-65.

9. Burlyaeva E.V., Kononenko V.V., Kornyushko V.F., Razlivinskaya S.V. Algoritmy i programma verifikacii funkcional'nyh modelej. Programmnye produkty i sistemy = SOFTWARE & SYSTEMS. 2021;34(2):221–229. DOI: 10.15827/0236-235X.134.221-229.

10. Neo4j Graph Platform. Available at: https://neo4j.com/developer/graph-platform (accessed: 10.09.2021).

11. Francis N, Green A., Guagliardo P. Formal Semantics of the Language Cypher Version 1.1: core read-only fragment. Available at: https://arxiv.org/pdf/1802.09984.pdf (accessed: 14.09.2021).

12. Marton J., Szárnyas G., Varró D. Formalising open Cypher Graph Queries in Relational Algebra. Available at: https://arxiv.org/pdf/1705.02844.pdf (accessed: 9.09.2021).

13. Apache TinkerPop™ is a graph computing framework for both graph databases (OLTP) and graph analytic systems (OLAP). Available at: http://tinkerpop.apache.org (accessed:14.09.2021).

14. Needham M., Hodler A. Grafovye algoritmy. Prakticheskaya realizaciya na platformah Apache Spark i Neo4j.; per. s angl. V.S. Yacenkova. M.: DMK Press; 2020.