Project

General

Profile

Publications » History » Revision 9

Revision 8 (Denis Buzdalov, 01/15/2019 03:50 PM) → Revision 9/11 (Denis Buzdalov, 01/21/2019 02:33 PM)

h1. Publications 

 h2. 2019 

 h3. Papers 

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

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

 h2. 2018 

 h3. Papers 

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

 h3. Slides of related talks 

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

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

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

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

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

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