Мои результаты мне давно известны, я только не знаю, как я к ним приду.
Мои результаты мне давно известны, я только не знаю, как я к ним приду.
Ближайшие события
DOI: 10.25728/avtprom.2022.11.05
Рассмотрены вопросы верификации и валидации прикладного программного обеспечения систем верхнего уровня АСУТП АЭС. Представлена формализованная модель верификации и валидации цифровых систем АСУТП. Выделены задачи верификации и валидации прикладного программного обеспечения в части рабочих баз данных, которые необходимо решить для повышения качества разработки подсистем АСУТП АЭС, а соответственно, и безопасности эксплуатации энергоблоков АЭС.
Последний вышедший номер
Адрес редакции: 117997, Москва, Профсоюзная ул., д. 65, оф. 360
Телефон: (926) 212-60-97.
E-mail: info@avtprom.ru или avtprom@ipu.ru
© ООО Издательский дом "ИнфоАвтоматизация", 2003-2024 гг.