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

Отсортировано по релевантности | Сортировать по дате