Верифікація програмних засобів, реалізованих мовою релейноконтактної логіки

Каменєв, Олександр Юрійович; Лапко, Антон Олександрович

Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/11657

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	№ 4 (додаток)

Files in This Item:

File	Description	Size	Format
Каменєв.pdf		1.79 MB	Adobe PDF	View/Open

Show simple item record