« Назад

КриКТехС 2011-3

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

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

Методы и технологии оценки функциональной безопасности программного обеспечения и информационно-управляющих систем на основе методологий Safety и Assurance-Case.

Доклады:

  • Методология, основанная на случаях для гарантии безопасности критического программного обеспечения и оценки систем (Блумфилд Р.);
  • Методы и средства оценки функциональной безопасности ИУС с использованием параметризируемых Safety Case ядер (Неткачева Е.И.).

 


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

Докладчики