Publications » History » Revision 7
Revision 6 (Denis Buzdalov, 01/14/2019 03:10 PM) → Revision 7/11 (Denis Buzdalov, 01/15/2019 03:43 PM)
h1. Publications
h2. 2018
h3. Papers
<To be filled>
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"