We develop the approach of logical pairwise monitoring for functional units of various nature with simultaneous monitoring of both the main (functional) and control (monitoring) parts of the system. We introduce the definition of a grey zone for pair monitoring caused by the limited capabilities of the functional unit needed for monitoring the separation of parts that implement its purpose and carry out built-in monitoring. We study the manifestations of these limitations and propose a methodology for the practical use of logical pairwise monitoring that takes into account their presence. We give an illustrative example.

中文翻译：

---

占灰区的逻辑对监视

我们开发了逻辑成对监视各种性质的功能单元的方法，同时监视系统的主要（功能）和控制（监视）部分。我们引入了用于配对监视的灰色区域的定义，这是由于监视实现其目的并执行内置监视的部件的分离所需的功能单元功能有限而引起的。我们研究了这些局限性的表现，并提出了一种考虑到其存在的逻辑成对监视的实际使用方法。我们举一个说明性的例子。