1. Science
  2. Publications
  3. Information Processing Systems
  4. 12(137)'2015
  5. Mathematical model assurance of functional stability of mobile systems

Mathematical model assurance of functional stability of mobile systems

O.V. Barabash, N.M. Bernaz
Annotations languages:

In the article a mathematical model assurance of the functional stability of mobile systems based on the laws of mathematical logic. This model makes it possible to sufficiently general way to describe the tools that provide the functional stability of the mobile systems and do not depend on the specifics of each particular environment. In addition, these proposed rules for converting logic descriptions by which logical formula may be modified depending on a particular environment.
Keywords: functional stability, the mobile system, the mathematical model, authentication, system adaptation