Разработка систем повышенной надежности при помощи инструментов MathWorks

Михаил
13.02.2013 17:40:23
Разработка систем повышенной надежности при помощи инструментов MathWorks - это тема, которой уделяется повышенное внимание в последние годы. Говорить об этом можно очень долго, и это не совсем тема для блогов.

Тем не менее, в этом посте я попробую собрать информацию, которая поможет вам получить представление о том, как продукты MathWorks накладываются на процесс создания систем, критических к безопасности.

Записанные вебинары:

Разработка встраиваемого ПО в автомобилестроении с использованием инструментов MathWorks

Разработка систем по DO-178C с использованием инструментов MathWorks

Разработка систем по DO-254 с использованием инструментов MathWorks

Модельно-Ориентированное Проектирование для IEC 61508

Моделирование требований при помощи инструментов MathWorks

Формальная верификация в MATLAB и Simulink

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

Серия вебинаров по DO-178/DO-254 (на англ. языке)



Обзорные видео:


Разработка систем по DO-178 c инструментами MathWorks

Продукты Polyspace для верификации кода

Simulink Design Verifier для поиска ошибок проектирования



Страницы по сертификации на сайте MathWorks и matlab.ru:



Генерация бортового ПО для авиакосмических систем

ARP-4754

DO-254

DO-178B

DO-178C

MISRA C

ISO 26262

IEC 61508



Пользовательские истории:

Авиакосмос

Автомобильная

Промышленная автоматизация



Статьи:

Верификация кода и обнаружение ошибок исполнения путем абстрактной интерпретации

Модельно-ориентированное проектирование по стандарту DO-254 с помощью инструментов компаний MathWorks и Mentor Graphics

Новые способы проверки автоматически сгенерированного кода при помощи инструментов Simulink и Embedded Coder по стандарту DO-178

Переход к DO-178C и ARP4754A с использованием Модельно-Ориентированного Проектирования.

Очень много статей на английском на страницах по сертификации на сайте MathWorks (ссылки приведены выше).

События:

Сертификация в авиастроении по стандартам DO-178(B,C), DO-254, KT 178 при помощи инструментов MathWorks
(Рекомендую почитать статьи Тома Эрккинена, ссылки на которые вы можете найти в описании).


Буду редактировать этот пост при появлении новых материалов по теме разработки систем повышенной надежности с инструментами MathWorks.

Обращайтесь к нам, если возникнут дополнительные вопросы!
Просмотров: 1284
Комментариев: 0
Добавить комментарий