Search academic texts

Information × Registration Number 0413U002071, Candidate dissertation Status к.т.н. Date 22-03-2013 popup.evolution o Title Methods and information technology for assessing functional safety of information and control systems with the use of formal notations Author Netkachova Kateryna Igorivna, popup.head Kharchenko Vyacheslav Sereevich popup.opponent Шостак Ігор Володимирович popup.opponent Потій Ігор Володимирович Description Об'єкт - процеси оцінки функціональної безпеки інформаційно-керуючих систем. Мета - забезпечення достовірної оцінки функціональної безпеки критичного програмного забезпечення. Вперше розроблено модель оцінки функціональної безпеки інформаційно-керуючих систем, яка базується на сумісному використанні формальних нотацій, операціях фільтрації та конвертації. Удосконалено метод оцінки функціональної безпеки інформаційно-керуючих систем. Дістав подальшого розвитку метод оцінки інформаційної безпеки багатокомпонентних програмних систем. Галузь - інформаційні технології критичного застосування. Registration Date 2013-03-22 popup.nrat_date 2020-04-04 Close