이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

코드 생성을 통해 생성된 코드가 MISRA C 표준을 준수하는지 평가하십시오

Simulink® 및 Stateflow®에서 Embedded Coder®를 통해 수행된 코드 생성이 MISRA C:2012 코딩 표준을 준수하는지 확인하는 것이 중요합니다. 이 워크플로는 생성된 코드가 MISRA C:2012 지침을 준수하는지 평가하는 과정을 보여줍니다.

  1. Simulink 또는 Stateflow에서 모델을 설계하십시오.

  2. 모델 어드바이저를 열고 작업별 > MISRA C:2012에 대한 모델링 표준에서 사용할 수 있는 MISRA C:2012 검사를 실행하십시오.

  3. 필요한 경우, Modeling Guidelines and Model Advisor Checks for Verifying Compliance with MISRA C Standards를 준수하도록 모델을 수정하십시오.

  4. MISRA C:2012 검사가 통과된 후, Embedded Coder를 사용하여 코드를 생성합니다.

    이름 충돌, 중복 함수 정의 및 중복 데이터 정의를 방지하려면 다음 코드 생성 방법 중 하나를 사용하십시오:

    • 단일 모델: Model 블록을 사용하여 하위 모델을 포함한 단일 모델로부터 코드 생성을 수행합니다.

    • 다양한 모델: 다음과 같은 여러 모델에서 코드를 생성합니다:

      • 함수를 동기화하기 위한 공용 유틸리티 폴더

      • 데이터 정의를 관리하기 위한 데이터 소유권

      • 다양한 모델에서 생성된 코드를 관리하기 위한 수동 통합

  5. MISRA C:2012 Directives and Rules (Polyspace Bug Finder)에 대한 검사 프로그램을 실행합니다.

    생성된 코드에 대해 Polyspace® 분석을 실행하는 방법(분석 옵션 및 결과 포함)에 대한 자세한 내용은 Bug Finder Analysis in Simulink (Polyspace Bug Finder)를 참조하십시오.

  6. Polyspace 주석 (Polyspace Bug Finder)을 사용하여 MISRA C:2012 코딩 표준 위반 사항을 정당화하십시오.