Burdonov

Игорь Борисович Бурдонов

доктор физико-математических наук

Должность

Ведущий научный сотрудник Института системного программирования РАН.

Контакты

E-mail: igor@ispras.ru
Адрес: 109004, Москва, А.Солженицына, 25.

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

• Формальные спецификации;
• Генерация тестов;
• Технология компиляции;
• Системы реального времени;
• Операционные системы;
• Объектно-ориентированное программирование;
• Сетевые протоколы;
• Процессы разработки программного обеспечения.

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

Окончил физ.-мат. школу №444. Выпускник мехмата МГУ 1971 г. Работал в Институте Точной Механики и Вычислительной Техники (ИТМиВТ АН СССР) в 1971-1980 гг. Занимался операционной системой периферийной машины многомашинного вычислительного комплекса АС-6. Участник подготовки и обеспечения управления полётом космических кораблей «Союз-Аполлон». Кандидат физ.-мат. наук (1979 г.), старший научный сотрудник. С 1980 г. работал в НИИ «Дельта» в коллективе, который под руководством академика А.А.Мельникова создавал суперкомпьютер «Электроника-СС-БИС». Позже, в Институте Проблем Кибернетики (ИПК АН СССР) руководил созданием кластерной операционной системы. В настоящее время работает ведущим научным сотрудником в Институте Системного Программирования (ИСП РАН). Занимался сначала практикой, а затем математической теорией верификации программ на основе формальных спецификаций.

Проекты РФФИ, возглавляемые И.Б. Бурдоновым

• Проект 06-01-00503 А. Разработка технологии добычи данных (data mining) в приложении к построению систем поддержки принятия решений
• Проект 11-07-00084 А. Конечная полная верификация обобщенной конформности распределенных систем
• Проект 14-07-00491 А. Исследование графов коллективом автоматов

Патенты

• System and Method for Producing a Verification System for Verifying Procedure Interfaces (Frame patent.) WO2001022228 A1 от 29 марта 2001.
• Method and system for testing behavior of procedures. CA2319718 A1 от 17 марта 2001.
• Method and system for testing behavior of procedures. EP1085418 A2 от 21 марта 2001.
• Method and system for testing behavior of procedures. EP1085418 A3 от 11 декабря 2002.
• Method and system for testing behavior of procedures. US6698012 B1 от 24 февраля 2004.
• Compiler and method for compiling specification language into implementation language. CA 2319719 A1 от 17 марта 2001.
• Compiler and method for compiling specification language into implementation language. EP1089172 A2 от 4 апреля 2001.
• Compiler and method for compiling specification language into implementation language. EP1089172 A3 от 29 октября 2003.
• Method and system for forming skeletons for generating verification systems. CA 2319721 A1 от 17 марта 2001.
• Method and system for forming skeletons for generating verification systems. EP1085417 A2 от 21 марта 2001
• Method and system for forming skeletons for generating verification systems. EP1085417 A3 от 27 ноября 2002
• Method and system for forming skeletons for generating verification systems. US6898784 B1 от 24 мая 2005.
• Method and system for describing predicates in disjuncts in procedures for test coverage estimation. CA 2319725 A1 от 17 марта 2001.
• Method and system for describing predicates in disjuncts in procedures for test coverage estimation. EP1085419 A2 от 21 марта 2001
• Method and system for describing predicates in disjuncts in procedures for test coverage estimation. EP1085419 A3 от 4 декабря 2002
• Method and system for describing predicates in disjuncts in procedures for test coverage estimation. US6697961 B1 от 24 февраля 2004.

Приглашенные доклады на научных конференциях

• 2016. 11-ая Международная конференция «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2016) «Обобщенная модель системы автоматов»
• 2015. The 2nd International Summer School on Information Technologies for Complex System Analysis and Synthesis (IT CoSAS) «Dynamically Changing Graph Monitoring»
• 2014. 10-ая Российская конференция с международным участием «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2014) «Развитие теории конформности: семантики, формальные модели, алгоритмы»
• 2012. 9-ая Российская конференция с международным участием «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2012) «Финальные модели спецификаций и реализаций»
• 2011. The 7-th TAROT Summer School on Software Testing, Verification & Validation “Interaction Semantics with Refusals, Divergens and Destruction”

Диссертации, защищенные под руководством И.Б. Бурдонова

Березин Евгений Герольдович «Языковые средства программирования в объектно-базированной среде КЛАСТОС», 1993

Член ученых советов по защите диссертаций

Институт системного программирования РАН (ИСП РАН)

Член редколлегии журналов

• Программная инженерия
• Труды Института системного программирования РАН

Член программных комитетов

• X Российская конференция с международным участием «Новые информационные технологии в исследовании сложных структур» (ICAM 2014)
• XI Международная конференция «Новые информационные технологии в исследовании сложных структур» (ICAM 2016)

Диссертация

И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей.  Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008.

Монографии

• И.Б. Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей).  LAP Lambert Academic Publishing, 2011.
• И.Б.Бурдонов, Косачев А.С., В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением.  М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 c.

Другие публикации

