16 февраля: Методы и средства верификации протоколов когерентности памяти

Буренков Владимир Сергеевич

Буренков Владимир Сергеевич

Буренков Владимир Сергеевич — научный сотрудник АО «МЦСТ». В 2012 году окончил факультет «Информатика и системы управления» МГТУ имени Н.Э. Баумана (магистр техники и технологий по направлению «Информатика и вычислительная техника»).

В докладе будет рассмотрена проблема верификации протоколов когерентности памяти масштабируемых промышленно разрабатываемых микропроцессорных систем. Представлен новый метод параметризованной верификации протоколов когерентности памяти, основанный на преобразованиях моделей протоколов когерентности памяти, написанных на языке Promela. Предложена методика верификации протоколов когерентности памяти, представляющая весь процесс верификации, который начинается написанием исходных формальных моделей протоколов когерентности и заканчивается проведением параметризованной верификации протоколов когерентности. Описана разработанная система верификации протоколов когерентности памяти и рассказано об опыте ее использования для верификации протокола когерентности памяти 16-ядерной системы из микропроцессоров «Эльбрус-4С».

Доклад состоится 16 февраля 2017 года в 17:00 в Институте системного программирования РАН. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>