Очередное заседание семинара состоится 16 декабря 2010 г. в 15.00  в ауд. 238 радиокорпуса ХАИ.

Тема заседания:

Риск-анализ и формальные методы в задачах анализа влияния надежности программных средств и процессов на безопасность человеко-машинных систем.

Доклады:

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