Научно-технический семинар КриКТехС-2015/6/106
Очередное заседание семинара состоится 16 июня (вторник) 2015 г., в 15.00 в аудитории 238 радиокорпуса ХАИ.
Тема заседания: Методы формирования требований при сертификации критического программного обеспечения и многоверсионные технологии проектирования безопасных систем.
Доклады:
- Докт. техн. наук Шостак Игорь Владимирович, ассистент Бутенко Юлия Ивановна Онтологические модели, методы и технологии формирования нормативного профиля при сертификации программного обеспечения (кафедра инженерии программного обеспечения Национального аэрокосмического университета им. Н.Е. Жуковского «ХАИ»):
- анализ процесса сертификации ПО и средств его автоматизации;
- анализ языка и разработка онтологическая модель текста стандартов;
- обобщенная модель ядра семантической целостности языка стандартов;
- методы синтеза лингвистических онтологий и системы автоматизации формирования нормативного профиля при сертификации ПО;
- прототип компьютерной системы анализа языка стандартов и ее использование
- Руководитель группы функциональной безопасности Малиняк Иван Мирославович (НПП «Стальэнерго», Харьков). Функционально диверсный дизайн систем, связанных с безопасностью:
- традиционный подход к обеспечению безопасности на основе избыточных полнофункциональных архитектур; требования наивысшего уровня безопасности SIL4 с одновременным ограничением по стоимости внедрения на средних и малых объектах (станциях);
- варианты облегченной диверсной системы, основанной на принципе исключения дублирующих алгоритмов;
- практический опыт создания полнофункциональной безопасной архитектуры 1оо2D для управления движением подвижного состава на ж.д.;
- эффект применения облегченной (сателлитной) архитектуры (возможность уменьшения функциональных блоков системы и сокращения времени разработки проекта).
Информация о проектах:
Докт. техн. наук, профессор Харченко Вячеслав Сергеевич:
- CABRIOLET (Битва старт-апов и модели кооперации в ИТ)
- SEREIN (Центр кибербезопасности)
- GreenCO (PhD-инкубатор)