LDRA
LDRA отслеживает соответствие сертификационным требованиям с помощью статического и динамического анализа кода, а также юнит-тестирования и верификации. Используемые при сертификации шаблоны позволяют организовать стандарто-ориентированные процессы, которые отвечают требованиям по управлению процессом проектирования, разработкой и верификацией программного обеспечения. Помимо помощи в подготовке к сертификации по индустриальным стандартам, LDRA предлагает инструменты для подтверждения соответствия таким стандартам как MISRA или Cert C.
Технологии компании LDRA по верификации программного обеспечения, а также по управлению процессом подготовки к сертификации существенно повысят эффективность и прозрачность процесса проектирования в тех отраслях российской промышленности, где обеспечение безопасности является критически важным, где компаниям необходимо доказывать соответствие стандартам и проходить сертификацию.