Куланов В. О. Методи та засоби розробки відмовостійких систем на ПЛІС з автоматно-мовною диверсністю

Об'єкт дослідження - процеси розробки та оцінювання надійності цифрових систем на ПЛІС, багатоверсійні системи на ПЛІС критичного застосування. Мета дослідження - підвищення надійності цифрових систем на ПЛІС шляхом використання принципів автоматно-мовної диверсності. Методи дослідження - методи теорії скінчених автоматів, синтезу цифрових систем, теорії надійності та технічної діагностики, статистичного моделювання. Теоретичні і практичні результати - підвищена надійність, розроблена методики синтезу та оцінки багатоверсійних цифрових автоматів на ПЛІС, створені інструментальні засоби аналізу версій. Новизна - вперше розроблено метод синтезу багатоверсійних цифрових автоматів на ПЛІС з автоматно-мовної диверсністю; удосконалено моделі багатоверсійних цифрових автоматів; удосконалено модель життєвого циклу багатоверсійних систем на ПЛІС; дістав подальшого розвитку метод оцінки диверсності багатоверсійних систем на ПЛІС. Ступінь впровадження: НТСКБ "Полісвіт" державного науково-виробничого об'єднання "Комунар" (м. Харків), Національний аерокосмічний університет ім. М.Є.Жуковського "ХАІ" (м. Харків). Сфера використання: системи критичного застосування на ПЛІС.