КриКТехС 2010-5

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

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

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

Доклады:

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

 


Навигация по категориям

Докладчики