Publications¶

2019¶

Papers¶

• Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов.
  «О представлении модельного времени при помощи механизмов функционального программирования».
  Расширенная версия оригинальной статьи, содержащая расширенное введение.

  2019 - Буздалов, Петренко, Хорошилов - О представлении модельного времени... - расширенная.pdf

2018¶

Papers¶

• Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов.
  «О представлении модельного времени при помощи механизмов функционального программирования».
  Принято в печать в сборник Труды ИСП РАН

Slides of related talks¶

• Зеленов С.В., Карнов А.А., Хорошилов А.В.
  «Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов».
  Ломоносовские чтения 2018 ф-т ВМК МГУ. — Макс-Пресс, 2018. — С. 119–120.

  2018 - Зеленов, Карнов, Хорошилов - Использование марковского анализа для оценки отказобезопасности программно-аппаратных комплексов.pdf

• С.В.Зеленов, Д.В.Буздалов, А.А.Угненко, А.В.Хорошилов.
  «Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем».
  Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва.

  2018 - Зеленов и др - Анализ видов и последствий отказов на основе архитектурных моделей программно-аппаратных систем.pdf

• С.Л.Лесовой, А.В.Хорошилов.
  «Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО».
  Тезисы доклада на 3-й всероссийской научно-технической конференции «Моделирование авиационных систем». 21-22 ноября 2018 года, г. Москва.

  2018 - Лесовой, Хорошилов - Автоматизация извлечения архитектурной модели ARINC-653 совместимого функционального ПО.pdf