Search academic texts

Information × Registration Number 0412U000698, Candidate dissertation Status к.т.н. Date 02-03-2012 popup.evolution o Title The invariant-oriented information technology of independent verification of software for information control systems, critical to safety Author Sergiienko Volodymyr Volodymyrovych, popup.head Konorev Boris Mikhajlovich popup.opponent Федорович Олег Євгенович popup.opponent Одарущенко Олег Миколайович Description Об'єкт -процеси оцінки гарантоздатності й функціональної безпеки інформаційно-керуючих систем (ІКС) критичного застосування при кваліфікаційних випробуваннях; мета - забезпечення достовірних оцінок характеристик критичного ПЗ ІКС, що впливають на функціональну безпеку таких систем; новизна - вперше одержано метод доказової незалежної верифікації, заснований на перевірці збереження значень інваріантів; удосконалені метод «крапельної» ін’єкції тестових дефектів ПЗ та модель рамкової оцінки ймовірності прихованих дефектів критичного ПЗ ІКС; дістав подальшого розвитку метод model-checking верифікації; галузь - інформаційно-керуючі системи. Registration Date 2012-03-02 popup.nrat_date 2020-04-04 Close