Сборники трудов ИСП РАН


Виктор Петрович Иванников

академик РАН, доктор физико-математических наук, профессор

(27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва)

Виктор Петрович Иванников, академик РАН, профессор
ORCID: http://orcid.org/0000-0002-8461-942X
Scopus Author ID: 7006536801
Researcher ID: N-1714-2015


Области научных интересов:

Системное программирование;
Архитектура вычислительных машин;
Операционные системы.





Краткая биография

Окончил среднюю школу в г. Каменск-Уральский Свердловской обл. (1957), Московский физико-технический институт по специальности «математические счетно-решающие приборы и устройства» (1963). Кандидат физико-математических наук (1971), доктор физико-математических наук (1980), профессор (1986). Действительный член РАН (2008, член-корреспондент РАН с 1991, член-корреспондент АН СССР с 1984). Лауреат Государственной премии СССР (1980).

Работал в МГУ им. М.В. Ломоносова с 1979 г. на кафедре АСВК в должностях: старшего преподавателя (1979-1985), доцента (1985-1986), профессора (с 1986). Заведовал кафедрами системного программирования на факультете ВМК (с 1994 г.) и в МФТИ (с 1996 г.). 

Работал главным редактором журнала «Программирование». Был членом международных научных сообществ ACM, IEEE Computer Society; возглавлял Российское отделение IEEE Computer Society.

Научные достижения

С 1962 по 1980 гг. В.П. Иванников работал в Институте точной механики и вычислительной техники им. С.А. Лебедева, где прошел путь от техника до одного из ведущих специалистов. Внес фундаментальный вклад в создание теории и в практику разработки операционных систем ЭВМ и вычислительных комплексов. Стал одним из основных участников создания первой операционной системы (Д-68) для ЭВМ БЭСМ-6. Именно В.П. Иванников предложил операционные средства организации параллельных процессов в задачах и иерархической организации программных комплексов. Эти принципы, реализованные в следующей модификации операционной системы (НД-70) для БЭСМ-6, легли в основу его кандидатской диссертации.

В.П. Иванников – один из основных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6, руководитель и активный участник создания и внедрения операционной системы неоднородной локальной сети ЭВМ на базе комплекса АС-6 (этой проблематике посвящена его докторская диссертация). Ему принадлежит существенная роль в создании вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полетами космических аппаратов.

В 1980-х гг. В.П. Иванников, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 гг. заведовал отделением Института проблем кибернетики РАН.

В.П. Иванников стал первым директором Института системного программирования РАН со времени образования ИСП в январе 1994 г. Его исследования конца 1990-х - начала 2000-х гг. связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, инструментальной системы для изучения унаследованного программного обеспечения, а также с обеспечением интероперабельности в распределенных объектно-ориентированных системах. В.П. Иванников возглавлял рабочую группу DOOS (распределенные объектно-ориентированные системы) в ИСП РАН.

Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения. Основные научные труды:

  • Система математического обеспечения БЭСМ-6 (1967);
  • Вычислительная машина БЭСМ-10. Аппаратура. Эскизный проект (1973);
  • Архитектура операционной системы суперЭВМ (1984).

Преподавательская деятельность

Читал лекционные курсы: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки».

Подготовил 5 докторов и 30 кандидатов наук.

Публикации

2016

  • Belevantsev, A.A.,Veselevich, E.A.,Ivannikov, V.P. Analysis of entities in C and C++ programs and relations between them for program understanding. Programming and Computer Software, Volume 42, Issue 1, January 2016. pp 49-53.

2015

  • А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов. "Модель представления данных при проведении глубокого анализа сетевого трафика", Труды Института системного программирования РАН, том 27, 2015г., выпуск 4.

2014

  • Иванников Виктор, Белеванцев Андрей, Бородин Алексей, Игнатьев Валерий, Журихин Дмитрий, Аветисян Арутюн, Леонов Максим. Статический анализатор Svace для поиска дефектов в исходном коде программ. 2014, Труды Института Системного Программирования, 1, 26, 231-250.
  • Иванников Виктор, Белеванцев Андрей, Нурмухаметов Алексей, Савченко Валерий, Матевосян Рипсиме, Аветисян Арутюн, Курмангалеев Шамиль. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM. 2014, Труды Института Системного Программирования, 1, 26, 327-342.

2013

  • Кудрявцев Александр, Кошелев Владимир, Избышев Алексей, Дудина Ирина, Аветисян Арутюн, Иванников Виктор, Велихов В., Рябинкин Е. Разработка и реализация облачной системы для решения высокопроизводительных задач. 2013, Труды Института Системного Программирования, 24, 13-34.
  • Иванников Виктор, Петренко Александр, Кулямин Виктор, Максимов Андрей. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. 2013, Труды Института Системного Программирования, 24, 207-218.
  • Иванников Виктор, Петренко Александр, Кулямин Виктор, Максимов Андрей. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. 2013, Труды Института Системного Программирования, 24, 207-218.

2011

  • Иванников Виктор, Косачев Александр, Кузнецов Сергей, Томилин Александр, Бурдонов Игорь. Operating System of the Multi-machine Computer AS-6. 2011, Perspectives on Soviet and Russian Computing, 357, 31-35.
  • Бурдонов Игорь, Иванников Виктор, Косачев Александр. Проект КЛАСТОС. 2011, Труды SORUCOM-2011. Великий Новгород, 12–16 сентября, 2011, 76-82
  • Иванников Виктор, Петренко Александр. Модели в разработке и анализе программных систем. 2011, Сборник тезисов XVIII Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2011».

2007

  • Иванников Виктор, Камкин Александр, Косачев Александр, Кулямин Виктор, Петренко Александр. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. 2007, Программирование, 5, 47-61.

2006

  • Иванников Виктор, Петренко Александр. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. 2006, Труды Института Системного Программирования, 10, 9-14.
  • Иванников Виктор, Гайсарян Сергей, Аветисян Арутюн, Падарян Вартан. Оценка динамических характеристик параллельной программы на модели. 2006, Программирование, 4.

2005

  • Иванников Виктор, Камкин Александр, Кулямин Виктор, Петренко Александр. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. 2005, Препринт Института системного программирования РАН.

2004

  • Иванников Виктор, Гайсарян Сергей, Аветисян Арутюн, Бабкова Варвара, Падарян Вартан. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. 2004, Труды Института Системного Программирования, 5, 41-62.

2001

  • Иванников Виктор, Гайсарян Сергей, Антипин К., Рубанов Владимир. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. 2001, Труды Института Системного Программирования, 2, 89-114.

2000

  • Иванников Виктор, Дышлевой К., Манжелей С., Соловская Л., Шебуняев А.. Распределенные объектно-ориентированные системы. 2000, Труды Института Системного Программирования, 1, 100-121.