.webp?width=850&name=TestCenter_hero4-min%20(1).webp)
ISO 26262, IEC 61508, IEC 62304를 준수하는
안전 프로젝트에 적합
기업의 특정 환경에서의 분석을 검증합니다.
Axivion 도구 인증 키트는 도구 체인의 분류 및 검증을 지원합니다. 자동화 가능한 실행 및 결과 평가 프로세스를 갖춘 사전 제작된 테스트 스위트(HIS 메트릭스, MISRA, AUTOSAR C++14, CUDA C++ 가이드라인, CWE, C 보안 코딩 및 CERT 규칙용)로 구성되어 있습니다.
또한 아키텍처 검증 및 유효성 검증을 위한 테스트를 포함합니다.
따라서 Axivion 도구 인증 키트는 기능 안전 요구사항이 있는 환경에서 Axivion 정적 코드 분석, Axivion 아키텍처 검증 및 Axivion for CUDA의 적합성을 검증할 수 있습니다.
.webp?width=850&name=Axivion_DevOpsLoop_noBG_870x470px%20(1).webp)
CI / DevOps
파이프라인과의 통합
Axivion 도구 인증 키트는 CI 프로세스에 매끄럽게 통합됩니다.
검증 테스트의 기술적 자동화를 통해 업데이트나 업그레이드와 같은 변경 사항 적용 후 효율적으로 테스트를 반복하여 개선 및 혁신을 이루고, 적합성 검사를 반복할 수 있습니다.
함께 제공되는 테스트 드라이버는 관련 규칙 세트와 C/C++ 및 CUDA C++ 언어 버전에 대해 하나 이상의 테스트를 수행하고 테스트 상태를 보고합니다.
소프트웨어 품질 보증을 위한
인증 완료
Axivion 도구 검증 키트는 ISO 26262, IEC 62304, IEC 61508, EN 50128 및 EN 50657에서 요구하는 도구 신뢰도 수준(TCL, Tool Confidence Level)을 달성할 수 있도록 지원합니다.
Axivion 정적 코드 분석은 SGS-TÜV Saar GmbH로부터 상기 각 표준에 대해 최고 안전 무결성 수준(SIL, Safety Integrity Level)까지 인증을 획득했습니다. Axivion 정적 코드 분석은 안전 프로젝트에서의 사용 목적을 설명하는 안전 매뉴얼과 함께 제공되며, 이 안전 매뉴얼에 따르면 인증된 정적 코드 분석 패키지 사용 시 Axivion 도구 검증 키트를 사용해야 합니다.
