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

Спикеры

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

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

Сферы применения: Другое

Выберите компанию из списка
Новый email