1. Science
  2. Publications
  3. Information Processing Systems
  4. 4(26)'2003
  5. The models of fail-safe structures of digital checking and control systems

The models of fail-safe structures of digital checking and control systems

V.S. Kharchenko, V.V. Sklyar, V.I. Tokarev
Annotations languages:

The class of models of checking and control systems that permit to take into account multiversion fail-safe systems properties is developed. The models base on combined using of mathematical tools of transition graphs and combinatorial event models.