Search academic texts

Information × Registration Number 2123U001375, Article popup.category Стаття, Опубліковано, Рецензована стаття Title CONCEPTUAL APPROACHES OF ORGANIZING PROCESSES OF VERIFICATION OF SOFTWARE PROJECTS OF CRITICAL INFORMATION-CONTROLLED SYSTEMS ON THE BASIS OF REQUIREMENTS FOR THEIR LIFE CYCLE popup.author Vasiuta VasylDanyleiko ArtemVasiuta ViktoriiaVasiuta VasylDanyleiko ArtemVasiuta Viktoriia popup.publication 17-03-2023 popup.source_user Національний університет «Полтавська політехніка імені Юрія Кондратюка» popup.source https://journals.nupp.edu.ua/sunz/article/view/2827 popup.publisher Національний університет «Полтавська політехніка імені Юрія Кондратюка» Description Реалізація ефективної технології забезпечення необхідного рівня якості програмних систем наразі є однією з актуальних та важливих задач програмної інженерії. Особливо важливим є вирішення цієї задачі для критичних інформаційно-управляючих українських атомних електростанцій. Забезпечення необхідної якості програмних систем вимагає розуміння процесу організації верифікації програмних проектів. Метою дослідження є огляд основних концептуальних підходів організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Для досягнення поставленої мети авторами було розглянуто автоматизацію атомних електростанцій у вигляді програмно-технічних комплексів та загальні принципи реалізації критичних інформаційно-управляючих систем на основі програмованих логічних контролерів, проаналізовано процеси верифікації прикладної логіки користувача в даних системах, здійснено огляд основних процедур верифікації прикладної логіки спецплатформи RadiCS. popup.nrat_date 2026-04-19 Close