DOI 10.17586/0021-3454-2015-58-3-197-202
УДК 681.3
МЕТОД ВСТРОЕННОЙ ДИНАМИЧЕСКОЙ АКТУАЛИЗАЦИИ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ НА КРИСТАЛЛЕ
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; доцент
Читать статью полностью
Аннотация. Представлен оригинальный метод генерации формальной модели реального функционирования системы на кристалле в процессе натурных испытаний или эксплуатации. Метод предусматривает реализацию на базе встроенных средств системы на кристалле. По сравнению с альтернативными решениями сущест-венно снижены требования к объему встроенной инструментальной памяти.
Ключевые слова: верификация, функциональная модель, сбой, система на кристалле, конечный автомат, структура Крипке.
