МОНИТОР ВРЕМЕННЫХ ОГРАНИЧЕНИЙ ДЛЯ СИСТЕМ НА КРИСТАЛЛЕ
Университет ИТМО; студент
Быковский С. В.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; доцент
Кустарев П. В.
Университет ИТМО; доцент
Читать статью полностью
Аннотация. Предложен метод формального описания внутренних временных ограничений вычислительных систем на уровне отдельных коммуникационных операций (транзакций), ориентированный на снижение сложности аппаратного исполнения соответствующих встроенных средств мониторинга и диагностики. На базе предложенного подхода спроектировано IP-ядро монитора временных ограничений для систем на кристалле с топологией „общая шина“, приведены результаты его экспериментальной реализации на ПЛИС.
Ключевые слова:
монитор ограничений, система на кристалле, реальное время, LTL, PSL, RTL, SoC, TLM
