MISRA C 코딩 표준에 대한 모델 어드바이저 검사

R2026b

모델이나 서브시스템이 MISRA C:2012 및 MISRA C:2023 준수 코드를 생성할 수 있는 가능성을 검사하려면 모델 어드바이저를 열고 작업별 > MISRA C:2023에 대한 모델링 표준에서 검사를 실행합니다.

참고

MISRA C:2012를 준수하는 고무결성 시스템 모델링 지침 및 각 지침과 관련 검사 항목은 MISRA C:2023도 준수합니다. R2026a부터, 모델 어드바이저는 MISRA C:2023을 독점적으로 참조하는 폴더와 검사를 포함하며 이는 또한 MISRA C:2012 준수도 유지합니다.

아래 검사를 실행하려면 Embedded Coder^®와 Simulink^® Check™가 모두 필요합니다.

모델 어드바이저 검사	검사 ID
Check configuration parameters for MISRA C:2023	mathworks.misra.CodeGenSettings
Check for blocks not recommended for C/C++ production code deployment	mathworks.codegen.PCGSupport
Check for blocks not recommended for MISRA C:2023	mathworks.misra.BlkSupport
Check for unsupported block names (지원되지 않는 블록 이름이 있는지 검사)	mathworks.misra.BlockNames
Check usage of Assignment blocks (Assignment 블록 사용 검사)	mathworks.misra.AssignmentBlocks
Check for switch case expressions without a default case (default case를 갖지 않는 switch case 표현식이 있는지 검사)	mathworks.misra.SwitchDefault
AUTOSAR 수신기 인터페이스에 누락된 오류 포트가 있는지 확인하세요.	mathworks.misra.AutosarReceiverInterface
Check for bitwise operations on signed integers (부호 있는 정수에 대한 비트별 연산이 있는지 검사)	mathworks.misra.CompliantCGIRConstructions
재귀 함수 호출이 있는지 검사	mathworks.misra.RecursionCompliance
Check for equality and inequality operations on floating-point values (부동소수점 값에 대한 등식 및 부등식 연산이 있는지 검사)	mathworks.misra.CompareFloatEquality
모델 함수에 누락된 const 한정자가 있는지 확인하세요.	mathworks.misra.ModelFunctionInterface
Check integer word lengths (정수 워드 길이 검사)	mathworks.misra.IntegerWordLengths
Check bus object names that are used as bus element names	mathworks.misra.BusElementNames
Check for variant blocks that do not have a default choice (디폴트 선택지를 갖지 않는 Variant 블록이 있는지 검사)	mathworks.misra.DefaultChoiceVariantChecks
Check MISRA C2012 compliance on Generated Code	mathworks.misra.checkPolyspaceMISRA2012Compliance
Check MISRA C2023 compliance on Generated Code	mathworks.misra.checkPolyspaceMISRA2023Compliance

MISRA C:2012 및 MISRA C:2023 표준에서 지원하는 고무결성 검사에 액세스하려면 작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 폴더로 이동하십시오.

참고

고무결성 모델링 지침은 MISRA C:2012 및 MISRA C:2023 모델링의 특정 규칙을 준수하도록 하기 위한 것입니다.

또한 고무결성 시스템에는 아래 표에 나온 대로, 기능을 기반으로 고무결성 검사를 포함하는 하위 폴더가 포함되어 있습니다.

작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 > 구성

모델 어드바이저 검사	검사 ID	고무결성 시스템 모델링 지침
Check safety-related optimization settings for logic signals	mathworks.hism.hisl_0045	hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
Check safety-related code generation settings for code style	mathworks.hism.hisl_0047	hisl_0047: Configuration Parameters > Code Generation > Code Style
Check safety-related optimization settings for data type conversions	mathworks.hism.hisl_0053	hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values
Check safety-related optimization settings for integer division arithmetic exceptions	mathworks.hism.hisl_0054	hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against integer division arithmetic exceptions
Check safety-related diagnostic settings for model initialization	mathworks.hism.hisl_0304	hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
Check safety-related diagnostic settings for Stateflow	mathworks.hism.hisl_0311	hisl_0311: Configuration Parameters > Diagnostics > Stateflow
Check safety-related diagnostic settings for signal data	mathworks.hism.hisl_0314	hisl_0314: Configuration Parameters > Diagnostics > Data Validity > Signals

