ТЕОРЕТИЧЕСКИЙ И ПРИКЛАДНОЙ НАУЧНО-ТЕХНИЧЕСКИЙ ЖУРНАЛ
Том 13Том 13№ 4№ 4
20222022
Издается с сентября 2010 г.
С Редакционный совет
( адовничий В.А., акад. РАН
Панченкакаров В.Л., акад. РАН
председатель)
Бетелин В.Б., акад. РАН
Васильев В.Н., чл.-корр. РАН
МЖижченко А.Б., акад. РАН
УСтемпковский А.Л., акад. РАН
о В.Я., акад. РАН
Фехлинов Л.М., д.т.н.доров И.Б., акад. РАН
Четверушкин Б.Н., акад. РАН
Васенин В.А., д.ф.-м.н., проф.Главный редактор
Редколлегия
ГБорБААнтонов Б.И.фонин С.А., к.ф.-м.н.урдонов И.Б., д.ф.-м.н., проф.зовс Ю., проф. (Латвия)
Гаврилов А.В., к.т.н.
Корнеев В.В., д.талатенко А.В., к.ф.-м.н..н., проф.
МКостюхин К.А., к.ф.-м.н.
НаМахортов С.Д., д.ф.-м.н., доц.анцивода А.В., д.ф.-м.н., доц.зиров Р.Р., д.т.н., проф.
Нечаев В.В., д.т.н., проф.
Новиков Б.А., д.ф.-м.н., проф.
Павлов В.Л. (США)
Пальчунов Д.Е., д.ф.-м.н., доц.
Петренко А.К., д.ф.-м.н., проф.
Позднеев Б.М., д.т.н., проф.
Позин Б.А., д.т.н., проф.
Серебряков В.А., д.ф.-м.н., проф.
ТСорокин А.В., к.т.н., доц.
ерехов А.Н., д.ф.-м.н., проф.
Филимонов Н.Б., д.т.н., проф.
Шапченко К.А., к.ф.-м.н.
ЯзЩШундеев А.С., к.ф.-м.н.ур Л.Н., д.ф.-м.н., проф.
Яков Ю.К., д.т.н., проф.
ЧугуновРедакцияа А.В.
Шелехов В. И. Автоматное программирование на базе системы моделирования
и верификации Event-B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Годунов А. Н., Хоменков И. И., Щепков В. Г., Хорошилов А. В.
Конфигурируемая тестовая система для ОСРВ семейства Багет . . . . . . . 168
Евгенев Г. Б. Российская технология Индустрии 5.0. Метаонтология . . . 178
Gaydamaka K. I., Belonogova A. D. Applying Unsupervised Machine
Learning Algorithms to Ensure Requirements Consistency . . . . . . . . . . . . . . 187
Федотов И. А., Хританков А. С., Обидаре М. Д. Автоматическая верификация
многосторонних соглашений и планирование отправки сообщений
в системах распределенного реестра . . . . . . . . . . . . . . . . . . . . . 200
Учредитель: Издательство "НОВЫЕ ТЕХНОЛОГИИ"
DOI 10.17587/issn.2220-3397
ISSN 2220-3397
Журнал издается при поддержке Отделения математических наук РАН,
Отделения нанотехнологий и информационных технологий РАН,
МГУ имени М.В. Ломоносова, МГТУ имени Н.Э. Баумана
СОДЕРЖАНИЕ
обсон И., проф. (Швейцария)
Журнал зарегистрирован
в Федеральной службе
по надзору в сфере связи,
информационных технологий
и массовых коммуникаций.
Свидетельство о регистрации
ПИ № ФС77-38590 от 24 декабря 2009 г.
(индекЖурнал распространяется по подписке, которую можно оформить в подписных агентствах
Http://novtex.ru/prin/rusел.: (499) 270-16-52.Т в редакции (для юридических лиц).
RSCIЖурнал включен в систему Российского индекса научного цитирования и базу данных
доЖурнал входит в Перечень научных журналов, в которых по рекомендации ВАК РФ
E-mail: prin@novtex.ru
на платформе Web of Science.
стлжны быть опубликованы научные результаты диссертаций на соискание ученой
епени доктора и кандидата наук.
© Издательство "Новые технологии", "Программная инженерия", 2022
с по Объединенному каталогу "Пресса России" — 22765) или непосредственно
Стр.3
THEORETICAL AND APPLIED SCIENTIFIC AND TECHNICAL JOURNAL
SOFTWARE ENGINEERING
PROGRAMMNAYA INGENERIA
Published since September 2010
Editorial Council:
SADOVNICHY V. A., Dr. Sci. (Phys.-Math.),
Acad. RAS (Неаd)
BETELIN V. B., Dr. Sci. (Phys.-Math.), Acad. RAS
VASIL’EV V. N., Dr. Sci. (Tech.), Cor.-Mem. RAS
ZHIZHCHENKO A. B., Dr. Sci. (Phys.-Math.),
Acad. RAS
MAKAROV V. L., Dr. Sci. (Phys.-Math.), Acad.
RAS
PANCHENKO V. YA., Dr. Sci. (Phys.-Math.),
Acad. RAS
DOI 10.17587/issn.2220-3397
CONTENTS
STEMPKOVSKY A. L., Dr. Sci. (Tech.), Acad. RAS
UKHLINOV L. M., Dr. Sci. (Tech.)
FEDOROV I. B., Dr. Sci. (Tech.), Acad. RAS
CHETVERTUSHKIN B. N., Dr. Sci. (Phys.-Math.),
Acad. RAS
Editor-in-Chief:
VASENIN V. A., Dr. Sci. (Phys.-Math.)
Editorial Board:
ANTONOV B.I.
AFONIN S.A., Cand. Sci. (Phys.-Math)
BURDONOV I.B., Dr. Sci. (Phys.-Math)
BORZOVS JURIS, Dr. Sci. (Comp. Sci), Latvia
GALATENKO A.V., Cand. Sci. (Phys.-Math)
GAVRILOV A.V., Cand. Sci. (Tech)
JACOBSON IVAR, Dr. Sci. (Philos., Comp. Sci.),
Switzerland
KORNEEV V.V., Dr. Sci. (Tech)
KOSTYUKHIN K.A., Cand. Sci. (Phys.-Math)
MAKHORTOV S.D., Dr. Sci. (Phys.-Math)
MANCIVODA A.V., Dr. Sci. (Phys.-Math)
NAZIROV R.R. , Dr. Sci. (Tech)
NECHAEV V.V., Cand. Sci. (Tech)
NOVIKOV B.A., Dr. Sci. (Phys.-Math)
PAVLOV V.L., USA
PAL’CHUNOV D.E., Dr. Sci. (Phys.-Math)
PETRENKO A.K., Dr. Sci. (Phys.-Math)
POZDNEEV B.M., Dr. Sci. (Tech)
POZIN B.A., Dr. Sci. (Tech)
SEREBRJAKOV V.A., Dr. Sci. (Phys.-Math)
SOROKIN A.V., Cand. Sci. (Tech)
TEREKHOV A.N., Dr. Sci. (Phys.-Math)
FILIMONOV N.B., Dr. Sci. (Tech)
SHAPCHENKO K.A., Cand. Sci. (Phys.-Math)
SHUNDEEV A.S., Cand. Sci. (Phys.-Math)
SHCHUR L.N., Dr. Sci. (Phys.-Math)
YAZOV Yu. K., Dr. Sci. (Tech)
Editors: CHUGUNOVA A.V.
Shelekhov V. I. Automata-based Software Engineering with Event-B . 155
Godunov A. N., Khomenkov I. I., Shchepkov V.
G.,
Khoroshilov A. V. Confi gurable Test System for RTOS of BAGET
Family. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
Evgenev G. B. Russian Technology of Industry 5.0. Metaontology . . . 178
Gaydamaka K. I., Belonogova A. D. Applying Unsupervised
Machine Learning Algorithms to Ensure Requirements Consistency . . . 187
Fedotov I. A., Khritankov A. S., Obidare M. D. Automated
Verifi cation of Multi-Party Agreements and Scheduling of Sending
Messages in Distributed Ledger Systems . . . . . . . . . . . . . . . . . . . . . . . 200
Vol. 13
N 4
2022
ISSN 2220-3397
Information about the jornal is available online at:
http://novtex.ru/prin/eng e-mail:prin@novtex.ru
Стр.4