Будущие и прошлые мероприятия, новости, видео и статьи

Сортировать по
Отображать в виде
Тип
Название
Дата и время
Формат/город
Видео
Верификация - просто о сложном
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
Видео
Инструменты LDRA для верификации ПО: Модульное и функциональное тестирование
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Робастное тестирование
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Динамическое тестирование
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Верификация исполняемого объектного кода
11.10.2016
Видео
Инструменты LDRA для верификации ПО: Создание тестовых векторов в MATLAB
11.10.2016
Видео
Верификация кода на целевой платформе с LDRA Toolsuite
23.06.2016
История успеха
Используя модельно-ориентированное проектирование, BAE Systems разработала в срок бортовое ПО, соответствующее DO-178B Level A
26.01.2016
Публикация
Верификация и валидация при разработке в соответствии с IEC 61508
28.04.2015
Публикация
Создание высокоточной модели электродвигателя для проектирования системы управления и верификации
17.03.2015
Новость
Статья "Верификация кода и обнаружение ошибок исполнения путем абстрактной интерпретации"
06.12.2014
Публикация
Переход к DO-178C и ARP4754A при разработке ПО повышенной надежности для БПЛА с использованием модельно-ориентированного проектирования
24.09.2014
История успеха
Harris ускоряет верификацию ПЛИС в системах обработки сигналов
14.08.2014
История успеха
Компания Yokogawa Electric разработала основные компоненты для оптических сетей нового поколения с помощью Simulink и Mentor Graphics ModelSim
11.06.2014
Видео
Определение частотной характеристики нелинейной модели и валидация линеаризованной модели
09.01.2014
История успеха
Eurocopter ускоряет развитие сертифицированного программного обеспечения по стандарту DO-178B с модельно-ориентированным проектированием
17.12.2013
Видео
Разработка систем по DO-178 с использованием инструментов MathWorks
05.09.2013
Новость
STARC сертифицирует MATLAB и Simulink как предпочтительные инструменты в своем новом процессе проектирования под названием STARCAD-AMS
15.05.2013
Видео
Simulink Verification and Validation
29.03.2013
Видео
Simulink Design Verifier для поиска ошибок проектирования
10.10.2012
Видео
Продукты Polyspace для верификации кода
04.05.2012

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