ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

9
Содержание
том 64 / Сентябрь, 2021
СТАТЬЯ

DOI 10.17586/0021-3454-2015-58-3-197-202

УДК 681.3

МЕТОД ВСТРОЕННОЙ ДИНАМИЧЕСКОЙ АКТУАЛИЗАЦИИ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ НА КРИСТАЛЛЕ

Быковский С. В.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; доцент


Читать статью полностью 

Аннотация. Представлен оригинальный метод генерации формальной модели реального функционирования системы на кристалле в процессе натурных испытаний или эксплуатации. Метод предусматривает реализацию на базе встроенных средств системы на кристалле. По сравнению с альтернативными решениями сущест-венно снижены требования к объему встроенной инструментальной памяти.  
Ключевые слова: верификация, функциональная модель, сбой, система на кристалле, конечный автомат, структура Крипке.