${message}

${message}

На данном вебинаре вы узнаете, как можно применять продукты Polyspace для выявления ошибок, отладки и исправления кода. Вы также узнаете, как осуществлять верификацию кода для доказательства того, что код безопасен и надежен.
Инженер департамента MathWorks Михаил Песельник расскажет, как продукты Polyspace могут использоваться для удовлетворения целей сертификации по таким стандартам, как DO-178, IEC 61508 и другим. Продукты Polyspace используют статический анализ кода и формальные методы для верификации программного обеспечения. Это позволяет выявлять и доказывать отсутствие ошибок времени выполнения – таких, как деление на ноль, арифметическое переполнение, доступ за пределы массива и других ошибок в исходном коде. 

Во время демонстрации вы увидите, как продукт Polyspace Code Prover доказывает отсутствие критических ошибок времени выполнения во встраиваемом программном обеспечении. Продукт Polyspace Bug Finder расширяет эти возможности, осуществляя идентификацию различных ошибок времени выполнения, проблем с потоками данных и других дефектов. 

На вебинар приглашаются инженеры, программисты, системные архитекторы, тестировщики и руководители проектов, занимающиеся проектированием и разработкой встраиваемых систем. Вебинар также будет полезен всем специалистам, занимающимся сертификацией встраиваемых систем.
Поделиться
27 сентября
Среда

11:00

Прошло

Спикеры

Дмитрий Шидловский Дмитрий Шидловский

Михаил Песельник Михаил Песельник

Михаил Песельник - ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.

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

Задать вопрос

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля