Burdonov

Igor B. Burdonov

Doctor of Physics and Mathematicsк

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

• I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Analysis of a Graph by a Set of Automata. Programming and Computer Software, 41(6):307-310, 2015.
• I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Parallel computations on a graph. Programming and Computer Software, 41(1):1-13, 2015.
• Igor Burdonov, Alexander Kosachev Graph learning by a set of automata. The nondeterministic caseProceedings of the Institute for System Programming, Volume 27 (Issue 1). 2015. pp. 51-68
• Igor Burdonov, Alexander Kosachev Monitoring of dynamically changed graph Proceedings of the Institute for System Programming, Volume 27 (Issue 1). 2015. pp. 69-96.
• Igor Burdonov, Alexander Kossatchev Parallel Calculations on Dynamic Graph Proceedings of the Institute for System Programming, Volume 27 (Issue 2). 2015. pp. 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.
• Igor Burdonov, Alexander Kossatchev. Graph learning by interacting automata. Tomsk state university journal of control and computer science, №3, 2014, pp. 67-75. Print.
• Igor Burdonov, Alexander Kossatchev. Graph learning by interacting automata.New information technics for complex structure learning. Proceeding of 10-th Russian conference. 2014, Tomsk state university publ., pp.47-48. Print.
• 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.
• Igor Burdonov, Alexander Kossatchev. Conformance theory development: semantics, formal models, algorithms. Proceedings of the Institute for System Programming, Volume 26 (Issue 1). 2014. pp. 27-72.
• Igor Burdonov, Alexander Kosachev. Graph learning by a set of automata.Proceedings of the Institute for System Programming, Volume 26 (Issue 2). 2014. pp. 43-86.
• Igor Burdonov, Alexander Kossachev. Building direct and back spanning trees by automata on a graph.Proceedings of the Institute for System Programming, Volume 26 (Issue 6). 2014. pp. 57-62
• Igor Burdonov, Alexander Kossachev, Victor Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. Proceedings of the Institute for System Programming, Volume 26 (Issue 6). 2014. pp. 63-66
• Bourdonov, I. B., and A. S. Kossatchev. An unknown graph traversing by collective of automata. Proceedings of the International Supercomputer Conference Scientific service in the internet: all facets of parallelism. Moscow: Moscow State University Press, 2013. 228-232.
• Bourdonov, I. B., and A. S. Kossatchev. Formalization of a Test Experiment-II. Programming and Computer Software, 39.4(2013). 163-181.
• Igor Burdonov, Alexander Kosachev. The final models of specification. Proceedings of the Institute for System Programming, Volume 22. 2012. pp. 233-280.
• Igor Burdonov, Alexander Kosachev. Error dependencies on classes of implementations under testing. Proceedings of the Institute for System Programming, Volume 23. 2012. pp. 323-358.
• B. Bourdonov, V. P. Ivannikov, A.S.Kosachev, S. D. Kuznetsov A. N. Tomilin Operating System of the Multi-machine Computer AS-6.Perspectives on Soviet and Russian Computing. IFIP Advances in Information and Communication Technology, 2011, Volume 357/2011, pp. 31-35.
• I.B.Bourdonov, A.S.Kossatchev. Safe simulation testing of systems with refusals and destructions. Automatic Control and Computer Sciences, Vol. 45, №7, 2011, pp. 380-389.
• Burdonov I., Ivannikov V., Kosachiov A. The KLASTOS Project SORUCOM-2011 Proceedings,12–16 September, 2011, Veliky Novgorod, Russia, pp. 76-82.
• 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.
• Igor Burdonov, Alexander Kosachev. Conformance testing based on a state relation. Proceedings of the Institute for System Programming, Volume 18. 2010. pp. 183-220.
• 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.
• 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.
• 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.
• 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.
• 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.
• 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.
• I.Burdonov, A.Kossatchev, S.Cheng, H.Wong. Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996.