${message}

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

Авиастроение: КТ-178B(C), DO-178B(C), DO-278, DO-254, ARP4754A, ARP4761

  • Автомобилестроение: ISO 26262
  • Медицинская техника: IEC 62304
  • Железные дороги: EN 50128
  • Промышленная автоматизация: ГОСТ Р МЭК 61508, IEC 61508
  • Атомная энергетика: IEC 60880, IEC 61513
  • Встраиваемые системы: ГОСТ Р 51904, ГОСТ РВ 0019-001-2006

Все эти стандарты и руководства, следуя схожим целям, объединены схожими мероприятиями разработки и верификации. Здесь вы можете ознакомиться с инструментами, целями и задачами, которые решаются на каждом этапе с использованием модельно-ориентированного проектирования.

 

 

Список видео

Simulink для системного проектирования в соответствии с ARP4754

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

Разработка систем в соответствии с DO-254

Квалификация инструментов MathWorks при разработке в соответствии с DO-178C и DO-330

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

Разработка систем в соответствии с ГОСТ Р 51904

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

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

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

Статический анализ С кода в Polyspace

Верификация С/С++ кода с Polyspace 2017

Доказательство надежности алгоритмов в медицинском оборудовании

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля

${message}