Проверка моделей — эффективный метод формальной верификации. При несоответствии системы формальным требованиям, его выходными данными является последовательность состояний формальной модели, показывающая наличие ошибки (контрпример). Локализация же проблемы в системе — сложная задача, так как предполагает анализ такого контрпримера вручную. В работе предлагается метод автоматического объяснения контрпримера и визуализации причин несоответствия спецификации формальной модели киберфизической системы для формальных моделей стандарта IEC 61499.
Терещук М.А. (науч. рук. Овсянникова П.А., Вяткин В.В.) Визуализация причин несоответствия спецификации формальной модели киберфизической системы // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3210