Инструменты LDRA для верификации ПО: Стандарты кодирования и метрики

Видео

Верификация - просто о сложном

26.11.2019

Публикация

Развитие верификации объектного кода

13.08.2019

Публикация

Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA

13.08.2019

Публикация

Верификация бортового ПО согласно DO-178C

12.08.2019

Публикация

ISO 26262 a Pain in the ASIL

12.08.2019

Видео

Новые видео по верификации

14.03.2018

Видео

Автоматизация верификации Polyspace

20.06.2017

История успеха

Korean Air ускоряет разработку и верификацию программного обеспечения для управления БПЛА с помощью модельно-ориентированного проектирования

22.05.2017

Видео

Передача модели третьим лицам и защита интеллектуальной собственности

04.04.2017

Видео

Инструменты LDRA для верификации ПО: Автоматизация верификации

11.10.2016

Видео

Инструменты LDRA для верификации ПО: Создание тестовых векторов в MATLAB

11.10.2016

Видео

Инструменты LDRA для верификации ПО: Верификация исполняемого объектного кода

11.10.2016