|
А.Г. Зебзеев
|
ТомскНИПИнефть |
Томск, Россия zebzeevag@gmail.com |
|
Д.В. Журавлев
|
ТомскНИПИнефть |
|
|
Е.И. Громаков
|
НИ ТПУ |
|
|
М.А. Пушкарев
|
ТомскНИПИнефть |
|
|
G. Zebzeev Alexey
|
TomskNIPIneft |
Tomsk, Russia |
|
V. Zhuravlev Denis
|
TomskNIPIneft |
|
|
I. Gromakov Evgeny
|
National Research Tomsk Polytechnic University |
|
|
A. Maxim Pushkarev
|
TomskNIPIneft |
|
Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО «ТомскНИПИнефть» в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок.
Материалы и методы
Теория автоматов, дискретная математика, теория графов.
