MISRA C

전자 제어 장치에 사용되는 소프트웨어 코드의 품질을 평가하기 위해 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 표준 등으로 몇 차례 개정되었습니다.

MISRA C에 관한 더 자세한 내용은

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 준수 여부를 검사할 수 있고, 결과를 모델까지 추적할 수 있습니다. 모델 수준에서 주석을 달아서, 위반 사항이 발생한 이유를 제공할 수 있습니다.