• Бурдонов И. Б., Косачев А. С., Кулямин В. В.  Исследование графа набором автоматов. Программирование, 41(6):3-7, 2015.
• Бурдонов И. Б., Косачев А. С., Кулямин В. В.  Параллельные вычисления на графе.  Программирование, 41(1):3-17, 2015.
• Игорь Бурдонов, Александр Косачев  Обход неизвестного графа коллективом автоматов. Недетерминированный случай  Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г. Стр. 51-68.
• Игорь Бурдонов, Александр Косачев  Мониторинг динамически меняющегося графа  Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г. Стр. 69-96.
• Игорь Бурдонов, Александр Косачев  Параллельные вычисления на динамически меняющемся графе  Труды Института системного программирования РАН Том 27. Выпуск 2. 2015 г. Стр. 189-220.
• I.Burdonov, A. Kossachev, V. Kuliamin.  Building direct and back spanning trees by automata on a graph.   French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
• I.Burdonov, A. Kossachev, N. Yevtushenko.  Deriving complete finite tests based on state machines.   Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.
• И.Б. Бурдонов, А.А. Косачев.  Исследование графа взаимодействующими автоматами.  Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №3, 2014, стр. 67-75.
• И.Б. Бурдонов, А.А. Косачев.  Исследование графа взаимодействующими автоматами.  Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48.
• Burdonov, A. Kossachev, V. Kuliamin.  Parallel calculations by automata on direct and back spanning trees of a graph.   French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
• И.Б. Бурдонов, А.С. Косачев.  Развитие теории конформности: семантики, формальные модели, алгоритмы.  Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 27-72.
• Игорь Бурдонов, Александр Косачев.  Обход неизвестного графа коллективом автоматов.  Труды Института системного программирования РАН Том 26. Выпуск 2. 2014 г. Стр. 43-86.
• Игорь Бурдонов, Александр Косачев.  Построение прямого и обратного остовов автоматами на графе.  Труды Института системного программирования РАН Том 26. Выпуск 6. 2014 г. Стр. 57-62.
• Игорь Бурдонов, Александр Косачев, Виктор Кулямин.  Параллельные вычисления автоматами на прямом и обратном остовах графа.  Труды Института системного программирования РАН Том 26. Выпуск 6. 2014 г. Стр. 63-66.
• Бурдонов И.Б., Косачев А.С.  Согласование конформности и композиции.  Программирование, 2013, №6–стр. 3-15.
• Бурдонов И.Б., Косачев А.С.  Обход неизвестного графа коллективом автоматов.  Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, Изд. МГУ.

• Бурдонов И.Б., Косачев А.С.  Формализация тестового эксперимента –II.  Программирование, 2013, №4–стр. 3-27

• Бурдонов И.Б., Косачев А.С.  Обход неизвестного графа коллективом автоматов.  Труды Международной суперкомпьютерной конференции Научный сервис в сети Интернет: все грани параллелизма. 2013, изд. МГУ, стр. 228-232.
• Бурдонов И.Б., Косачев А.С.  Согласование конформности и композиции.  Программирование. № 6.
• Бурдонов И.Б., Косачев А.С.  Финальные модели спецификаций и реализаций.  Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
• Бурдонов И.Б., Косачев А.С.  Удаление из спецификации неконформных трасс.  Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
• И. Бурдонов, А. Косачев.  Финальные модели спецификации.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 233-280.

