Abstract

Aim . This paper presents the development of the dependability automaton. The development is a conceptual description of the automaton as the term structure of a fixed complexity that shows non-contradictory interrelations and clear dependability state transitions of an item. The description of the state structure of the automaton implies subsequent development of a computing device for monitoring the dependability of items of any nature. Unlike in the standard, dependability is defined as a set of states, the measure of concordance with the purpose of an item. The purpose is defined as the property of an object attributed to the natural origin or designed application. In accordance with such definitions, alternative definitions of dependability states have been developed. An observation of the dependability states of an item can be described with a common algorithm. The problem is defined with the help of the automata theory. Methods . We will call a dependability automaton (DA) a deterministic, fully specified finite-state automaton. In the automata theory, the properties of items are examined in terms of being in states and transitioning between them. Dependability states change in terms of disruption and restoration of item purpose. Such changes can be represented as a directed graph, whose nodes correspond to states, while the edges correspond to transitions between states. As the dependability restoration states are deterministic, they can be represented as processes, i.e. planned, consisting of activities, measures, procedures, operations. The states of disrupted dependability are random, therefore they can be considered as events. Thus, the property of an entity’s purpose is observed when the states of dependability are observed that change in events and processes. The automation is described using terms and symbols from standards, as well as alternative definitions of states developed by the author. A review of the appropriate standards is to involve a new terminology. The operation of the dependability automaton reflects transitions and alternative transitions. Restoration is designed as a complete and partially incomplete processes: a) transition from the down state into the up state; b) transition from the down state into the faulty state; c) transition from the down state into the good state. The findings contributed to the development of theoretical and practical dependability of organization, social groups and individuals. The dependability automaton concept includes the development of the engineering design of an expert decision support system for flight operation of an airline. Conclusion . Technical standards require prior preliminarily philosophical, philological, logical review. Such research is to produce logical proof and substantiation of a set of coordinated, non-contradictory ontological terms: property, state, event, etc. The results will be used in technical standards for the purpose of construction and substantiation of special terms. The paper provides a theoretical and practical substantiation of applying individual provisions of the dependability theory of technology for the purpose of developing the dependability theory of non-digital entities.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call