Systems engineering of cybersecured digital and information measuring systems based on the signature Boolean-polynomial algebra synthesis apparatus
ARTICLE PDF (Ukrainian)


informational security
cyber security of information and measuring systems
functional cyber-controllability
computing functions operational control

How to Cite

Tupkalo, V., & Cherepkov, S. (2023). Systems engineering of cybersecured digital and information measuring systems based on the signature Boolean-polynomial algebra synthesis apparatus. Measurements Infrastructure, 5.


Development of DIMSCC models with cyber-controllability of their apparatus and software for computing function (operations) in real time becomes the primary task since the problem relevance of the cyber security of digital information and measuring systems of control complexes (DIMSCC) for critical infrastructure objects is increasing. Based on an analysis of known digital systems functional control methods new term «functional cyber-controllability of the digital informational and measuring system» was defined in the article. New approach to operational functional control of hardware redundancy is proposed. This is the synthesis of DIMSCC computing operations. Hardware redundancy is a synthesized control node chosen for functional control of various DIMSCC basic arithmetic and logical functions (operations) which should be reduced to simple procedure of corresponding switching functionally complete combinational structures from a finite set (standard set). Concerning this, the synthesis task is as follows. Only inputs and outputs of specified object are available for functional control of arithmetic and logical operations on binary operands under external hacker influence. Combination type functional control node structure (operational compositional adaptation) should be developed depending on the type of controlled computing operation being performed. The result of the synthesis task solving is a system of formulae determination (signature control equations) of the signature functional control of all DIMSCC basic arithmetic and logical functions (operations) on a single basis of a single equivalent representation of their known formulaic expression by corresponding (adequate) descriptions in infix notation (infix models). Apparatus of Boolean-polynomial algebra is used aiming to realize infix notation. The practical advantage of the proposed approach to the synthesis of hardware redundancy of operational functional signature control of computing operations is the transition possibility from signature control equations formulae to their realization implementation in the form of a signature control node directly without additional interpreting and minimizing procedures use by simple logical composition (switching) functionally complete combinational structures from a finite set (standard set).
ARTICLE PDF (Ukrainian)


Digital automatic device operation control. System codes [Контроль работы цифрового автомата. Систематические коды]. (Accessed 20.06.2022). [In Russian]

Control of information words use and their addresses by mod 3 in digital automation devices [Применение контроля информационных слов и их адресов по mod 3 в цифровых устройствах автоматики]. (Accessed 20.06.2022). [In Russian]

Bystrova I., Podkopayev B. 2020 Errors localization in networks of digital devices [Локализация ошибок в сетях из цифровых автоматов состояний]. Russian universities news. Radio electronics. V. 23, № 1, pp. 18-29. [In Russian]

Yakymets N., Kharchenko V. 2007 Fault-tolerant digital control systems with programmable logic based on partially functional digital automation devices: models and implementation [Отказоустойчивые цифровые системы управленияс программируемой логикой на основе частично работоспособных автоматов: модели и реализация]. National Aerospace University «Kharkiv Aviation Institute». Information processing systems. Issue 4 (62), pp. 134-138. [In Russian]

Fedikhin A., Cespedes Garsia P. 2018 To the question of the faulttolerant computers structure of stratus computer inc. [К вопросу о структурах отказоустойчивых компьютеров фирмы stratus computer inc.]. Mathematical machines and systems. № 4, pp. 87-100. [In Russian]

Hardware control methods [Методы аппаратурного контроля]. (Accessed 20.06.2022). [In Russian]

Program-logical control methods [Программно-логические методы контроля]. (Accessed 20.06.2022). [In Russian]

Numerical and digital control [Числовой и цифровой контроль]. (Accessed 20.06.2022). [In Russian]

Particular modulus control cases. Methods for constructing convolution schemes [Частные случаи контроля по модулю. Способы построения схем сверток]. (Accessed 20.06.2022). [In Russian]

Karpov Yu. 2005 System simulation modelling. Introduction to simulation with AnyLogic 5 [Имитационное моделирование систем. Введение в моделирование с AnyLogic 5]. BHVPetersburg, pp. 400. [In Russian]

Parfionov Yu. 2011 Mathematical apparatus selection for informational systems imitation models development [Вибір математичного апарату при розробленні імітаційних моделей інформаційних систем]. Informational technologies in technical systems. Kharkiv: KhNEU. Issue 3 (93), pp. 69-71. [In Ukrainian]

Samofalov K., Korneichuk V., Romankevych A. and others 1987 Applied theory of automatic digital devices [Прикладная теория цифровых автоматов]. Kyiv: High school, pp. 375. [In Russian]

1999 Informational processes in modern networks. Protocols, standards, interfaces, models [Информационные процессы в современных сетях. Протоколы, стандарты, интерфейсы, модели]. M.: Kudits-Obraz, pp. 256. [In Russian]

Tupkalo V. 2021 Cyber secured informational systems management based on signature algebra mathematical apparatus use [Розробка моделей кіберстійких інформаційних систем управління на основі використання математичного апарату сигнатурної алгебри]. V International sci.-pract. conf. «Education and industry quality management: experience, problems and prospects», theses report. Lviv: LA «Pyramid», pp. 186-187. [In Ukrainian]

Tupkalo V. M. 1994 Theory fundamentals of digital systems signature control: a monograph [Основы теории сигнатурного контроля цифровых систем: монография]. ME of Ukraine, pp. 324. [In Russian]

Additional code [Доповняльний код]. (Accessed 20.09.2022) [In Ukrainian]Доповняльний_код

Kuznetsov A., Adelson-Velskiy G. 1980 Discrete mathematics for an engineer [Дискретная математика для инженера]. M.: Energy, pp. 344. [In Russian]

Propertties and analytical representations of elementary Boolean functions of two variables [Властивості й аналітичні подання елементарних булевих функцій від двох змінних]. (Accessed 20.06.2022) [In Ukrainian]

Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.


Download data is not yet available.