DOI: 10.17587/prin.14.263-277

Three Principles of Intellectualization of Automated Systems

V. A. Vasenin, Professor, vasenin@msu.ru, Lomonosov Moscow State University, Moscow, 119991, Russian Federation, A. V. Chechkin, Honorary Professor, A.Chechkin@mail.ru, Military Academy of the RVSN named after Peter the Great, Balashikha, 143900, Russian Federation, M. V. Pirogov, Engineer of the 2nd category, pmv_mvp@mail.ru, S. A. Lavochkin NGO, Khimki, 141402, Russian Federation

Corresponding author: Alexsandr V. Chechkin, Honorary Professor, Military Academy of the RVSN named after Peter the Great, Balashikha, 143900, Russian Federation, E-mail: A.Chechkin@mail.ru

The purpose of the research, the results of which are presented in the article, is to present the conceptual provisions of the new modeling and programming technology, called radical. It is intended for all stages of the life cycle of complex automated systems using the concept of a broad problem area and the methodology of intellectualization. Within the framework of the new radical technology, three principles of intellectualization are considered: diverse goal setting; necessary information and system redundancy; sufficient integrity in the provision of automation tools. Radical technology is based on mathematical objects — radicals and radical schemes, with the help of which the modeling of the problem area of complex automated systems should be carried out. The issues of standardization of technology for the creation and maintenance of automated systems based on the use of radical schemes are discussed. The necessity of using such schemes in the life cycle of an automated system is substantiated. The provisions of the proposed technology are briefly illustrated on the basis of the experience of their use in the development of programs for the operation of the target equipment of spacecraft. The issues of software development for automation of control processes of permanently developing and increasingly complex objects have always been and remain in the focus of attention of specialists in the field of computer science. A special place in the list of such objects is occupied, for example, by complexly organized systems of the aerospace complex. Due to the need to automate and intellectualize the processes of maintaining such a class of objects in a real environment, a new methodology and technology of software development and maintenance engineering is being developed in Russia and other countries. The problem area of complex automated systems, which include, inter alia, space systems, covers a large number of diverse components of such systems, their properties and relationships. This class of automated systems is characterized by: variability; expansion of functionality; the need for the use of rapidly developing software and hardware for various purposes. The problem area of automated systems is characterized by both significant achievements and significant shortcomings. Disadvantages can (and do) lead to large-scale, irreparable losses, accidents and catastrophes. The presence of problem­atic issues of verification and ensuring a high degree of reliability, difficulties of modification and the possibility of semantic errors — all this is characteristic of modern automated systems, for their software and hardware. The reason for the disadvantages of complex automated systems is the widespread use of technologies in their develop­ment that do not adequately cover the stages of pre-project research, including modeling. The old approach is character­ized by situations in which the problem area of an automated system, its components and their connections are not fully described. Hence the objective difficulties of software development and modification. The documentation of such software tools is characterized by the widespread use of information representation based on natural language. Automation of the processes of development and maintenance of such documentation, assessment of its completeness, correctness is sig­nificantly difficult. Mathematical formalization of the problem area of automated systems, as a rule, is insufficient. In this article, a new mathematical standardization of the formal description of the problem domain of automated systems and processes occurring in them, uniformly described on the basis of the concept of radical, is proposed. The most well-known of the approaches based on the methodology of software engineering applied to automated systems is the SEMAT (Soft­ware Engineering Method and Theory) project. The core and the domain model description language make up the basic part of the project, called Essence. An essential requirement for its components is the requirement of the possibility of an adequate and visual description for developers and an adequate (objective) assessment of the state of the target software product at all stages of its production. The project proposed in this article, based on the model of radical programming and radical modeling, is an analogue of the SEMAT/Essence project noted above. The model considered in this article is based on a uniform mathematically formalized standardization of the description of any problem area and its environment. The so-called radicals and the mechanisms of their interaction during the implementation of automated processes are considered as the basic atomic elements that make up the core of our approach. Within the framework of this model, a special modeling language, RADICAL, has been developed, taking into account the redundancy of the model description. With the help of such a language, an expressive, flexible and adequate representation of the problem area is provided, visually convenient for the developer to assess the condition of the target product at different stages of its life cycle. The development and improvement of methods for mathematically rigorous description of automated systems and their environment based on such technology is a strategically important task. This publication attempts to describe the current state of exploratory research and applied work aimed at developing a project called «radical modeling and radical programming». The material presented in the publication, including a summary of the results in relation to the automation of objects in the aerospace field, can also be considered as an invitation to new researchers to participate in the work on the development of the project. The experience of practical application of the RADICAL language, as a universal one for describing schemes of interaction of radicals in such an environment, obtained when solving problems of automation of control of the instrument base of spacecraft for various purposes, suggests the urgent need to develop and develop a single, constantly expanding library of standard information forms designed to solve different classes of tasks. Such an expandable library of information forms (libraries of radicals) should lay the foundation for a developing knowledge base of radical technology in the context of a rapidly progressing variety of software and hardware.

