Method for the Functional Diagnosis of Nondeterministic Finite State Machines
- PDF / 521,040 Bytes
- 10 Pages / 612 x 792 pts (letter) Page_size
- 84 Downloads / 202 Views
EMS ANALYSIS AND OPERATIONS RESEARCH
Method for the Functional Diagnosis of Nondeterministic Finite State Machines A. N. Zhiraboka,*, N. A. Kalininaa, and A. E. Shumskiia a
Far Eastern Federal University, Institute of Marine Technology Problems, Far Eastern Branch, Russian Academy of Sciences, Vladivostok, 690091 Russia *e-mail: [email protected] Received June 5, 2019; revised December 10, 2019; accepted January 27, 2020
Abstract—The problem of the functional diagnosis of critical systems, described by a nondeterministic finite state machine model, is considered. A new method for solving the problem is proposed, the distinguishing feature of which is the use of the mathematical apparatus of the algebra’s covers. The features and advantages of the method are illustrated by the example of the problem of monitoring the errors of IT system operators. DOI: 10.1134/S1064230720040152
INTRODUCTION The finite state machine (FSM) model is widely used to describe technical objects and their subsystems whose behavior is characterized, firstly, by the presence of a finite number of states and, secondly, by transitions between these states initiated by external influences and/or functioning conditions; these effects and conditions below are considered as the inputs of the machine. Depending on the completeness of the knowledge about the diagnostic object (DO) and the degree of certainty of the environment, various types of this model can be used, including the deterministic FSM model (also below FSM) and the nondeterministic finite state machine (NFSM) model. A distinctive feature of the latter model is that it admits the possibility of the existence for some states of the machine of transitions to various states initiated by the same input of the machine. A number of solutions to diagnostic problems based on FSM models in various formulations were obtained using the mathematical apparatus of pairwise partition algebra [1], see, for example, [2–4]. In [5–7], the apparatus of paired algebra of partitions was also used for the case of NFSM models as applied to the problems of detecting and diagnosing errors of human operators on rail transport and in IT systems, respectively. Note that the problem of diagnosing human operator errors is of independent interest, which is confirmed by a significant number of publications on this topic in the foreign literature: in [8], the problem of detecting and classifying situations leading to errors of a human operator on rail transport was considered; in [9], the problem of handling the consequences of unforeseen situations was studied; in [10], the task of promptly detecting and preventing unforeseen situations, which was based on a direct assessment of the emotional and psychological state of the human operator, was studied. The approach [10] focuses on the direct identification of borderline states (loss of attention, overexcitation, etc.) of a human operator, which can lead to fatal consequences. The disadvantage of this approach is the need to use quite expensive and unreliable sensors (s
Data Loading...
