Concept of Detection and Correction of Logic Errors in Implementation of Safety Protocol Profiles

摘要

The concept is disclosing the general approach to formation of specific implementation of the safety protocol profiles (SPP). The paper represents mathematical models of occurrence of logic errors because of parallel execution of a number of processes during implementation of the protocols, which, in general case, are running asynchronously due to incorrect description. It is this asynchronous mode that results in occurrence of situation of uncertainty. The procedures for their correction and the procedure for syntax check are determined.