Kossatchev


Alexander S. Kossatchev (aka Kosachev)

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

Alexander S. Kossatchev, 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