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

Для значимых объектов критической информационной инфраструктуры, в том числе и для объектов атомной энергетики, все большую роль играют методы обнаружения аномалий, неисправностей и диагностики, а также системы информационной поддержки оператора с целью повышения безопасности и надежности эксплуатации. Одной из задач решаемой в рамках системы информационной поддержки является задача расчета технико-экономических показателей и ее связь с обеспечением режима нормальной эксплуатации АЭС. Технико-экономические показатели характеризуют экономичность, безотказность и долговечность энергооборудования в процессе его эксплуатации. Условия оптимальной работы АЭС определяются в процессе анализа ее технико-экономических показателей. Поэтому анализ показателей является одной их важнейших задач АСУ ТП АЭС. Информационная задача расчета технико-экономических показателей в реальном масштабе времени на основе интеллектуального анализа данных и моделей прогноза рискового потенциала критической инфраструктуры позволит предотвратить выход технологического процесса за допустимые эксплуатационные пределы.

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

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

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