На кафедрі комп'ютерних систем, мереж і кібербезпеки з 31 травня 2001 працює постійно діючий Всеукраїнський науково-технічний семінар «Критичні комп'ютерні технології та системи».
Засідання науково-технічного семінару проводяться щомісяця на кафедрі комп'ютерних систем, мереж і кібербезпеки.
Запрошуємо взяти участь в роботі семінару викладачів, наукових співробітників, аспірантів, інженерів, студентів, розробників комп'ютерних систем і технологій.
Заявки для участі в роботі семінару просимо надсилати на адресу: 61070, Україна, м. Харків, вул. Чкалова, 17, ХАІ, кафедра 503 тел.: 057-788-45-03, 0-57-788-43-56 e-mail: [email protected], [email protected]
Мета семінару КриКТехС:
• обмін інформацією та обговорення результатів наукових досліджень і інженерних розробок в області критичних комп'ютерних технологій і їх комерційних додатків;
• активізація впровадження науково-технічних розробок і програмних продуктів у комп'ютерних системах аерокосмічних, енергетичних і інших комплексів критичного застосування;
• відбір науково-технічних матеріалів для публікації в спеціальних випусках збірок праць ХАІ.
Напрямки семінару КриКТехС:
Засідання науково-технічного семінару проводяться щомісяця на кафедрі комп'ютерних систем, мереж і кібербезпеки.
Організаційний комітет семінару КриКТехС:
Новини
КриКТехС 2007-2
Очередное заседание семинара состоится 1 мая 2007 г. в 14.30 в ауд. 123 радиокорпуса ХАИ.
Тема заседания:
Математические методы в задачах верификации и оценки надежности программного обеспечения.
Доклады:
- Задачи и методы формальной верификации на различных этапах разработки критического программного обеспечения (Жолткевич Г.Н.);
- Методы моделирования и оценки надежности отказоустойчивых компьютерных систем с учетом изменяющихся параметров потоков отказов и восстановлений программных средств (Одарущенко Е.Б.).