1. Science
  2. Publications
  3. Information Processing Systems
  4. 9(90)'2010
  5. Automaton-basis approach to development of naturally dependable and safe systems

Automaton-basis approach to development of naturally dependable and safe systems

S.F. Tyurin, V.S. Kharchenko
Annotations languages:

An approach to development of naturally dependable and safe systems which are tolerant to failures (different types of intrusions) is suggested. Basic principles of automaton-basis approach are formulated. It is based on use of redundant basis allowing to carry out all or part of functions on failures. A system is described by automaton model and recovery of logical transformer is performed using by application of proposed function-full tolerant basis (FFTB). Examples of FFTBs on the gated level are analyzed.
Keywords: redundant basis, automaton model, function-full tolerant basis, failure, intrusion