Особенности верификации и валидации заданий на прикладное программное обеспечение систем верхнего уровня АСУТП АЭС
Jazyk: | ruština |
---|---|
Rok vydání: | 2022 |
Předmět: | |
DOI: | 10.25728/avtprom.2022.11.05 |
Popis: | Рассмотрены вопросы верификации и валидации прикладного программного обеспечения систем верхнего уровня АСУТП АЭС. Представлена формализованная модель верификации и валидации цифровых систем АСУТП. Выделены задачи верификации и валидации прикладного программного обеспечения в части рабочих баз данных, которые необходимо решить для повышения качества разработки подсистем АСУТП АЭС, а соответственно, и безопасности эксплуатации энергоблоков АЭС. Автоматизация в промышленности, Выпуск 11 2022, Pages 25-27 |
Databáze: | OpenAIRE |
Externí odkaz: |