Панфиленко В. П. Многоуровневое проектирование и проверка свойств структурированных параллельных схем программ

Объект исследования: Формализованные спецификации при многоуровневом проектировании классов алгоритмов и программ. Цель исследования: Формализация концепции согласованности спецификаций алгоритмов и программ; исследование свойств тупиковости и фиктивности и разработка средств их выявления в спецификациях параллельных программ. Методы исследования и аппаратура: Общая алгебра, теория формальных языков, теория алгоритмов, теория графов, теоретическое программирование. Теоретические результаты и новизна: Установлены критерии согласованности формализованных спецификаций алгоритмов и программ; проведено классификацию тупиков, установлено критерии тупиковости и фиктивности, доведено дуальность задач выявления тупиков и фиктивностей. Практические результаты и новизна: Разработано и реализовано анализатор тупиков и фиктивностей в спецификациях параллельных алгоритмов и программ. Предмет и степень внедрения: Анализатор использьван в системе поддержки многоуровневого проектирования мультипроцессит. Эффективность внедрения: Использование анализатора значительно облегчает и ускоряет выявление погрешностей в формализованных спецификациях. Сфера (область) использования: Средства для создания надежного программного обеспечения, системы верификации параллельных программ.