전자 제어 장치에 사용되는 소프트웨어 코드의 품질을 평가하기 위해 MISRA(the Motor Industry Software Reliability Association)에서는 자동차와 항공기에서 실행되는 소프트웨어의 C 코드 사용에 관한 지침을 도입했습니다. MISRA는 1998년에 MISRA C(MISRA C:1998)를 발표하여, 안전 무결성 등급(SIL) 2 이상을 충족하는 구조화된 언어 표준을 제시하였습니다.
그 이후로 이 표준은 MISRA C:2004, 자동 코드 생성에 관련된 MISRA AC AGC 표준, C++에 관한 MISRA C++:2008, MISRA C:2012 표준 등으로 몇 차례 개정되었습니다.
Simulink, Stateflow, Embedded Coder는 MISRA C®에 적합한 임베디드 소프트웨어를 제작하는 데 널리 사용되고 있습니다. Polyspace® 코드 검증 제품은 수작업으로 작성한 코드 또는 자동으로 생성된 코드의 MISRA C® 준수 여부를 분석하는 데 사용합니다. Polyspace Bug Finder는MISRA-C: 2004, MISRA-C++:2008, MISRA C:2012, MISRA AC AGC에 대한 코딩 규칙 탐지를 지원합니다.
사용자는 Code Generation Advisor를 이용하여 코드 생성기가 MISRA C:2012를 준수하는 코드를 생성할 가능성이 가장 높도록 모델이나 서브시스템을 설정할 수 있습니다. Polyspace를 이용하면 생성된 코드의 MISRA 준수 여부를 검사할 수 있고, 결과를 모델까지 추적할 수 있습니다. 모델 수준에서 주석을 달아서, 위반 사항이 발생한 이유를 제공할 수 있습니다.
Alenia Aermacchi, DO 178B 인증의 일부로 MISRA를 준수하는 오토파일럿 소프트웨어 개발
Alenia Aermacchi는 오토파일럿 시스템과 소프트웨어 설계를 모델링하고, 요구 사항 적용 범위를 검증하고, 코드를 생성하였으며 인증을 위한 보고서를 만들었습니다.
MISRA 준수 코드 생성에 대해 더 자세히 알아보십시오.
사용자의 MISRA C 준수 목표 달성에 도움을 주기 위해, MathWorks는 Embedded Coder와 Simulink 및 Stateflow 모델을 사용할 때 MISRA C 코드를 생성하기 위한 타당성 분석 패키지 및 권장 사항을 제공합니다.
MISRA C 분석 패키지에는 다음이 포함되어 있습니다.
- 규칙 요약문과 상세한 예가 수록된 문서
- Simulink 모델
Polyspace 제품으로 MISRA 준수 여부를 검증하는 방법에 대해 더 알아보십시오.
MISRA C 응용 프로그램 개발을 위한 주요 제품:
영업 상담
시작하기
