Automated control systems of oil extraction and treatment processes development and testing based on timed finite state machines

Approach to automated controlsystem algorithms development andderiving conformance test suites for program
implementations is proposed. Finite statemachines using advantages as algorithmlanguage are revealed. JSC TomskNIPIneftexperience and developments of finite state machines using for automated controlsystem of oil extraction and treatment projectengineering are referred. Necessity ofsoftware testing with the guaranteed fault
coverage is presented.
Materials and methods
Automata theory, discrete mathematics,graph theory.
Results
Software FSM for developmentof control algorithms basedon automata theory is implemented. Software FSM using makes it possible toreduce time for algorithmsdevelopment, test and optimization in themathematical support engineering stage.Automata models using for development ofprogram implementation conformance testingis introduced. This methodology makes itpossible to test software with theguaranteed fault coverage.
onclusions
This article is proposed the approach to timed finite state machines using for development of automated control system algorithms and deriving conformance test suites with the guaranteed fault coverage for program implementations. Necessity of software testing with the guaranteed fault coverage is cited as an example. Automata theory using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Science-based software testing methodology makes it possible to enhance quality and competitiveness of project documentation as well as makes it possible to reduce time for software testing during starting-up and adjustment procedures.
Download article
timed finite state machine automated control systems algorithm development program implementation testing