В современных АСУ ТП АЭС программное обеспечение (ПО) применяется повсеместно, начиная от контроллеров и заканчивая общестанционными системами, предназначенными для организации управления с повышенным риском эксплуатации. Верификация программного обеспечения – непрерывный процесс в течение всего жизненного цикла программного обеспечения, направленный на обеспечение качества ПО. В докладе рассматриваются проблемы проведения верификации программного обеспечения систем важных для безопасности АЭС.

Развита методология анализа структуры, механизмов и процедур управления личностью с помощью информационных воздействий, в условиях динамики и неопределенности. Развит метод моделирования динамики психических и физиологических структур человека с помощью адаптивных механизмов. Комбинации этих механизмов используются для анализа и проектирования психических и сенсорных структур личности. Разработаны архетипы информационного воздействия на личность.

Рассматриваются основные элементы проведения конкурса в организациях и на предприятиях. Приводится компьютерная методика анализа экспертных оценок, позволяющая выделять некомпетентных и ангажированных экспертов.

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