작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 > MATLAB

모델 어드바이저 검사	검사 ID	고무결성 시스템 모델링 지침
Check switch statements in MATLAB Function blocks	mathworks.hism.himl_0007	himl_0007: MATLAB code switch / case / otherwise patterns

작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 > 명명

모델 어드바이저 검사	검사 ID	고무결성 시스템 모델링 지침
Check model object names	mathworks.hism.hisl_0032	hisl_0032: Model element names

작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 > Simulink

모델 어드바이저 검사	검사 ID	고무결성 시스템 모델링 지침
Check usage of Abs blocks	mathworks.hism.hisl_0001	hisl_0001: Usage of Abs block
Check usage of square root operations	mathworks.hism.hisl_0003	hisl_0003: Usage of square root operations
Check usage of While Iterator blocks	mathworks.hism.hisl_0006	hisl_0006: Usage of While Iterator blocks
Check usage of For and While Iterator subsystems	mathworks.hism.hisl_0007	hisl_0007: Usage of For Iterator or While Iterator subsystems
Check usage of For Iterator blocks	mathworks.hism.hisl_0008	hisl_0008: Usage of For Iterator blocks
Check usage of If blocks and If Action Subsystem blocks	mathworks.hism.hisl_0010	hisl_0010: Usage of If blocks and If Action Subsystem blocks
Check usage of Switch Case blocks and Switch Case Action Subsystem blocks	mathworks.hism.hisl_0011	hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
Check usage of Relational Operator blocks	mathworks.hism.hisl_0017	hisl_0017: Usage of blocks that compute relational operators (2)
Check usage of Logical Operator blocks	mathworks.hism.hisl_0018	hisl_0018: Usage of Logical Operator block
Check usage of bit operation blocks	mathworks.hism.hisl_0019	hisl_0019: Usage of bitwise operations
Check for blocks not recommended for C/C++ production code deployment	mathworks.hism.hisl_0020	hisl_0020: Blocks not recommended for MISRA C compliance
Check usage of Reciprocal Sqrt blocks	mathworks.hism.hisl_0028	hisl_0028: Usage of Reciprocal Square Root blocks
Check usage of Assignment blocks	mathworks.hism.hisl_0029	hisl_0029: Usage of Assignment blocks
Check usage of Signal Routing blocks	mathworks.hism.hisl_0034	hisl_0034: Usage of Signal Routing blocks
Check global variables in graphical functions	mathworks.hism.hisl_0062	hisl_0062: Global variables in graphical functions
Check for length of user-defined object names	mathworks.hism.hisl_0063	hisl_0063: Length of user-defined object names to improve MISRA C compliance
Check for divide-by-zero calculations	mathworks.hism.hisl_0067	hisl_0067: Protect against divide-by-zero calculations
Check usage of bit-shift operations	mathworks.hism.hisl_0073	hisl_0073: Usage of bit-shift operations
Check safety-related diagnostic settings for variants	mathworks.hism.hisl_0074	hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
Check for dead logic	mathworks.hism.hisl_0101	hisl_0101: Prevent operations that result in dead logic to improve code compliance
Check data type of loop control variables	mathworks.hism.hisl_0102	hisl_0102: Data type of loop control variables to improve MISRA C compliance
Check usage of remainder and reciprocal operations	mathworks.sldv.hism.hisl_0002	hisl_0002: Usage of remainder and reciprocal operations
Check usage of log and log10 operations	mathworks.sldv.hism.hisl_0004	hisl_0004: Usage of natural logarithm and base 10 logarithm operations

작업별 > MISRA C:2023에 대한 모델링 표준 > 고무결성 시스템 > Stateflow

모델 어드바이저 검사	검사 ID	고무결성 시스템 모델링 지침
Check Stateflow charts for strong data typing	mathworks.hism.hisf_0015	hisf_0015: Strong data typing (casting variables and parameters in expressions)
Check assignment operations in Stateflow Charts	mathworks.hism.hisf_0065	hisf_0065: Type cast operations in Stateflow to improve code compliance
Check Stateflow charts for unary operators	mathworks.hism.hisf_0211	hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance