Kossatchev

Alexander S. Kossatchev (aka Kosachev)

PhD (Phys.–Math.), Assoc. Prof.

ORCID: orcid.org/0000-0001-5316-3813
Scopus Author ID: 55980161000
Researcher ID: H-2036-2014

Positions

Leading Researcher of the Institute for System Programming of RAS

Contacts

E-mail: kos@ispras.ru
Adress: 25 Alexander Solzjenitsin str., Moscow, Russia, 109004

Research Interests

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

1964 – 1971. M. V. Lomonosov Moscow State University (MSU) Department of Computer Science and Cybernetics. Speciality: mathematics. Qualification: mathematician.

1970 – 1980. The Institute of Precise Mechanic and Computers of the Academy of Sciences, USSR. Moscow, Russia. Position: Senior engineer. Designing, implementation and maintenance some components of system software for multicomputer system AS-6 for Soviet Space Control Center: LAN software, the real-time information system of ballistic and control information.

1980 – 1991. Scientific Research Institute "Delta". Moscow, Russia. Position: Senior researcher. Designing, implementation and maintenance some components of system software for supercomputer like CRAY-1 (Electronica SS-BIS): network's protocols, disk management system, macroassembler, object module structure, linker.

1991 – 1994. The Institute of Cybernetics Problems of the Russian Academy of Sciences, Moscow , Russia, 1991. Position: Leading researcher.

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.

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.

RFBR Projects leading by A. Kosachev

• Project 16-07-01106 a. Traversing of automata in network;
• Project 13-07-00915 a. Complete test suite optimization for conformance testing;
• Project 10-07-00147 a. Generalization of conformance theory for distributed systems.

  Patents

• 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.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. 4.04.2001.
• 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.11.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. 4.12.2002
• Method and system for describing predicates in disjuncts in procedures for test coverage estimation. US6697961 B1. 24.02.2004.

Former Ph.D. Students

• Herman V. Kopitov "Principles of Construction and Implementation of Baseline of CLOS Cluster Operating System", 1992
• Alexander N. Derstuganov "Mobile Network Component of Information Ballistic Computer System Software", 1997
• Michael A. Posypkin "The Application of Formal Methods for Compilers Testing", 2004

Invited lectures

• 2011. The 7-th TAROT Summer School on Software Testing, Verification & Validation “Interaction Semantics with Refusals, Divergens and Destruction”
• 2012. ICAM2012 "Removal of Non-Conforming Trace from Specifications"
• 2014. ICAM2014 "Graph Learning by Interacting Automata"
• 2015. The 2nd International Summer School on Information Technologies for Complex System Analysis and Synthesis (IT CoSAS). "Parallel Calculations by Automata on dynamically changing graph"
• 2016. ICAM2016 "Testing of automata system".

Program Committee Member

• 1st-10th International Workshop on Model Based Testing – MBT at ETAPS federal conference
• ICAM 2014
• ICAM 2016

Member of Editor-Board

• Programming and Computer Software, in Russian and English
• Proceedings of the Institute for System Programming of the RAS, in Russian and English

Dissertation

A.S. Kossatchev “The principles of design and implementation LAN network software for specialized programming systems” The thesis of Ph.D. in computer science, the Institute of Applied Mathematics of the Academy of Sciences, USSR, Moscow, 1983.

Monographs

• 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.