Автоматизация соответствия стандартам кодирования MISRA

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

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

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

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

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