ISO 26262, IEC 61508, IEC 62304 и EN 50 128 стандартов включают требования или рекомендации использовать сертифицируемые или квалифицированные инструменты. Можно использовать сертификацию инструмента или доказательство перед проверкой от продукта IEC Certification Kit до соответствия документа с требованиями или рекомендациями относительно сертификации инструмента или проверки.
Используя сертифицированные или квалифицированные инструменты не обеспечивает безопасность разрабатываемого приложения.
Продукт IEC Certification Kit предоставляет сертификацию инструмента и доказательство перед проверкой для следующих продуктов MathWorks®:
Embedded Coder® / AUTOSAR Blockset (когда применимый)
Simulink® PLC Coder™
Simulink Design Verifier™
Simulink Check™
Simulink Coverage™
Simulink Requirements™
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Simulink Test™
Продукт IEC Certification Kit следует за подходом в контексте к сертификации инструмента и проверке. Этот подход основан на определенных рабочих процессах, которые будут использоваться при применении сертифицированных и квалифицированных инструментов, чтобы разработать или проверить программное обеспечение для ISO 26262, IEC 61508, IEC 62304 и EN 50 128 приложений. Претендент должен гарантировать, что инструменты используются в рабочих процессах, на которые ссылаются, и ограничениях, заданных в сертификатах.