Чергове засідання щомісячного Науково-технічного семінару “Критичні комп’ютерні технології та системи” відбудеться 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