« Назад
КриКТехС 2010-5
Очередное заседание семинара состоится 16 декабря 2010 г. в 15.00 в ауд. 238 радиокорпуса ХАИ.
Тема заседания:
Риск-анализ и формальные методы в задачах анализа влияния надежности программных средств и процессов на безопасность человеко-машинных систем.
Доклады:
- Безопасность ракетно-космической техники и надежность компьютерных систем: анализ аварий в 2000-2009 гг. (Тарасюк О.М.);
- Страхование рисков ошибок программного обеспечения (Дубницкий В.Ю., Ходырев А.И.);
- Применение структурно-функционального моделирования для контроля качества руководящих документов (Шамов С.А.).