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

9
Содержание
том 63 / Сентябрь, 2020
СТАТЬЯ
УДК 681.327

МОНИТОР ВРЕМЕННЫХ ОГРАНИЧЕНИЙ ДЛЯ СИСТЕМ НА КРИСТАЛЛЕ

Антонов А. А.
Университет ИТМО; студент


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


Кустарев П. В.
Университет ИТМО; доцент


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

Аннотация. Предложен метод формального описания внутренних временных ограничений вычислительных систем на уровне отдельных коммуникационных операций (транзакций), ориентированный на снижение сложности аппаратного исполнения соответствующих встроенных средств мониторинга и диагностики. На базе предложенного подхода спроектировано IP-ядро монитора временных ограничений для систем на кристалле с топологией „общая шина“, приведены результаты его экспериментальной реализации на ПЛИС.
Ключевые слова:
монитор ограничений, система на кристалле, реальное время, LTL, PSL, RTL, SoC, TLM