Ivannikov Institute for System Programming of the RAS


Igor B. Burdonov

Doctor of Physics and Mathematicsк

Igor B. Burdonov ORCID: http://orcid.org/0000-0001-9539-7853
Scopus Author ID: 6602930101

Position

Leading Researcher of the Institute for System Programming of the RAS.

Contacts

E-mail: igor@ispras.ru
Address:109004, Moscow, Alexander Solzhenitsyn st., 25.




Research Interests

  • Formal Specification;
  • Test Generation;
  • Compilation Technology;
  • Real-Time Systems;
  • Operating Systems;
  • Object-Oriented Programming;
  • Network Protocols;
  • Software Development Processes.

Biography

1994 – now. The Institute for System Programming of the Russian Academy of Sciences, Moscow , Russia. Position: Leading researcher. Development of the conformance theory in various directions and, in the whole, was characterized by generalization of the interaction semantics, models and conformances in use. The necessity of such generalization was imposed, first of all by requirements of testing practice. It is true for such system properties as nondeterminism, partial specified, asynchronous behavior, diversity of test stimuli and observations of the implementation behavior etc. It was always focused on testing effectiveness defined both by optimization of tests suites and by test generation algorithms including on-the-fly. Development of a platform for the integration and testing of perspective methods of verification of the component systems. Development methods of specification and testing, that take into account features of target system and implementation programming languages. the method concepts, specification extensions of various programming languages, unified test suite architecture By now, developed methods are tried out on testing of:

  • operating system kernels;
  • runtime systems for compilers and text processors;
  • compilers, from syntactic and semantic analyzers to optimizators and code generators;
  • implementations of telecommunication protocols;
  • components with standardized interface (COM, CORBA, .NET, EJB).
  • The works were supported by RAS Presidium program, RFBR grants, Nortel Networks, INTEL, Microsoft Research, Samsung.

    1991 – 1994. The Institute of Cybernetics Problems of the Russian Academy of Sciences, Moscow , Russia, 1991. Position: Chief of laboratory. Designing and implementation mobile object-oriented operating system CLUSTOS; designing the extension of programming language C for needs of CLUSTOS; designing and implementation UNIX binary emulation in environment of CLUSTOS.

    1980 – 1991. Scientific Research Institute "Delta". Moscow, Russia. Position: Chief of laboratory. Designing, implementation and maintenance some components of system software for supercomputer like CRAY-1 (Electronica SS-BIS): network's protocols, modification of an operating system of front-end processor.

    1971 – 1980. The Institute of Precise Mechanic and Computers of the Academy of Sciences, USSR. Moscow, Russia. Position: Senior researcher. Designing, implementation and maintenance some components of system software for multicomputer system AS-6 for Soviet Space Control Center: LAN software, the operating system of front-end processor.

    1966 – 1971. M. V. Lomonosov Moscow State University (MSU) Faculty of Mechanics and Mathematics. Speciality: mathematics. Qualification: mathematician.

    RFBR Projects leading by I. Burdonov

    • Project 06-01-00503 А. Application of Data Mining for decision support
    • Project 11-07-00084 А. Terminating complete verification of generalized conformance of distributed systems
    • Project 14-07-00491 А. Graph learning by a set of automata

    Patents

    • System and Method for Producing a Verification System for Verifying Procedure Interfaces (Frame patent.) WO2001022228 A1, 29.03.2001.
    • Method and system for testing behavior of procedures. CA2319718 A1, 17.03.2001.
    • Method and system for testing behavior of procedures. EP1085418 A2, 21.03.2001.
    • Method and system for testing behavior of procedures. EP1085418 A3, 11.12.2002.
    • Method and system for testing behavior of procedures. US6698012 B1, 24.02.2004.
    • Compiler and method for compiling specification language into implementation language. CA 2319719 A1, 17.03.2001.
    • Compiler and method for compiling specification language into implementation language. EP1089172 A2, 04.042001.
    • Compiler and method for compiling specification language into implementation language. EP1089172 A3, 29.10.2003.
    • Method and system for forming skeletons for generating verification systems. CA 2319721 A1, 17.03.2001.
    • Method and system for forming skeletons for generating verification systems. EP1085417 A2, 21.03.2001
    • Method and system for forming skeletons for generating verification systems. EP1085417 A3, 27.12.2002
    • Method and system for forming skeletons for generating verification systems. US6898784 B1, 24.05.2005.
    • Method and system for describing predicates in disjuncts in procedures for test coverage estimation. CA 2319725 A1, 17.03.2001.
    • Method and system for describing predicates in disjuncts in procedures for test coverage estimation. EP1085419 A2, 21.03.2001
    • Method and system for describing predicates in disjuncts in procedures for test coverage estimation. EP1085419 A3, 04.12.2002
    • Method and system for describing predicates in disjuncts in procedures for test coverage estimation. US6697961 B1, 24.02.2004.

    Invited lectures

    • 2016. ICAM-2016. «Generalized Model of Automata System»
    • 2015. The 2nd International Summer School on Information Technologies for Complex System Analysis and Synthesis (IT CoSAS) «Dynamically Changing Graph Monitoring»
    • 2014. ICAM2014. «The Development of the Conformity Theory: Semantics, Formal models, Algorithms»
    • 2012. ICAM2012 «The final models of specification and implementation»
    • 2011. The 7-th TAROT Summer School on Software Testing, Verification & Validation “Interaction Semantics with Refusals, Divergens and Destruction”

    Former Ph.D. Student

    Evgeny Berezin. «Language Programming Tools in KLASTOS Object-Based Environment», 1993.

    Ph.D. Thesis Committees

    • Institute for System Programming (ISPRAS)

    Member of Editor-Board

    • Software Engineering (Porgrammnaya inzheneria), in Russian
    • Proceedings of the Institute for System Programming of the RAS, in Russian and English

    Program Committee Member

    • ICAM 2016
    • ICAM 2014

    Dissertation

    Igor B. Burdonov. Conformal theory for functional testing of program system based on formal models. Diss. Institute for System Programming of the Russian Academy of Sciences, 2008.

    Monographs

    • Burdonov, Igor. Theory of Conformity (functional testing of program systems based on formal models). LAP Lambert Academic Publishing, 2011.
    • Burdonov, I.B., A.S. Kosachev, and V.V. Kulyamin. Theory of correspondences for systems with blocking and destruction. Moscow.: Nauka, 2008. 412 p.

    Other publications