Автор(ы): Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)Автор(ов): 1 Параметры публикацииТип публикации: Глава в книгеНазвание: Systems Important for NPP Safety: Software Verification and CybersecurityISBN/ISSN: 978-3-030-71119-1 / 1876-1119DOI: 10.1007/978-3-030-71119-1_10Наименование источника: Advances in Automation II. RusAutoConf 2020. Lecture Notes in Electrical Engineering, vol 729Город: ChamИздательство: SpringerГод издания: 2021Страницы: 90-98 АннотацияSoftware verification and validation is the principal and most common type of activity for ensuring the quality of software systems, including those with a rising risk of the operation, throughout the entire life cycle. The software for systems important for nuclear power-plant (NPP safety) is subject to increased requirements for reliability and stability of operation, and for cybersecurity. The complex structure of automated process control systems of NPP and a large number of cybersecurity management tools make it difficult to verify and use cybersecurity management tools at all stages of the object’s life cycle from design to operation. The paper proposes a methodology for verifying and validating software for systems important to NPP safety, based on a high-qualitative cybersecurity management model to ensure the required level of cybersecurity. The methodology allows it to apply the concept of adaptive testing and simulate making and eliminating errors at each stage of software development. This methodology is using in the development of top-level systems of NPP APCS. Библиографическая ссылка: Жарко Е.Ф. Systems Important for NPP Safety: Software Verification and Cybersecurity / Advances in Automation II. RusAutoConf 2020. Lecture Notes in Electrical Engineering, vol 729. Cham: Springer, 2021. С. 90-98.