Концепция создания верифицируемого программного обеспечения в составе подсистем и комплексов автоматизированных систем управления технологическими процессами атомных электростанций (300,00 руб.)

Первый автор	Царев
Страниц	9

ID	932760
Аннотация	В современном мире системы автоматизированного управления технологическими процессами ( АСУ ТП) играют ключевую роль в обеспечении безопасности и эффективности работы различных объектов. Особенно это касается атомных электростанций ( АЭС) , где приоритет отдан надёжности и безопасности. Один из ключевых аспектов разработки программного обеспечения ( ПО) для АСУ ТП АЭС — его верификация, процесс проверки соответствия программного продукта заданным требованиям и стандартам. Цель настоящей работы — демонстрация концепции создания верифицируемого программного обеспечения АСУ ТП АЭС с учётом положений современных стандартов и нормативных документов. Основное внимание уделено разработке документа «План верификации программного обеспечения». Представлены его общая структура и рекомендации по наполнению наиболее значимых с точки зрения обеспечения гарантий качества и безопасности разделов. Предложен подход к определению объёма и глубины верификации в зависимости от влияния программного обеспечения на безопасность в соответствии с различными классификаторами. Рассмотрены вопросы обеспечения независимости процесса верификации и даны рекомендации по разработке оптимальной матрицы независимости выполнения этапов с учётом организационных форм проведения верификации. Приведены ролевая и организационная структуры, показана их интеграция с процессным подходом для организации деятельности по верификации программного обеспечения АСУ ТП АЭС. Проведено сопоставление последовательных этапов жизненного цикла разработки программного обеспечения АСУ ТП АЭС с этапами проведения верификации, продемонстрирован механизм обеспечения итеративности процесса верификации в рамках отдельного этапа жизненного цикла. Сделаны выводы о том, что принципиальная осуществимость проведения верификации возможна в случае гармонизации методов разработки и верификации программного обеспечения, что, в свою очередь, позволяет осуществлять комплексный контроль за соответствием требованиям на всех этапах жизненного цикла ПО АСУ ТП АЭС и оперативно корректировать возникающие несоответствия.

Царев, В.С. Концепция создания верифицируемого программного обеспечения в составе подсистем и комплексов автоматизированных систем управления технологическими процессами атомных электростанций / В.С. Царев // Вестник Московского энергетического института .— 2025 .— №2 .— С. 161-169 .— URL: https://rucont.ru/efd/932760 (дата обращения: 05.08.2025)