• Игорь Бурдонов, Александр Косачев.  Зависимости между ошибками на класах тестируемых реализаций.  Труды Института системного программирования РАН Том 23. 2012 г. Стр. 323-358.
• Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С., Сортов А.А.  Параллельное тестирование больших автоматных моделей.  Вестник ННГУ, №3, 2011 г., стр. 187-193.
• Бурдонов И.Б., Косачев А.С.  Пополнение спецификации для ioco.  Программирование. № 1.
• И.Б.Бурдонов, А.С.Косачев.  Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования  Вестник Томского Государственного Университета, № 2(15), 2011.
• И.Б.Бурдонов, В.П.Иванников, А.С.Косачев.  Проект КЛАСТОС.  Труды Sorucom-2011. Великий Новгород, 12–16 сентября, 2011.
• И.Б.Бурдонов, А.С.Косачев,  Безопасное тестирование симуляции систем с отказами и разрушением.  Моделирование и анализ информационных систем, Том 17, Номер 4, 2010. стр. 27—40.
• A. Kossachev, I.Burdonov.  Formal Conformance Verifcation.   Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.
• А . С . Косачев , И . Б . Бурдонов , С . Г . Грошев , А . С . Камкин , А . А . Сортов .  Параллельное тестирование больших автоматных моделей.  Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.
• А.С. Косачев, И.Б.Бурдонов.  Семантики взаимодействия с отказами, дивергенцией и разрушением.  "Программирование", -2010, №5–стр 3-23.
• И.Б.Бурдонов, А.С.Косачев,  Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность.  Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4, 2010, стр.124-133.
• А.С. Косачев, И.Б.Бурдонов.  Симуляция систем с отказами и разрушением.  5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.
• А.С. Косачев, И.Б.Бурдонов.  Тестирование безопасной симуляции.  5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.
• А.С. Косачев, И.Б.Бурдонов.  Тестирование с преобразованием семантик.  Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424.
• А.С. Косачев, И.Б.Бурдонов, П.Н.Яковенко.  Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы.  Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010.
• И.Б. Бурдонов, А.С. Косачев.  Тестирование конформности на основе соответствия состояний.  Труды Института системного программирования РАН Том 18. 2010 г. Стр. 183-220.
• И.Б. Бурдонов, А.С. Косачев.  Аналитическая верификация конформности.  Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.
• А.С. Косачев, И.Б.Бурдонов, П.Н. Яковенко.  Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе.  Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2009. – С. 38-39.
• И.Б. Бурдонов, А.С. Косачев.  Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Программирование, 2009, №6–стр 3-18.
• И.Б. Бурдонов, А.С. Косачев.  Системы с приоритетами: конформность, тестирование, композиция.  Программирование, 2009, №4–стр. 24-40.
• И.Б. Бурдонов, А.С. Косачев.  Тестирование конформности с открытым состоянием.  Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 265-269.
• A. Kossachev, I. Burdonov, P.Iakovenko.  Virtualization-based separation of privilege: working with sensitive data in untrusted environment.   Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems,2009, pp.1-6.
• И.Б. Бурдонов, А.С. Косачев.  Полное тестирование с открытым состоянием ограниченно недетерминированных систем.  Труды Института системного программирования РАН Том 17. 2009 г. Стр. 161-192.
• И.Б. Бурдонов, А.С. Косачев.  Полное тестирование с открытым состоянием ограниченно недетерминированных систем.  Труды Института системного программирования РАН Том 17. 2009 г. Стр. 193-208.
• И.Б. Бурдонов, А.С. Косачев.  Обобщённые семантики тестового взаимодействия.  Труды Института системного программирования РАН Том 15. 2008 г. Стр. 69-105.
• И.Б. Бурдонов, А.С. Косачев.  Системы с приоритетами: конформность, тестирование, композиция.  Труды Института системного программирования РАН Том 14. Часть 1. 2008 г. Стр. 23-54.
• И.Б. Бурдонов, А.С. Косачев.  Эквивалентные семантики взаимодействия.  Труды Института системного программирования РАН Том 14. Часть 1. 2008 г. Стр. 55-72.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.  Безопасность, верификация и теория конформности.  "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.  Формализация тестового эксперимента.  Программирование, №5, 2007, стр. 3-32.
• I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Proceedings of the Workshop on Model Based Testing (MBT 2004), Elsevier, 2006.
• И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман  Обзор подходов к верификации распределенных систем. Препринт 16. М.: ИСП РАН, 2006, стр. 61.
• И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко.  Операционные системы реального времени.  Препринт Института системного программирования РАН, №14, 2006.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.  Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай.  Программирование, №1, 2004,стр. 4-24.
• И.Б.Бурдонов.  Обход неизвестного ориентированного графа конечным роботом.  Программирование, №4, 2004.
• И.Б.Бурдонов.  Проблема отката по дереву при обходе неизвестного ориентированного графа конечным роботом. Программирование, №6, 2004.
• A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов.  Подход UniTesK к разработке тестов: достижения и перспективы.  Труды Института системного программирования РАН Том 5. 2004 г. Стр. 121-156.
• V.V.Kuliamin, A.K.Petrenko, N.V.Pakoulin, A.S.Kossatchev, I.B.Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems.   Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.  Неизбыточные алгоритмы обхода графов: детерминированный случай. Программирование, Вып.29, №5, 2003, стр. 59-69.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко.  Подход UniTesK к разработке тестов.  Программирование, №6, 2003, стр. 25-43.
• V.Kuliamin, A.Petrenko, A.Kossatchev, I.Bourdonov.  UniTesK: Model Based Testing in Industrial Practice.   Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.
• И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин.  Асинхронные автоматы: классификация и тестирование.  Труды Института системного программирования РАН Том 4. 2003 г. Стр. 7-83.
• I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko.  UniTesK Test Suite Architecture.   Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
• I.B.Bourdonov, A.V.Demakov, A.A.Jarov, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko, and S.V.Zelenov.  Java Specification Extension for Automated Test Development.   Proceedings of PSI'01. LNCS 2244, pp. 301-307. Springer-Verlag, 2001.
• И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.  Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
• И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко.  Формальные спецификации в технологиях обратной инженерии и верификации программ.  Труды Института системного программирования РАН Том 1. 2000 г. Стр. 39-54.
• I.Burdonov, A.Kossatchev, A.Petrenko, D.Galter.  KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.
• А.В. Баранцев, Е. Бритвина, И.Б. Бурдонов, А.С. Косачев, С.В. Гоманюк, А.В. Демаков, А.В. Иванов , А.В. Максимов, А.К. Петренко, Ю.Л. Сазанов , А.А. Сортов, В. П. Стефанов, Г. М. Сумар.  Архитектура системы генерации тестов. Вопросы кибернетики. Москва, 1998.
• I.Burdonov, A.Kossatchev, S.Cheng, H.Wong.  Formal Specification and Verification of SOS Kernel.   BNR/NORTEL Design Forum, June 1996.