Kossatchev

Новости

12 Апреля, 2024 Защита диссертаций

15 Марта, 2024 Сегодня стартовали выборы Президента России

13 Марта, 2024 Участники Альянса в сфере ИИ подписали декларацию об ответственном генеративном ИИ

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

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

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.

Монографии

И.Б.Бурдонов, Косачев А.С., В.В.Кулямин. Теория соответствия для систем с блокировками и разрушением. М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 c.

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

Бурдонов И. Б., Косачев А. С., Кулямин В. В. Исследование графа набором автоматов. Программирование, 41(6):3-7, 2015.
Бурдонов И. Б., Косачев А. С., Кулямин В. В. Параллельные вычисления на графе. Программирование, 41(1):3-17, 2015.
Игорь Бурдонов, Александр Косачев Обход неизвестного графа коллективом автоматов. Недетерминированный случай Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г. Стр. 51-68.
Игорь Бурдонов, Александр Косачев Мониторинг динамически меняющегося графа Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г. Стр. 69-96.
Игорь Бурдонов, Александр Косачев Параллельные вычисления на динамически меняющемся графе Труды Института системного программирования РАН Том 27. Выпуск 2. 2015 г. Стр. 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.
И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №3, 2014, стр. 67-75.
И.Б. Бурдонов, А.А. Косачев. Исследование графа взаимодействующими автоматами. Новые информационные технологии в исследовании сложных структур. Материалы 10-ой российской конференции с международным участием. 2014, изд. Томского госуниверситета, стр.47-48.
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.
И.Б. Бурдонов, А.С. Косачев. Развитие теории конформности: семантики, формальные модели, алгоритмы. Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 27-72.
Игорь Бурдонов, Александр Косачев. Обход неизвестного графа коллективом автоматов. Труды Института системного программирования РАН Том 26. Выпуск 2. 2014 г. Стр. 43-86.
Игорь Бурдонов, Александр Косачев. Построение прямого и обратного остовов автоматами на графе. Труды Института системного программирования РАН Том 26. Выпуск 6. 2014 г. Стр. 57-62.
Игорь Бурдонов, Александр Косачев, Виктор Кулямин. Параллельные вычисления автоматами на прямом и обратном остовах графа. Труды Института системного программирования РАН Том 26. Выпуск 6. 2014 г. Стр. 63-66.
Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование, 2013, №6–стр. 3-15.
Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции "Научный сервис в сети Интернет: все грани параллелизма". 2013, Изд. МГУ.
Бурдонов И.Б., Косачев А.С. Формализация тестового эксперимента –II. Программирование, 2013, №4–стр. 3-27
Бурдонов И.Б., Косачев А.С. Обход неизвестного графа коллективом автоматов. Труды Международной суперкомпьютерной конференции Научный сервис в сети Интернет: все грани параллелизма. 2013, изд. МГУ, стр. 228-232.
Бурдонов И.Б., Косачев А.С. Согласование конформности и композиции. Программирование. № 6.
Бурдонов И.Б., Косачев А.С. Финальные модели спецификаций и реализаций. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
Бурдонов И.Б., Косачев А.С. Удаление из спецификации неконформных трасс. Новые информационные технологии в исследовании сложных структур. Материалы 9-ой российской конференции, Томск «Издательство НТЛ».
И. Бурдонов, А. Косачев. Финальные модели спецификации. Труды Института системного программирования РАН Том 22. 2012 г. Стр. 233-280.
Игорь Бурдонов, Александр Косачев. Зависимости между ошибками на класах тестируемых реализаций. Труды Института системного программирования РАН Том 23. 2012 г. Стр. 323-358.
Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С., Сортов А.А. Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3, 2011 г., стр. 187-193.
Бурдонов И.Б., Косачев А.С. Пополнение спецификации для ioco. Программирование. № 1.
И.Б.Бурдонов, А.С.Косачев. Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 2. Условия конечного полного тестирования Вестник Томского Государственного Университета, № 2(15), 2011.
И.Б.Бурдонов, В.П.Иванников, А.С.Косачев. Проект КЛАСТОС. Труды Sorucom-2011. Великий Новгород, 12–16 сентября, 2011.
И.Б.Бурдонов, А.С.Косачев, Безопасное тестирование симуляции систем с отказами и разрушением. Моделирование и анализ информационных систем, Том 17, Номер 4, 2010. стр. 27—40.
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.
А . С . Косачев , И . Б . Бурдонов , С . Г . Грошев , А . С . Камкин , А . А . Сортов . Параллельное тестирование больших автоматных моделей. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.
А.С. Косачев, И.Б.Бурдонов. Семантики взаимодействия с отказами, дивергенцией и разрушением. "Программирование", -2010, №5–стр 3-23.
И.Б.Бурдонов, А.С.Косачев, Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4, 2010, стр.124-133.
А.С. Косачев, И.Б.Бурдонов. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.
А.С. Косачев, И.Б.Бурдонов. Тестирование безопасной симуляции. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.
А.С. Косачев, И.Б.Бурдонов. Тестирование с преобразованием семантик. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424.
А.С. Косачев, И.Б.Бурдонов, П.Н.Яковенко. Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010.
И.Б. Бурдонов, А.С. Косачев. Тестирование конформности на основе соответствия состояний. Труды Института системного программирования РАН Том 18. 2010 г. Стр. 183-220.
И.Б. Бурдонов, А.С. Косачев. Аналитическая верификация конформности. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность. Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 261-264.
А.С. Косачев, И.Б.Бурдонов, П.Н. Яковенко. Использование технологии аппаратной виртуализации для защиты выполнения приложения в недоверенной операционной системе. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2009. – С. 38-39.
И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Программирование, 2009, №6–стр 3-18.
И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Программирование, 2009, №4–стр. 24-40.
И.Б. Бурдонов, А.С. Косачев. Тестирование конформности с открытым состоянием. Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск). - М.: Изд-во МГУ, 2009. – стр. 265-269.
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.
И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН Том 17. 2009 г. Стр. 161-192.
И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН Том 17. 2009 г. Стр. 193-208.
И.Б. Бурдонов, А.С. Косачев. Обобщённые семантики тестового взаимодействия. Труды Института системного программирования РАН Том 15. 2008 г. Стр. 69-105.
И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Труды Института системного программирования РАН Том 14. Часть 1. 2008 г. Стр. 23-54.
И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Труды Института системного программирования РАН Том 14. Часть 1. 2008 г. Стр. 55-72.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Безопасность, верификация и теория конформности. "Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Формализация тестового эксперимента. Программирование, №5, 2007, стр. 3-32.
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.
И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман Обзор подходов к верификации распределенных систем. Препринт 16. М.: ИСП РАН, 2006, стр. 61.
И.Б.Бурдонов, А.С.Косачев, В.Н.Пономаренко. Операционные системы реального времени. Препринт Института системного программирования РАН, №14, 2006.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода ориентированных графов. Недетерминированнный случай. Программирование, №1, 2004,стр. 4-24.
A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы. Труды Института системного программирования РАН Том 5. 2004 г. Стр. 121-156.
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.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Неизбыточные алгоритмы обхода графов: детерминированный случай. Программирование, Вып.29, №5, 2003, стр. 59-69.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин, А.К.Петренко. Подход UniTesK к разработке тестов. Программирование, №6, 2003, стр. 25-43.
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.
И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Труды Института системного программирования РАН Том 4. 2003 г. Стр. 7-83.
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.
И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин. Использование конечных автоматов для тестирования программ. Программирование, №2, 2000, стр.12-28.
И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Труды Института системного программирования РАН Том 1. 2000 г. Стр. 39-54.
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.
А.В. Баранцев, Е. Бритвина, И.Б. Бурдонов, А.С. Косачев, С.В. Гоманюк, А.В. Демаков, А.В. Иванов , А.В. Максимов, А.К. Петренко, Ю.Л. Сазанов , А.А. Сортов, В. П. Стефанов, Г. М. Сумар. Архитектура системы генерации тестов. Вопросы кибернетики. Москва, 1998.
I.Burdonov, A.Kossatchev, S.Cheng, H.Wong. Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996.