.webp?width=850&name=Misra_transparent_BG%20(1).webp)
MISRA 검사
MISRA C:2004, MISRA C:2012, MISRA C:2019, MISRA C:2023 및 MISRA C++:2008 및 MISRA C++:2023 에 따른 중대 시스템의 규정 준수 달성
MISRA C:2023/MISRA C++:2023로 전환해야 하나요? 또는 시작하는 방법을 알고 싶으세요?
규정 준수를 증명하는 인증
SGS TUEV Saar에서 Axivion Suite의 MISRA 검사를 소프트웨어 프로젝트(ISO 26262의 ASIL D까지, IEC 61508의 SIL 4까지, IEC 62304의 Class C까지의 안전 요건)에서 사용하도록 인증했습니다.
.webp?width=850&name=Misra_check_BG%20(1).webp)
- 규칙 및 규칙 그룹의 사용자 지정 가능한 심각도 분류를 통해 작업의 우선순위를 지정하고 MISRA를 준수하는 방식으로 규칙을 분류할 수 있습니다. MISRA에서는 모든 규칙을 의무, 필수 또는 자발 규칙으로 분류합니다. MISRA를 준수하려면 의무 규칙을 위반해서는 안 됩니다. 정당한 이유가 있는 경우, 필수 규칙은 준수하지 않아도 됩니다. MISRA는 규칙 준수에 적용되는 문서화된 프로세스를 제공합니다.
- MISRA 규칙의 위반 사항을 코드 또는 외부 파일에 정당화하여 작업 프로세스에서 구조적이고 체계적으로 처리함으로써 표준에 따라 개발할 수 있습니다. MISRA 위반 사항의 정당화 및 허용을 직접 지정할 수 있습니다.
- 델타 분석 간격을 다양하게 적용하여 개발의 진행 상황을 관찰하고 평가할 수 있습니다. 또한, 델타 분석을 사용하여 '새로운 발견 사항 없음'과 같은 목표 달성을 투명하게 관리할 수 있습니다.
- 코드의 MISRA 준수 여부에 대한 자동 생성 보고서로 문서화가 용이해집니다.