Keywords: software, information support for the intellectualization of technical systems, information and system security of an automated system, satellite imagery, radical environment, radical scheme, radical modeling, radical programming, RADICAL language, information form

pp. 263–277

For citation:
Vasenin V. A., Chechkin A. V., Pirogov M. V. Three Principles of Intellectualization of Automated Systems, Programmnaya Ingeneria, 2023, vol. 14, no. 6, pp. 263—277. DOI: 10.17587/prin.14.263-277. (in Russian).

References:

1. Lipaev V. V. Software engineering. Methodological foundations, Moscow, THEIS, 2006, 608 p. (in Russian).
2. Vasenin V. A., Krivchikov M. A. Formal Models of Programming Languages and Programs. Part 1. Literature Review: 1930 — 1989, Programmnaya Ingeneria, 2015, no. 5, pp. 10 — 19 (in Russian).
3. Vasenin V. A., Krivchikov M. A. Formal Models of Programming Languages and Programs. Part 2. Present State of Research, Programmnaya Ingeneria, 2015, no. 6, pp. 24—33 (in Russian).
4. Pak J. S., Jacobson I., Mayburg B., Johnson P. SEMAT Yesterday, Today and Tomorrow. An Industrial Perspective, Programmnaya Ingeneria, 2014, no. 11, pp. 6—16 (in Russian).
5. Zmeev D. O., Zmeev O. A., Ivanova L. S. Antipattern Practice for Essence Practice Library, Programmnaya Ingeneria, 2022, vol. 13, no. 7, pp. 311—321. DOI: 10.17587/prin.13.311-321 (in Russian).
6. Posin B. A. SEMAT — Software Engineering Method and Theory. About what, what for and to whom is it addressed? Programmnaya Ingeneria, 2014, no. 11, pp. 3—5 (in Russian).
7. Pirogov M. V. Radical Programming, Programmnaya Ingeneria, 2013, no. 4, pp. 2—15 (in Russian).
8. Vasenin V. A., Pirogov M. V., Chechkin A. V. Radical Modeling and Engineering of Complex Program System, Programmnaya Ingeneria, 2014, no. 10, pp. 3—10 (in Russian).
9. Vasenin V. A., Pirogov M. V., Chechkin A. V. Information and system security of critical systems: monograph, Moscow, COURSE, 2018, 352 p. (in Russian).
10. Chechkin A. V. Mathematical informatics, Moscow, Nauka, 1991, 412 p. (in Russian).
11. Soboleva T. S., Chechkin A. V. Discrete mathematics. Advanced course, Moscow, INFRA-M: Course, 2016. 276 p. (in Russian).
12. Ershov A. P. Preliminary considerations on the programming lexicon, Selected works, Novosibirsk, 1994, pp. 395—406 (in Russian).
13. Kotov V. E. The expanding universe of computer science, Andrey Petrovich Ershov is a scientist and a man, Novosibirsk, 2006, pp. 158—166 (in Russian).
14. Chechkin A. V., Pirogov M. V. The programming lexicon of A. P. Ershov and the modeling environment of a wide problem area of targeted systems in the form of a radical environment, Neurocomputers: development, application, 2016, no. 11, pp. 3—14 (in Russian).
15. Galatenko V. A., Kostyukhin K. A., Levchenkova G. L. Integrity as an Aspect of Information Security: an Overview of Modern Apрroaches, Programmnaya Ingeneria, 2021, vol. 12, no. 8, pp. 420—424. DOI: 10.17587/prin.12.420-424 (in Russian).
16. GOST 34.003—90. Information technology. A set of stan­dards for automated systems. Automated systems. Terms and defini­tions (in Russian).
17. Potyupkin A. Yu., Chechkin A. V. Artificial intelligence based on information-system redundancy: monograph, Moscow, COURSE, 2019, 384 p. (in Russian).
18. Kolobov A. Yu., Pirogov M. V., Rozhkov V. V. Principles and basic schemes of radicals for building a database of the system of planning and control of the operation of the target equipment of the spacecraft, Bulletin of S. A. Lavochkin NGO. 2021, no. 2/52, pp. 73—79. DOI: 10.26162/LS.2021.52.2.010 (in Russian).