УДК: 004.416.2

Использование свободно распространяемых средств статического анализа исходных текстов программ в процессе разработки приложений для операционных систем реального времени

В. А. Галатенко, д-р физ.-мат. наук, зав. сектором, e-mail: galat@niisi.msk.ru, К. А. Костюхин, канд. физ.-мат. наук, стар. науч. сотр., e-mail: kost@niisi.msk.ru, Н. В. Шмырев, канд. физ.-мат. наук, науч. сотр., e-mail: shmyrev@niisi.msk.ru, М. С. Аристов, мл. науч. сотр., e-mail: maristov@niisi.ras.ru, НИИСИ РАН, г. Москва

Современные операционные системы реального времени обладают определенной спецификой, связанной с особыми предъявляемыми к ним требованиями. В данной работе рассмотрены ошибки, характерные для операционных систем реального времени, а также методы диагностики и выявления этих ошибок, основанные на использовании средств статического анализа исходных текстов программ.

Ключевые слова: статический анализ, отладка, операционные системы реального времени

Стр. 2–5