Modeling of operational, software and technical systems in RFBR projects
https://doi.org/10.15514/ISPRAS-2021-33(6)-19
Abstract
A wide range of issues of theory and practice in the development of large-scale software and hybrid software intensive systems, including operating systems, is considered. Issues of configuration management, modeling and verification of such systems, construction of ontological models of subject areas related to application and system software are touched upon. Such multilateral consideration is necessary to ensure reliability, security and elastic development during the multi-year period of operation of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within the two RFBR projects. In addition to recent results, the authors pay attention to the history of the development of research in the relevant areas in the Soviet Union.
Supporting agencies: This work was supported by the RFBR grant No. 19-01-00206.
About the Authors
Ekaterina Mikhailovna LAVRISCHEVA
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow Institute of Physics and Technology (MIPT)
Russian Federation
Russian Federation
Doctor of Physical and Mathematical Sciences, Professor, Principal Researcher at ISP RAS, Professor at MIPT, Laureate of the USSR Cabinet of Ministers Prize
Alexander Konstantinovich PETRENKO
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, National Research University, Higher School of Economics
Russian Federation
Russian Federation
Doctor of Physical and Mathematical Sciences, Professor, Head of the Department of ISP RAS, Professor of MSU and HSE
References
1. Липаев В.В. Фрагменты истории развития отечественного программирования для специализированных ЭВМ в 50–80-е годы. Синтег, 2003. 126 стр. / Lipaev V.V. Fragments of the history of the development of domestic programming for specialized computers in the 50–80s. Sinteg, 2003. 126 p. (in Russian).
2. Кикоин И.К. Игорь Васильевич Курчатов. Атомная энергия, том 14, вып. 1, 1963 г., стр. 5-9 / Kikoin I.K. Igor Vasilievich Kurchatov. Atomic Energy, Volume 14, no. 1, 1963, pp. 5-9 (in Russian).
3. Марчук Г.И. Численные методы расчета атомных реакторов. Атомиздат, 1958 г., 381 стр. / Marchuk G.I. Numerical methods for calculating nuclear reactors. Atomizdat, 1958, 381 p. (in Russian).
4. Келдыш М. В. Избранные труды. Общие вопросы развития науки. Наука, 1985 г., 704 стр. / Keldysh M. V. Selected Works. General issues of the development of science. Science, 1985, 704 p.
5. Тихонов А.Н., Самарский А.А. Об однородных разностных схемах. Журнал вычислительной математики и математической физики, том. 1, вып. 1, 1961 г., стр. 5-63 / Tikhonov A.N., Samarskii A.A. Homogeneous difference schemes. Computational Mathematics and Mathematical Physics, vol. 1, issue 1, 1962, pp. 5-67.
6. Белоцерковский О.М. Численное моделирование в механике сплошных сред. Наука, 1994 г., 441 стр. / Belotserkovskii O. M. Numerical modeling in continuum mechanics, Nauka, 1994, 441 p (in Russian).
7. Апонович З.В. Визуализация больших графов и матрица смежности. Труды XX Всероссийской научной конференции «Научный сервис в сети Интернет», 2018 г., стр. 28-41 / Aponovich Z.V. Visualization of large graphs and adjacency matrix. In Proc. of the XX All-Russian Scientific Conference on Scientific Service on the Internet, 2018, pp. 28-41 (in Russian).
8. Лаврищева Е.М., Рыжов А.Г. Подход к моделированию систем и сайтов из готовых ресурсов. Труды ХХ Всероссийской конференции «Научный сервис в сети Интернет», 2018 г., стр. 321-345 / Lavrischeva E.M., Ryzhov A.G. Approach to the modeling of systems and sites from ready resources. In Proc. of the XX All-Russian Conference on Scientific Services on the Internet, 2018, pp. 321-345 (in Russian),
9. Лаврищева Е.М., Петренко А.К. Технология сборки интеллектуальных и информационных ресурсов Интернет. Труды ХХI Всероссийской конференции «Научный сервис в сети Интернет», 2019 г., стр. 469-488 / Lavrischeva K.M., Petrenko A.K. Technology of Assembly of intellectual and information resources of the Internet, In Proc. of the XXI All-Russian Conference on Scientific Services on the Internet, 2019, pp. 469-488 (in Russian)
10. Лаврищева Е.М. Теория графового моделирования сложных систем из модульных элементов для прикладных областей. Austria-science, no. 28, часть 1, 2019 г., стр. 12-30 / Lavrischeva E.M. The theory of graph modeling of complex systems constructed from modular elements for applied areas. Austria-science, no. 28, part 1, 2019, pp. 12-30 (in Russian).
11. Lavrischeva E.M., Petrenko A.K., Pozin B.A. Technology of Assembly of Intellectual and Information Resources Internet. In Proc. of the XXI All-Russian Conference on Scientific Services on the Internet, CEUR-WS, vol. 2543, 2019, pp. 247-271.
12. Lavrischeva E. The theory graph modeling systems from quality modules of the application areas. In Proc. of th6th International Conference on Actual Problems of System and Software Engineering, CEUR-WS, vol. 2514, 2019, pp. 235-247.
13. Лаврищева Е.М., Петров И.Б. Моделирование технических средств и задач прикладной математики на ЭВМ. Труды ИСП РАН, том 32, вып. 6, 2020 г., стр. 167-182 / Lavrishcheva E.M., Petrov I.B. Modeling of technical means and problems of applied mathematics on computers. Trudy ISP RAN/Proc. ISP RAS, vol. 32, issue 6, 2020, pp. 167-182 (in Russian). DOI: 10.15514/ISPRAS–2020–32(6)–13.
14. Лаврищева Е.М., Зеленов С.В. Модельный подход к обеспечению безопасности и надежности Web-сервисов. Труды ИСП РАН, том 32, вып. 5, 2020 г., стр. 153-166 / Lavrischeva E.M., Zelenov S.V. Model-Based Approach to Ensuring Reliability and Security of Web-services. Trudy ISP RAN/Proc. ISP RAS, vol. 32, issue 5, 2020, pp. 153-166 (in Russian). DOI: 10.15514/ISPRAS–2020–32(5)–12.
15. Глушков В.М., Лаврищева Е.М. и др. Система автоматизации производства программ (АПРОП). Киев, ИК АН УССР, 1976 г., 134 стр. / Glushkov V.M., Lavrishcheva E.M. et al. Program production automation system (APROP). Kiev, IK AN UkrSSR, 1976, 134 p.
16. Е.М. Лаврищева, В.Н. Грищенко. Связь разноязыковых модулей в ОС ЕС. М., Финансы и статистика, 1982 г., 137 стр. / E.M. Lavrischeva, V.N. Grishchenko. Linking multilingual modules in the EU OS. M., Finance and Statistics, 1982, 137 p. (in Russian).
17. Липаев В.В., Позин Б.А., Штрих А.А. Технология сборочного программирования. М., Радио и связь, 1992 г., 287 стр. / Lipaev V.V., Pozin B.A., Shtrikh A.A. Assembly programming technology. M., Radio and communication, 1992, 287 p. (in Russian).
18. Лаврищева Е.М. Теория объектно-компонентного моделирования программных систем. Препринт ИСП РАН, no. 29, 2016 г., 52 стр. / Lavrischeva E.M. The theory of object-component modeling of software systems. ISP RAS Preprint, no. 29, 2016, 52 p. (in Russian).
19. Lavrischeva E. Assembling Paradigms of Programming in Software Engeneering. Journal of Software Engineering and Applications, vol. 9, issue 6, 2016, pp. 296-317.
20. E.M. Lavrischeva. Assembling Paradigms of Programming in Software Engeneering. Journal of Software Engineering and Applications, 9, 296-317. http://dx.doi.org/10.4236/jsea.2016.96021.
21. Ершов А.П. Научные основы доказательного программирования. Вестник АН СССР, no. 10, 1984 г., стр. 9-19 / Ershov A.P. Scientific foundations of evidence-based programming. Bulletin of the Academy of Sciences of the USSR, no. 10, 1984, pp. 9-19 (in Russian).
22. Ершов А.П. Отношения методологии и технологии программирования. Информационные материалы и тезисы пленарных докладов II Всесоюзной конференции "Технология программирования", 1986, стр. 10-13/ Ershov A.P. Relations between methodology and technology of programming. Information materials and abstracts of plenary reports of the II All-Union Conference on Programming Technology, 1986, pp. 10-13 (in Russian).
23. Лаврищева Е.М., Пакулин Н.В. Методы и средства обеспечения надежности технических и программных средств. Труды 5-й Научно-практической конференции OS DAY, 2018 г., URL: http://0x1.tv/20180517F / Lavrishcheva E.M., Pakulin N.V. Methods and means of ensuring the reliability of hardware and software. In Proc. of the 5th Scientific and Practical Conference OS DAY, 2018, URL: http://0x1.tv/20180517F.
24. Лаврищева Е.М., Пакулин Н.В. и др. Анализ методов оценки надежности оборудования и систем. Практика применения методов. Труды ИСП РАН, том 30, вып. 3, 2018 г., стр. 99-120 / Lavrischeva E.M., Pakulin N.V. et al. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods. Trudy ISP RAN/Proc. ISP RAS, том 30, вып. 3, 2018 г., стр. 99-120 (in Russian). DOI: 10.15514/ISPRAS-2018-30(3)-8.
25. Лаврищева Е.М., Зеленов С.В. Модельный подход к обеспечению безопасности и надежности Web-сервисов. Труды ИСП РАН, том 32, вып. 5, 2020 г., стр. 153-166 / Lavrischeva E.M., Zelenov S.V. Model-Based Approach to Ensuring Reliability and Security of Web-services. Trudy ISP RAN/Proc. ISP RAS, vol. 32, issue 5, 2020, pp. 153-166 (in Russian). DOI: 10.15514/ISPRAS–2020–32(5)–12.
26. Лаврищева Е.М., Петренко А.К. и др. Технология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах. Системный администратор, вып. 11, 2021 г., стр. 80-89 / Lavrischeva E.M., Petrenko A.K. et al. Technology of assembly creation of an experimental version of the OS Linux kernel with quality assurance for use in applied and technical systems. System Administrator, vol. 11, 2021, pp. 80-89 (in Russian).
27. Лаврищева Е.М., Петров И.Б. Технология моделирования физических и математических задач предметных областей знаний. Евроазиатское научное объединение, no. 1-1, 2021 г., стр. 35-43 / Lavrishcheva E.M., Petrov I.B. Technology for modeling physical and mathematical problems of applied fields of knowledge. Eurasian Scientific Association, no. 1-1, 2021, pp. 35-43 (in Russian).
28. Lavrischeva E.M., Petrenko A.K., Kozin S.V. Technology of assembly creation of an experimental version OS Linux kernels with quality assurance for applied and subject areas of knowledge. In Scientific Articles Collection of the 81st International Scientific Conference of Eurasian Scientific Association, 2021, pp. 94-102.
29. Лаврищева Е.М., Петров И.Б., Петренко А.К. Парадигмы моделирования и программирования задач предметных областей знаний: монография. Директ-Медиа, 2021 г., 496 стр. / Lavrischeva E.M., Petrov I.B., Petrenko A.K. Paradigms of modeling and programming tasks of subject areas of knowledge: monograph. Direct-Media, 2021, 496 p. (in Russian).
Review
For citations:
LAVRISCHEVA E.M., PETRENKO A.K. Modeling of operational, software and technical systems in RFBR projects. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(6):265-280. (In Russ.) https://doi.org/10.15514/ISPRAS-2021-33(6)-19
Email this article 