Новости
Игорь Борисович Бурдонов
доктор физико-математических наук
ORCID: http://orcid.org/0000-0001-9539-7853 Scopus Author ID: 6602930101Должность
Ведущий научный сотрудник Института системного программирования РАН.
Контакты
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”
- Программная инженерия
- Труды Института системного программирования РАН
- X Российская конференция с международным участием «Новые информационные технологии в исследовании сложных структур» (ICAM 2014)
- XI Международная конференция «Новые информационные технологии в исследовании сложных структур» (ICAM 2016)
- И.Б. Бурдонов. Теория конформности (функциональное тестирование программных систем на основе формальных моделей). 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.
Приглашенные доклады на научных конференциях
Диссертации, защищенные под руководством И.Б. Бурдонова
Березин Евгений Герольдович «Языковые средства программирования в объектно-базированной среде КЛАСТОС», 1993Член ученых советов по защите диссертаций
Институт системного программирования РАН (ИСП РАН)Член редколлегии журналов
Член программных комитетов
Диссертация
И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Диссертация на соискание учёной степени д.ф.-м.н., Москва, 2008.