05 сентября 2013

В данном обзорном видео вы узнаете о том, какие возможности предлагают инструменты MathWorks при разработке систем по стандартам DO-178B/C и КТ-178.

Процесс модельно-ориентированного проектирования с помощью Simulink является уникально квалифицированным для этого широкого списка стандартов из-за насыщенной продуктовой линейки для имитационного моделирования, проектирования ПО повышенной надежности для наземных и воздушных систем, а также электронной аппаратуры.

Продукт DO Qualification Kit компании MathWorks позволяет проводить отбор инструментов, соответствующих DO-178 и сопутствующим стандартам. Данный продукт содержит документацию, тесты и процедуры квалификации Simulink или инструментов проверки кода Polyspace для проектов, основанных на стандарте DO-178.

Видео
Верификация - просто о сложном
26.11.2019
Публикация
Развитие верификации объектного кода
13.08.2019
Публикация
Внедрение стандарта IEC 61508: 2010 с набором инструментов LDRA
13.08.2019
Публикация
ISO 26262 a Pain in the ASIL
12.08.2019
Публикация
Верификация бортового ПО согласно DO-178C
12.08.2019
Видео
Новые видео по верификации
14.03.2018
Видео
Автоматизация верификации Polyspace
20.06.2017
История успеха
Korean Air ускоряет разработку и верификацию программного обеспечения для управления БПЛА с помощью модельно-ориентированного проектирования
22.05.2017
Видео
Передача модели третьим лицам и защита интеллектуальной собственности
04.04.2017
Видео
Инструменты LDRA для верификации ПО: Автоматизация верификации
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Обзор стандартов и трассируемость
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Стандарты кодирования и метрики
11.10.2016