Институт системного программирования им. В.П. Иванникова РАН


Александр Сергеевич Косачев

Кандидат физико-математических наук, доцент

Александр Сергеевич Косачев, кандидат физико-математических наук, доцент ORCID: orcid.org/0000-0001-5316-3813
Scopus Author ID: 55980161000
Researcher ID: H-2036-2014

Должности

Ведущий научный сотрудник ИСП РАН

Контакты

E-mail: kos@ispras.ru
Адрес: 109004, Москва, А.Солженицына, 25.

Область научных интересов

  • Формальные спецификации;
  • Генерация тестов;
  • Технология компиляции;
  • Системы реального времени;
  • Операционные системы;
  • Объектно-ориентированное программирование;
  • Сетевые протоколы;
  • Процессы разработки программного обеспечения.

Краткая биография

Окончил физ.-мат. школу №52, г. Львов. Выпускник ВМиК МГУ 1971 г.

Работал в Институте Точной Механики и Вычислительной Техники (ИТМиВТ АН СССР) в 1971-1980 гг. Старший инженер. Занимался разработкой и созданием компонентов системного программного обеспечения многомашинного вычислительного комплекса АС-6: протоколов локальной вычислительной сети. Кроме того, занимался разработкой, созданием и поддержкой системного ПО для Центра управления полетами космических аппаратов (ЦУП): информационной системы реального времени для сбора и хранения баллистической и управляющей информацией. Участник подготовки и обеспечения управления полётом космических кораблей «Союз-Аполлон».

С 1980 г. работал в НИИ «Дельта» в коллективе, который под руководством академика В.А.Мельникова создавал суперкомпьютер «Электроника-СС-БИС», старший научный сотрудник. Кандидат физ.-мат. наук (1983 г.). Занимался разработкой и созданием компонентов системного ПО этого суперкомпьютера: сетевых протоколов, системы управления дисков, макроассемблером, структурами объектных модулей и линкером.

Позже, в Институте Проблем Кибернетики (ИПК АН СССР) в 1991-1994 г. занимался разработкой и созданием мобильной кластерной операционной системы CLOS (CLUSTOS). С 1994 г. по настоящее время работаю ведущим научным сотрудником в Институте Системного Программирования (ИСП РАН). Занимался сначала практикой, а затем математической теорией верификации программ на основе формальных спецификаций.

Проекты РФФИ, возглавляемые А.С. Косачевым

  • Проект 16-07-01106 a. Обход автоматов, взаимодействующих по сети;
  • Проект 13-07-00915 a. Оптимизация полных тестовых наборов при тестировании конформности;
  • Проект 10-07-00147 -a. Обобщение теории конформности для распределенных систем;

    Патенты

  • 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.
  • Способ тестирования компонентов микропроцессоров, тестовый оракул для тестирования компонентов микропроцессоров, способ работы тестового оракула, способ построения тестового оракула. Патент РФ на изобретение № 2409839 от 20.01.2011.

Диссертации, защищенные под руководством А. С. Косачева

  • Герман Васильевич Копытов «Принципы построения и реализация базового уровня кластерной операционной системы КЛОС». 1992
  • Александр Никандрович Дерстуганов «Мобильный сетевой компонент программного обеспечения баллистического информационного вычислительного комплекса» 1997
  • Михаил Анатольевич Посыпкин «Применение формальных методов для тестирования компиляторов», 2004

Приглашенные доклады на научных конференциях

  • 2011 The 7-th TAROT Summer School on Software Testing, Verification & Validation “Interaction Semantics with Refusals, Divergens and Destruction”
  • 2012 9-ая Российская конференция с международным участием «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2012) «Удаление из спецификации неконформных трасс»
  • 2014 10-ая Российская конференция с международным участием «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2014) «Исследование графа взаимодействующими автоматами»
  • 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 11-ая Международная конференция «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM2016) «Тестирование системы автоматов»

Член программного комитета

  • 1st-10th International Workshop on Model Based Testing – MBT at ETAPS federal conference
  • X РОССИЙСКАЯ КОНФЕРЕНЦИЯ С МЕЖДУНАРОДНЫМ УЧАСТИЕМ «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM 2014)
  • XI МЕЖДУНАРОДАЯ КОНФЕРЕНЦИЯ «НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР» (ICAM 2016)

Член редколлегии

  • Программирование (Programming and Computer Software), in Russian and English
  • Труды ИСП РАН (Proceedings of the Institute for System Programming of the RAS), in Russian and English

Диссертация

А.С. Косачев. «Принципы разработки и реализации программного обеспечения локальных сетей специализированных программных систем» Диссертация на соискание учёной степени д.ф.-м.н., Москва, 1983.

Монографии

Другие публикации