LDRA предлагает наиболее полный и автоматизированный подход к удовлетворению любого стандарта MISRA, включая новые правила безопасного кодирования, — при помощи ряда продуктов, от автономного анализатора до набора инструментов, который интегрируется в жизненный цикл разработки программного обеспечения.

Ключевые характеристики

  • Автоматически обнаруживает и сообщает о нарушениях MISRA в удобных для просмотра форматах
  • Мгновенно генерирует документацию, которая указывает нарушения
  • Перекрестные ссылки на соответствующее правило MISRA
  • Интегрирует соответствие MISRA в среды, требующие трассируемости, а также соответствия стандартам безопасности или сертификации по отраслевым стандартам
  • Рекомендуется для DO-178B / C (аэрокосмическая промышленность), IEC 61508 (промышленная безопасность), IEC 62304 (медицинские устройства) и EN 50128 (железнодорожные перевозки), а также в автомобильной и других отраслях, где угрозы безопасности привели к требованиям OEM, чтобы доказать, что программное обеспечение соответствует самым высоким стандартам безопасности

Преимущества

  • Комплексное отслеживание соответствия правилам в составе инструментов верификации или в автономном продукте
  • Полная поддержка любого стандарта MISRA, включая MISRA C: 2012, поправку 1, которая касается безопасности в рамках одной среды
  • Проверка ошибок времени исполнения
  • Поддержка жизненного цикла программного обеспечения начиная с требований, заканчивая кодированием, анализом и верификацией
  • Автоматическая документация и квалификация инструмента для широкого спектра стандартов сертификации
  • Управление всеми артефактами для сертификации
  • Конфигурируется для функций, зависящих от компилятора, и тестирования на хосте или целевом вычислителе

Для детального ознакомления с информацией скачайте материал по ссылке ниже.

${message}

${message}