Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/11657Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Каменєв, Олександр Юрійович | - |
| dc.contributor.author | Лапко, Антон Олександрович | - |
| dc.date.accessioned | 2022-10-27T10:14:38Z | - |
| dc.date.available | 2022-10-27T10:14:38Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.citation | Каменєв О. Ю. Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки / О. Ю. Каменєв, А. О. Лапко // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 91-92. | uk_UA |
| dc.identifier.issn | 1681-4886 (рrint); 2413-3833 (online) | - |
| dc.identifier.uri | http://lib.kart.edu.ua/handle/123456789/11657 | - |
| dc.description.abstract | Значною складовою забезпечення надійного й безпечного функціонування автоматизованих систем керування (АСК) відповідальними технологічними процесами є належне убезпечення програмних засобів. Методика і програма статичної верифікації подібного ПЗ на предмет безпечності полягає, перш за все, у відслідковування протікання віртуальних електричних струмів по мнемонічним каналам віртуальної релейно-контактної схеми. При цьому процес верифікації розділяється на дві основні складові: перевірку надійності й працездатності ПЗ; перевірку безпечності використання ПЗ. | uk_UA |
| dc.publisher | Український державний університет залізничного транспорту | uk_UA |
| dc.title | Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки | uk_UA |
| dc.type | Thesis | uk_UA |
| Розташовується у зібраннях: | № 4 (додаток) | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Каменєв.pdf | 1.79 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.