Чергове засідання щомісячного Науково-технічного семінару "Критичні комп'ютерні технології та системи" відбудеться 29 вересня (п’ятниця) 2023 р., о 15:30 онлайн в Google Meet за посиланням: meet.google.com/coh-ieee-pfr
Тема:
Методи та засоби синтезу та верифікації цифрових систем і програмовних логічних контролерів: складність, функцій на та кібербезпека (Methods and means for synthesis and verification of digital systems and programmable logic controllers: complexity, functional safety and cybersecurity)
Доповіді: Борисенко Олексій Андрійович (д.т.н., професор, кафедра електроніки і комп’ютерної техніки, Сумський державний університет) Синтез завадостійких комбінаційних цифрових схем на несумісних булевих функціях (Synthesis of interference-resistant combinational digital circuits on incompatible Boolean functions)
Івасюк Олександр Олегович (к.т.н., доцент, докторант, кафедра комп’ютерних систем, мереж і кібербезпеки, ХАІ; Project Director, LLC Radics) Using the FMEDA/FIT verification method to assess the cybersecurity of programmable logic controllers (Використання методу верифікації FMEDA/FIT для оцінювання кібербезпеки програмовного логічного контролера)
Інформація про конференції, проєкти: Харченко Вячеслав Сергійович (д.т.н., професор, кафедра комп’ютерних систем, мереж і кібербезпеки, ХАІ) Події, проєкти і конференції 2023 р.
Коли:
П'ятница, 29 вересня 2023 ⋅ 15:30 – 17:50 (Східна Європа - Київ) Організатор Seminar CriCTecS [email protected]