В данном вебинаре мы рассмотрим как с помощью методов формальной верификации можно доказывать отсутствие RunTime ошибок в встраиваемом программном обеспечении медицинского оборудования.
12 апреля
Вторник
Онлайн

11:00

Прошло

Спикеры

Филаретов Николай Филаретов Николай

Николай Филаретов

Николай Филаретов – старший инженер ЦИТМ Экспонента по встраиваемым системам, а также процессам верификации и валидации для систем повышенной надежности. Николай закончил НИУ ИТМО и имеет многолетний опыт работы с инструментами MathWorks. До перехода в ЦИТМ Экспонента Николай работал в области авионики.

Сферы применения

Поделиться

${message}

${message}