Всесторонний статический анализ с применением Polyspace

Семинары, конференции, мероприятия, вакансии softline и прочее

Модератор: Admin

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Всесторонний статический анализ с применением Polyspace

Сообщение Admin » Ср ноя 13, 2013 3:35 pm

Организаторы: Softline, MathWorks
Дата проведения: 28 ноября 2013, 10:00 и 17:00

Уважаемые дамы и господа!

Компании SoftLine и MathWorks приглашают вас принять участие в вебинаре «Всесторонний статический анализ с применением продуктов Polyspace», который состоится 28 ноября в 10:00 и 17:00 по московскому времени.

Посмотреть видеоанонс

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

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

Продукты Polyspace используют статический анализ кода и формальные методы для верификации программного обеспечения. Это позволяет выявлять и доказывать отсутствие ошибок времени выполнения – таких, как деление на ноль, арифметическое переполнение, доступ за пределы массива и других ошибок в исходном коде.

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

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

Участие бесплатное.

Чтобы получить ссылку на подключение к вебинару, пожалуйста, выберите удобное для участия время и зарегистрируйтесь*:

Зарегистрироваться на вебинар в 10.00

Зарегистрироваться на вебинар в 17.00

*Вносить данные необходимо на русском языке. После регистрации участник получит письмо с дальнейшими инструкциями.

Технические требования для подключения к вебинару.