이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
코드 생성 어드바이저 검사
코드 생성 목표에 사용할 수 있는 검사 항목
코드 생성 목표 검사를 통해 코드 생성에 사용하려는 Simulink® 모델의 설계 및 문제 해결을 용이하게 할 수 있습니다. 코드 생성 목표에 대한 자세한 내용은 코드 생성 어드바이저를 활용한 애플리케이션 목표를 참조하십시오.
코드 생성 어드바이저는 각 코드 생성 목표에 대해 Simulink, Simulink Coder™, Embedded Coder®에서 제공하는 다음과 같은 검사 항목을 포함합니다. 코드 생성 어드바이저에만 있는 두 가지 검사 항목이 목록 아래에 포함되어 있습니다.
| 검사 | 실행 효율성 (모든 타깃) | ROM 효율성 (ERT 기반 타깃) | RAM 효율성 (ERT 기반 타깃) | 안전 예방 조치 (ERT 기반 타깃) | 추적성 (ERT 기반 타깃) | 디버깅 (모든 타깃) | MISRA C:2023 지침 (ERT 기반 타깃) | MISRA C++:2023 지침 (ERT 기반 타깃) | Polyspace® (ERT 기반 타깃) |
|---|---|---|---|---|---|---|---|---|---|
| 코드 생성 목표에 따라 모델 구성 설정을 검사함 | 포함됨 | 포함됨 | 포함됨 | 포함됨 | 포함됨 | 포함됨 | 포함됨 (아래 참고 참조) | 포함됨 (아래 참고 참조) | 포함됨 |
| Check for optimal bus virtuality | 포함됨 | 포함됨 | 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A |
| 지정된 시스템 내에서 의심스러운 블록을 식별합니다. | 포함됨 | 포함됨 | 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A |
| Check the hardware implementation (Embedded Coder) | Embedded Coder가 사용 가능한 경우 포함됨 | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify questionable software environment specifications (Embedded Coder) | 추적성이 최우선 순위가 아니며 Embedded Coder를 사용할 수 있는 경우에 포함됩니다. | 추적성이 최우선 순위가 아니며 Embedded Coder를 사용할 수 있는 경우에 포함됩니다. | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify questionable code instrumentation (data I/O) (Embedded Coder) | 추적성이나 디버깅이 최우선 순위가 아니며 Embedded Coder를 사용할 수 있는 경우에 포함됩니다. | 추적성이나 디버깅이 최우선 순위가 아니며 Embedded Coder를 사용할 수 있는 경우에 포함됩니다. | 추적성이나 디버깅이 최우선 순위가 아니며 Embedded Coder를 사용할 수 있는 경우에 포함됩니다. | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify questionable subsystem settings (Embedded Coder) | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify blocks that generate expensive rounding code (Embedded Coder) | Embedded Coder가 사용 가능한 경우 포함됨 | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify questionable fixed-point operations (Embedded Coder) | Embedded Coder 또는 Fixed-Point Designer™가 사용 가능한 경우 포함됨 | Embedded Coder 또는 Fixed-Point Designer가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| Identify lookup table blocks that generate expensive out-of-range checking code (Embedded Coder) | Embedded Coder가 사용 가능한 경우 포함됨 | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| Check output types of logic blocks (Embedded Coder) | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
| N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A | |
| Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Identify block output signals with continuous sample time and non-floating point data type | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check for blocks that have constraints on tunable parameters | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check if read/write diagnostics are enabled for data store blocks | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check structure parameter usage with bus signals | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check data store block sample times for modeling errors | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check for potential ordering issues involving data store access | N/A | N/A | N/A | 포함됨 | N/A | N/A | N/A | N/A | N/A |
| Check for blocks not recommended for C/C++ production code deployment (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for blocks not recommended for MISRA C:2023 (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for unsupported block names (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check usage of Assignment blocks (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for bitwise operations on signed integers (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for recursive function calls (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for equality and inequality operations on floating-point values (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check for switch case expressions without a default case (Embedded Coder) | N/A | N/A | N/A | N/A | N/A | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A |
| Check configuration parameters for generation of inefficient saturation code (Embedded Coder) | Embedded Coder가 사용 가능한 경우 포함됨 | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | Embedded Coder가 사용 가능한 경우 포함됨 | N/A | N/A | N/A | N/A | N/A |
참고
코드 생성 어드바이저가 모델을 MISRA C:2023 지침의 목표에 따라 검사할 때, 이 툴은 모델 어드바이저의 MISRA C:2023 지침 검사에서 확인되는 모든 구성 파라미터 설정을 고려하지는 않습니다. 구성 파라미터 설정을 전체적으로 확인하려면:
모델 어드바이저를 엽니다.
작업별 > MISRA C:2023의 모델링 지침로 이동하십시오.
해당 폴더에서 검사를 실행하십시오.
모델 어드바이저 사용에 대한 자세한 내용은 Check Your Model Using the Model Advisor를 참조하십시오.
참고 항목
코드 생성 어드바이저를 사용하여 코드 생성 목표에 맞게 모델 구성하기 (Embedded Coder)
Simulink Check 검사 (Simulink Check)
지정된 시스템 내에서 의심스러운 블록을 식별합니다.
코드 생성이 지원하지 않거나 배포에 권장되지 않는 블록을 식별합니다.
설명
코드 생성기는 자신이 지원하는 블록에 대해서만 코드를 생성합니다. 일부 블록은 프로덕션 코드 배포에 사용하지 않는 것이 좋습니다.
결과 및 권장 조치
| 조건 | 권장 조치 |
|---|---|
| 코드 생성에서 블록이 지원되지 않습니다. | 모델에서 지정된 블록을 제거하거나, 해당 블록을 권장 블록으로 교체하십시오. |
| 블록이 프로덕션 코드 배포에 권장되지 않습니다. | 모델에서 지정된 블록을 제거하거나, 해당 블록을 권장 블록으로 교체하십시오. |
| 값이 1인 Gain 블록이 있는지 검사합니다. | Gain 블록을 Signal Conversion 블록으로 교체하십시오. |
기능 및 제한 사항
다음을 수행할 수 있습니다.
라이브러리 모델에 대해 이 검사를 실행하십시오.
Simulink Check™ 라이선스가 있는 경우, 이 검사에서 블록과 차트를 제외하십시오.
참고 항목
Model Advisor Exclusion Overview (Simulink Check)
코드 생성 목표에 따라 모델 구성 설정을 검사함
코드 생성 목표에 따라 모델의 파라미터 설정을 검사합니다.
설명
구성 파라미터 대화 상자의 각 파라미터는 사용자의 목적에 따라 코드 생성 시 권장되는 설정이 다를 수 있습니다. 이 검사를 통해 각 파라미터에 대한 권장 설정을 파악할 수 있으므로, 목표에 따라 최적화된 코드를 구현할 수 있습니다.
결과 및 권장 조치
| 조건 | 권장 조치 |
|---|---|
| 파라미터가 지정된 목표에 대해 권장되는 값 이외의 값으로 설정되어 있습니다. | 파라미터를 권장값으로 설정하십시오. 참고 한 파라미터 값의 변경은 다른 파라미터에 영향을 미칠 수 있습니다. 검사를 통과하려면 여러 번의 반복이 필요할 수도 있습니다. |
조치 결과
검사 창에서 조치 아래에 있는 파라미터 수정을 클릭하면 파라미터 값이 권장값으로 변경됩니다.
참고 항목
Recommended Settings Summary for Model Configuration Parameters (Embedded Coder)
코드 생성 어드바이저를 사용하여 코드 생성 목표에 맞게 모델 구성하기 (Embedded Coder)