name: Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем
keyword_list: тестирование интернет вещей конечный автомат логическая схема
abstract: Объект исследования: логические схемы. Цель работы: разработка математических, программных и аппаратных средств для анализа и синтеза логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем. Методы исследования: системный и сравнительный анализ, синтез, метод научной абстракции и аналогии. Полученные результаты и новизна: проведено экспериментальное сравнение качества тестов, построенных по логической схеме и модели (временного) конечного автомата, предложена методика построения тестов с гарантированной полнотой для логических схем на основе конечно-автоматных методов и верификаторов, в том числе относительно неисправностей, возникающих при замене вентиля схемы; предложен алгоритм синтеза тестов на основе логических схем, доставляющий тесты с гарантированной полнотой относительно неисправностей (временного) конечного автомата; предложена методика синтеза логической схемы по модели машинного обучения для проверки характеристик доверия к приложениям, выполняющимся на устройствах с ограниченными вычислительными возможностями. Область применения: тестирование дискретных систем, системы интернета вещей.
chairman_dissertation_council.name: Александр
chairman_dissertation_council.surname: Горцев
chairman_dissertation_council.patronymic: Михайлович
chairman_dissertation_council.position: Заведующий кафедрой
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: О-5828-2014
chairman_dissertation_council.scopus_author_id: 7003506641
chairman_dissertation_council.rinc_id: 180646
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Александр
organization_supervisor.surname: Ворожцов
organization_supervisor.patronymic: Борисович
organization_supervisor.position: Проректор по НИД
organization_supervisor.territory: РОССИЯ
rubrics.code: 28.23.33
rubrics.name: Аппаратная реализация интеллектуальных систем
rubrics.code: 28.29.01
rubrics.name: Общие вопросы
rubrics.code: 28.25.15
rubrics.name: Анализ и синтез конечных автоматов
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Системный анализ, управление и обработка информации (по отраслям)
speciality_codes.code: 05.13.01
supervisors.fio: Евтушенко Н.В.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
supervisors.responsible_type: Научный руководитель
opponents.fio: Матросова А.Ю.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Системный анализ, управление и обработка информации (по отраслям)
opponents.responsible_type: Оппонент
opponents.fio: Бурдонов И.Б.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
opponents.fio: Бразовский К.С.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Приборы, системы и изделия медицинского назначения
opponents.responsible_type: Оппонент
protection_organization.short_name: Томский государственный университет, ТГУ
protection_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский государственный университет"
protection_organization.ogrn: 1027000853978
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: Томский государственный университет, ТГУ
author_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Томский государственный университет"
author_organization.ogrn: 1027000853978
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения