Институт системного программирования им. В.П. Иванникова РАН


Татарников Андрей Дмитриевич

Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций

Диссертация принята к защите

Искомая степень: Кандидат технических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2017-08-08.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2017-10-19.

Официальный оппонент: Лацис Алексей Оттович, доктор физико-математических наук (05.13.11).

Место работы, должность: ФГБУН ИПМ им. М. В. Келдыша РАН, заведующий сектором.

Основные публикации за последние 5 лет:

  1. А.О.Лацис, В. К. Левин. Перспективы развития суперкомпьютерной техники (по материалам лекции 27.08.2012, Дубна, MPAMCS-2012). Матем. моделирование, 2013, том 25, номер 11, страницы 128–136
  2. А.О.Лацис, Е. Ю. Карцева, А. В. Кашковский, А. В. Панасенко, Ю. П. Смольянов, В. В. Чернов, А. А. Шершнев. Применение гибридной вычислительной системы к решению прикладных задач аэрогазодинамики. Вестник Южно-Уральского государственного университета, 2014, т. 3, №2, серия «Вычислительная математика и информатика», с. 20-29
  3. А.О.Лацис, В. К. Левин, Б. Н. Четверушкин, Г. С. Елизаров, В. С. Горбунов, В. В. Корнеев, А. А. Соколов, Д. В. Андрюшин, Ю. А. Климов. Коммуникационная сеть МВС-Экспресс. "Информационные технологии и вычислительные системы" ОНИТ РАН, ISSN 2071-8632 №1, 2014г., с. 10-24.
  4. А.О.Лацис, Басс Л.П., Дбар С.А., Марков М.Б., Савельев Г.П., Смольянов Ю.П., Храмцов М.Ю. Опыт эксплуатации суперкомпьютера К-100 в Институте прикладной математики им. М.В. Келдыша РАН. Журнал «Информационные технологии и вычислительные системы» №2, 2016г., с. 5-12

Отзыв оппонента: Скачать

Официальный оппонент: Чибисов Петр Александрович, кандидат технических наук (05.13.11).

Место работы, должность: ФГУ ФНЦ НИИСИ РАН, заведующий сектором.

Основные публикации за последние 5 лет:

  1. Гревцев Н.А., Хисамбеев И.Ш., Чибисов П.А. Исследование способов повышения эффективности стохастического тестирования моделей микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2016. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2016. Часть II. С. 8-15.
  2. Хисамбеев И.Ш., Чибисов П.А. Об одном методе построения метрик функционального покрытия в тестировании микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть II. С. 63-68.
  3. Бобков С.Г., Чибисов П.А. Повышение качества тестирования высокопроизводительных микропроцессоров методами встречного тестирования с анализом функционального тестового покрытия выделенных приложений. // Информационные технологии, №8, 2013, с. 26-33.
  4. Аряшев С. И., Николина Н. В., Чибисов П. А. Организация регрессионного процесса тестирования RTL-моделей микропроцессоров // Параллельные вычисления и задачи управления. Сборник трудов конференции PACO’2012, с. 231-237.
  5. Чибисов П.А. Тестирование микропроцессоров и их RTL-моделей приложениями пользователя под OC Linux. // Программные продукты и системы, №3, 2012, с. 112-116.
  6. Николина Н.В., Чибисов П.А., Аряшев С.И. Современные тенденции оценки и контроля производительности микропроцессоров на стадии их разработки // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 489-494.
  7. Ровинский Е.В., Чибисов П.А. Запуск ОС Linux как этап функционального тестирования микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 125-128.

Отзыв оппонента: Скачать

Ведущая организация: АО "МЦСТ"

Контактные данные: 119991, Москва, Ленинский проспект, д. 51, +7 (495) 363 96 65, mcst@mcst.ru, http://mcst.ru/

Основные публикации за последние 5 лет:

  1. Stotland I., Kutsevol V., Meshkov A. Standalone Functional Verification of Multicore Microprocessor Memory Subsystem Units Based on Application of Memory Subsystem Models // Proc. Of IEEE East-West Design & Test Symposium (EWDTS'2015). 2015. P.326-329.
  2. М.В. Петроченков, И.А. Стотланд, Р.Е. Муштаков. Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров. // Труды Института системного программирования РАН. Том 28, выпуск 3, 2016 г. Стр. 161-172.
  3. Стотланд И.А., Шпагилев Д.И., Петроченков М.В. Особенности функциональной верификации контроллеров высокоскоростных каналов обмена микропроцессорных систем семейства «Эльбрус» // Вопросы радиоэлектроники, 2017. Сер. ЭВТ. Вып.2. С.69-76.
  4. В.Н. Куцевол, А.Н. Мешков, М.П Рыжов, П.В. Фролов Подход к верификации модуля прямого доступа к памяти // Труды Института системного программирования РАН. Том 27, выпуск 3, 2015 г. Стр. 139-148.
  5. В.С.Буренков Анализ применимости формальных методов к верификации протоколов когерентности кэш-памяти масштабируемых систем // Вопросы радиоэлектроники, 2015. Сер. ЭВТ. Вып.1. С.105-116
  6. Фролов П.В. Генерация случайных тестов системного уровня для микропроцессоров с архитектурой "Эльбрус" // Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Вып.3., 2014, С.38-45
  7. Буренков В.С. О консервативном преобразовании формальных моделей, используемых применительно к масштабируемым системам для верификации протоколов когерентности памяти // Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, 2016, стр.48-52
  8. Буренков В.С. Генератор тестов для верификации протокола когерентности кэш-памяти // Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, 2014, стр.56-63
  9. М.П. Рыжов. Система шаблонной генерации тестов // Вопросы радиоэлектроники серия ЭВТ, выпуск 3, 2013, стр.117-126

Отзыв ведущей организации: Скачать