MATLAB 및 Simulink의 MISRA C 지원

전자 제어 장치에 사용되는 소프트웨어의 품질을 평가하기 위해 MISRA(the Motor Industry Software Reliability Association)에서는 자동차와 항공기에서 실행되는 소프트웨어의 C 코드 사용에 관한 가이드라인을 소개했습니다. MIRA 사는 1998년에 MISRA C(MISRA C:1998)를 발표하여, 안전 무결성 등급(SIL) 2 이상을 충족하는 표준화되고 구조화된 제한적인 언어 세트를 제공하였습니다.

그 이후로 해당 표준은 MISRA C:2004, 자동 코드 생성에 관련된 MISRA AC AGC, C++에 관한 MISRA C++:2008, MISRA C:2012 표준 등으로 몇 차례 업데이트되었습니다.

MISRA C에 관한 더 자세한 내용은 misra.org.uk를 참조하시기 바랍니다.

Simulink, Stateflow, Embedded Coder는 MISRA C®에 적합한 임베디드 소프트웨어를 제작하는 데 널리 사용되고 있습니다. Polyspace® 코드 검증 제품은 수작업으로 작성한 코드 또는 자동으로 생성된 코드의 MISRA C 준수 여부를 분석하는 데 사용합니다. Polyspace Bug Finder는 MISRA-C 2004, MISRA-C++:2008, MISRA C:2012, MISRA AC AGC의 코딩 규칙들에 대한 위반 사항을 탐지합니다.

Continental Develops Electronically Controlled Air Suspension for Heavy-Duty Trucks
Continental, 대형 트럭용 전자 제어 에어 서스펜션(Electronically Controlled Air Suspension) 개발

사용자는 Code Generation Advisor를 이용하여 코드 생성기가 MISRA C:2012 를 준수하는 코드를 생성할 가능성이 가장 높도록 모델이나 서브시스템을 설정할 수 있습니다. Polyspace를 이용하면 생성된 코드의 MISRA 준수 여부를 체크할 수 있고, 결과를 모델까지 추적할 수 있습니다. 모델 수준에서 주석을 달아서, 위반 사항이 발생한 이유를 제공할 수 있습니다.

다음에서 MISRA 를 준수하는 코드 생성에 대해 더 자세히 알아보십시오.

사용자가 MISRA C 를 준수하여 목표를 달성하는 데 도움이 되기 위해, MathWorks는 Embedded Coder와 Simulink, Stateflow 모델을 이용한 MISRA Support Table 을 제공하고 있습니다.

MISRA C 분석 패키지에는 다음이 포함되어 있습니다.

  • 규칙 요약문과 상세한 예가 수록된 문서
  • Simulink 모델

Polyspace 제품으로 MISRA 준수 여부를 검증하는 방법에 대해 더 알아보십시오.

MISRA C 애플리케이션 개발을 위한 주요 제품:

도와드릴 방법을 알려주십시오.

고객 맞춤형 평가를 원하시거나 필요에 따른 가격을 알아보려면 연락해 주십시오.

시작하기