Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/11657
Title: | Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки |
Authors: | Каменєв, Олександр Юрійович Лапко, Антон Олександрович |
Issue Date: | 2019 |
Publisher: | Український державний університет залізничного транспорту |
Citation: | Каменєв О. Ю. Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки / О. Ю. Каменєв, А. О. Лапко // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 91-92. |
Abstract: | Значною складовою забезпечення надійного й безпечного функціонування автоматизованих систем керування (АСК) відповідальними технологічними процесами є належне убезпечення програмних засобів. Методика і програма статичної верифікації подібного ПЗ на предмет безпечності полягає, перш за все, у відслідковування протікання віртуальних електричних струмів по мнемонічним каналам віртуальної релейно-контактної схеми. При цьому процес верифікації розділяється на дві основні складові: перевірку надійності й працездатності ПЗ; перевірку безпечності використання ПЗ. |
URI: | http://lib.kart.edu.ua/handle/123456789/11657 |
ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
Appears in Collections: | № 4 (додаток) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Каменєв.pdf | 1.79 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.