Безпечність спеціалізованих комп’ютерних систем

Abstract

Навчальний посібник призначено для студентів усіх форм навчання спеціальності 123 «Комп'ютерна інженерія» другого рівня вищої освіти – «магістр», з можливим застосуванням для споріднених курсів. У навчальному посібнику cформульовано основні положення безпечності систем залізничного транспорту критичного призначення, визначено термінологію та розглянуто принципи аналізу причин і наслідків порушень. Наведено приклади побудови програмних та апаратних рішень, включно з інтерфейсом безпечної взаємодії з об’єктами залізничної автоматики. Значну увагу приділено висвітленню питань ризик-менеджменту, сучасній концепції керування ризиками, методам аналізу та формування кількісних оцінок небезпек з використанням апарату дерев подій та пошкоджень. Насамперед посібник призначений для студентів, аспірантів, інженерів та викладачів комп’ютерних спеціальностей, навчання і професійна діяльність яких пов’язана із залізничним транспортом