Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов

Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО «ТомскНИПИнефть» в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок. Материалы и методы Теория автоматов, дискретная математика, теория графов.