« Назад

КриКТехС 2015-6

Очередное заседание семинара состоится 16 июня (вторник) 2015 г., в 15:00 в аудитории 238 радиокорпуса Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»

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

Методы формирования требований при сертификации критического программного обеспечения и многоверсионные технологии проектирования безопасных систем

Доклады:

Онтологические модели, методы и технологии формирования нормативного профиля при сертификации программного обеспечения

Шостак И.В., д.т.н., кафедра инженерии программного обеспечения Национального аэрокосмического университета им. Н.Е. Жуковского «ХАИ»

Бутенко Ю.И., ассистент, кафедра инженерии программного обеспечения Национального аэрокосмического университета им. Н.Е. Жуковского «ХАИ»

Функционально диверсный дизайн систем, связанных с безопасностью

Малиняк И.М., руководитель группы функциональной безопасности, НПП «Стальэнерго», Харьков

Информация:

Информация о конференциях, семинарах, проектах

Харченко В.С., д.т.н., заведующий кафедрой компьютерных систем и сетей, Национальный аэрокосмический университет «ХАИ»

 


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

Докладчики