Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/staff/khav.html
Дата изменения: Wed Feb 11 22:28:57 2015
Дата индексирования: Sat Apr 9 22:54:03 2016
Кодировка: Windows-1251
Хорошилов Алексей Владимирович

Главная страница « Преподаватели и сотрудники «

Хорошилов Алексей Владимирович

Дата рождения: 14.12.1979
Место рождения: г. Москва
Доцент кафедры, ведущий научный сотрудник ИСП РАН.
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

В 1986-1991 годах учился в средней школе ?630 г. Москвы, в 1991-1995 годах - в физико-математическом классе при МФТИ в средней школе ?503 г. Москвы, а в 1995-1996 годах - в Физико-математической школе ?18 при МГУ, впоследствии переименованной в Специализированный учебно-научный центр МГУ. В 2001 году с отличием окончил факультет Вычислительной Математики и Кибернетики МГУ, в 2001-2004 г. обучался в аспирантуре факультета Вычислительной Математики и Кибернетики МГУ, на кафедре Системного программирования.

Кандидат физико-математических наук (2006 г.), тема диссертации - 'Спецификация и тестирование компонентов с асинхронным интерфейсом', руководитель А. К. Петренко.

С 1999 года работает в Институте системного программирования РАН, на 2014 год - в должности ведущего научного сотрудника.

С 2009 года работает на кафедре Системного программирования факультета Вычислительной математики и кибернетики МГУ.

Основные научные интересы: методы проектирования и разработки ответственных систем, формальные методы программной инженерии, методы верификации и валидации, тестирование на основе моделей, методы анализа требований, операционная система Linux.

Основные научные результаты: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек, разработка специализированной технологии быстрого создания тестов работоспособности.

Ведет занятия по кафедральному спецкурсу 'Конструирование ядра операционной системы', в 2004-2012 годах читал основной курс 'Формальная спецификация и верификация программ', ведет специальный семинар 'Корректность програм'.

Автор и соавтор более 50 научных работ, в том числе:

  1. А.В.Хорошилов. 'Спецификация и тестирование систем с асинхронным интерфейсом'. Препринт ?12. М.: ИСП РАН, 2006.

  2. В. В. Кулямин, Н. В. Пакулин, О. Л. Петренко, А. А. Сортов, А. В. Хорошилов. Формализация требований на практике. Препринт. М.: ИСП РАН, 2006.

  3. В. В. Кулямин, А. К. Петренко, В. В. Рубанов, А. В. Хорошилов. Формализация интерфейсных стандартов и автоматическое построение тестов соответствия. // 'Информационные технологии', 2007, ?8, сс. 1?8.

  4. Н. В.Пакулин, А. В. Хорошилов. 'Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов'. // Программирование, ?6, 2007, сс. 26?55.

  5. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. 'Building open learning environment for software engineering students' in "Free and Open Source Software for E-Learning: Issues, Successes and Challenges" / Betul Ozkan Czerkawski, editor, ISBN 978-1-61520-917-0, pp. 110-119, Information Science Reference, New York, 2011.

  6. Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko and Alexender Ugnenko. "Integrating AADL-based Tool Chain into Existing Industrial Processes". // In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp. 367-371, ISBN: 978-1-61284-853-2, Las Vegas, USA, April 27-29, 2011.

  7. Д. В.Силаков, А. В. Хорошилов. 'Методы обеспечения переносимости ПО'. // Программирование, Том 37, 2011, ?1 сс. 57-66.

  8. Мутилин В.С., Новиков Е.М., Страх А.В., Хорошилов А.В., Швед П.Е. 'Архитектура LINUX DRIVER VERIFICATION'. Труды Института Системного Прогаммирования, Том 20, 2011, с. 163-187.

  9. Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A., Towards an Open Framework for C Verification Tools Benchmarking. // In Proceedings of the Eighth International Andrei Ershov Memorial Conference 'PERSPECTIVES OF SYSTEM INFORMATICS' (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 8.3.2012