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

9
Содержание
том 60 / СЕНТЯБРЬ, 2017
СТАТЬЯ
УДК 681.327

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

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


Быковский С. В.
Университет ИТМО; аспирант


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


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

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