informatsionnykh resheniy // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlenno-sti. <...> Prime-nenie programmno-informatsionnykh resheniy OAO "Nefteavtomatika" dlya sozdaniya avtomatizirovannykh informatsionnykh sistem prognozirovaniya potrebleniya elektroenergii // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlennosti. <...> Upravlenie i avtomatizatsiya razrabotki programmnogo obespecheniya dlya sis-tem MES-urovnya // Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftnoy promyshlennosti. <...> Problema sozdaniya avtomatizirovannoy sistemy upravleniya metrologiche-skoy sluzhboy predpriyatiy neftegazovoy otrasli i ikh servisnykh organizatsiy i variant resheniy na osnove programmnoinformatsionnykh sredstv, razrabotannykh OAO "Nefteavtomatika" // Avtomatizatsiya, telemekhani-zatsiya i svyaz' v neftyanoy promyshlennosti. <...> Perspektivy primeneniya virtual'nykh analizatorov v sistemakh upravleniya resursami proizvodstva // Problemy upravleniya. <...> Sovremennye metody upravleniya proizvodstvennymi protsessami // Pro-blemy upravleniya. <...> МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ УДК 681.5:004.4 ВОПРОСЫ АВТОМАТИЗАЦИИ СЕМАНТИЧЕСКОГО АНАЛИЗА ПРОГРАММ А.Ф. <...> Связующим звеном этих и других технологий являются программы – алгоритмы, записанные на том или ином языке. <...> И если раньше считалось, что программы, прежде всего, должны быть синтаксически правильно написаны, то сегодня во главу угла ставится смысл заложенных в них алгоритмов. <...> Известные формальные и неформальные методы верификации программ, такие, как тестирование и отладка, не позволяют в полной мере подтвердить их семантическую корректность, т. е. правильность алгоритмов [1]. <...> Автору известны случаи пуска в эксплуатацию автоматизированных систем управления технологическими процессами с ошибками в программах работы регуляторов и контроллеров, выявляемых только после возникновения аварийных ситуаций. <...> 26 Таким образом, при разработке и создании программ возникает необходимость в автоматизации некоторых функций программистов, отвечающих за проверку и анализ семантики (или смысла) программного кода, во избежание ошибок, связанных с человеческим фактором. <...> Целью семантического анализа программ является выявление смысловых ошибок в коде до начала процесса тестирования и отладки, что позволит увеличить эффективность программ, снизить стоимость и сократить сроки их разработки и сопровождения. <...> Обзор <...>