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


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

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

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

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

Специальность: 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

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

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 15 из 20 членов диссертационного совета: Аветисян А.И., Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Бобков С.Г., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Позин Б.А., Семенов В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать