Security & Future
Vol. 3 (2019), Issue 3, pg(s) 113-114

TECHNICAL FACILITIES FOR ENSURING SECURITY

TECHNOLOGY FOR MODELLING SOFTWARE SYSTEMS BASED ON NONDETERMINISTIC FINITE AUTOMATOS

  • 1 Faculty of Computer Engineering, Intelligent and Control Systems – Chercassy National University named by B. Khmelnitsky, Ukraine

Abstract

The technology of constructing models of software systems using non-deterministic finite state machines is offered. In this case, each vertex of the automaton model (state) is matched by the output function and the transition function. The first determines the actions performed in this state, and the second defines the conditions for the transition to other states. Bypassing an automated model tree of a program to implement it in some programming language, you can create your own program.

Keywords

References

  1. Карпов Ю.Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем. /Ю.Г. Карпов – СПб.; БХВ-Петербург, 2010.- 560 с.
  2. Салапатов В.І. Моделювання, верифікація та розробка програм. Вісник національного технічного університету України “КПІ”. Інформатика, управління та обчислювальна техніка. № 61. 2015. С. 174-177.

Article full text

Download PDF