Сборники тезисов • Информационные и интеллектуальные системы и технологии • Организация вычислительных систем и сетей
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.
Метод встроенного функционального мониторинга с динамической актуализацией модели поведения для систем на кристалле
УДК: 681.3
Аннотация:
Предложен оригинальный метод наблюдения (мониторинга) поведения систем на кристалле (СнК) в процессе натурных испытаний и эксплуатации с помощью встроенных средств СнК. В основе метода лежит прием динамической актуализации - уточнение эталонной функциональной модели системы, выполняемое в реальном времени. По сравнению с альтернативными решениями, метод ориентирован на длительные циклы мониторинга системы (дни, недели, месяцы), позволяет фиксировать последовательность событий, приводящую к сбою, имеет существенно сниженные требования к объемам инструментальной памяти встроенных в СнК агентов-мониторов. Метод может быть положен в основу механизма встроенной (post-silicon/runtime) верификации СнК.