Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://lib.kart.edu.ua/handle/123456789/11657
Назва: Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки
Автори: Каменєв, Олександр Юрійович
Лапко, Антон Олександрович
Дата публікації: 2019
Видавництво: Український державний університет залізничного транспорту
Бібліографічний опис: Каменєв О. Ю. Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки / О. Ю. Каменєв, А. О. Лапко // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 91-92.
Короткий огляд (реферат): Значною складовою забезпечення надійного й безпечного функціонування автоматизованих систем керування (АСК) відповідальними технологічними процесами є належне убезпечення програмних засобів. Методика і програма статичної верифікації подібного ПЗ на предмет безпечності полягає, перш за все, у відслідковування протікання віртуальних електричних струмів по мнемонічним каналам віртуальної релейно-контактної схеми. При цьому процес верифікації розділяється на дві основні складові: перевірку надійності й працездатності ПЗ; перевірку безпечності використання ПЗ.
URI (Уніфікований ідентифікатор ресурсу): http://lib.kart.edu.ua/handle/123456789/11657
ISSN: 1681-4886 (рrint); 2413-3833 (online)
Розташовується у зібраннях:№ 4 (додаток)

Файли цього матеріалу:
Файл Опис РозмірФормат 
Каменєв.pdf1.79 MBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.