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

Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.

Simulink® Check™ Model Advisor를 사용하여 모델 또는 하위 시스템이 High Integrity System Model 모델링 지침을 준수하는지 확인할 수 있습니다. 모델링 지침은 다음과 같은 안전 표준의 선택된 측면을 준수하도록 고안되었습니다.

  • DO-178C / DO-331

  • IEC 61508

  • IEC 62304

  • ISO 26262

  • EN 50128(및 EN 50657)

  • ISO 25119

높은 무결성 시스템 모델링 지침을 준수하는지 확인하려면 다음 Model Advisor 폴더에서 높은 무결성 검사를 실행하세요.

  • 작업별 > DO-178C/DO-331에 대한 모델링 표준 > 고무결성 시스템

  • 작업별 > IEC 61508에 대한 모델링 표준 > 고무결성 시스템

  • 작업별 > IEC 62304에 대한 모델링 표준 > 고무결성 시스템

  • 작업별 > EN 50128/EN 50657에 대한 모델링 표준 > 고무결성 시스템

  • 작업별 > ISO 26262에 대한 모델링 표준 > 고무결성 시스템

  • 작업별 > ISO 25119에 대한 모델링 표준 > 고무결성 시스템

높은 무결성 시스템 모델링 지침과 해당 검사가 이 표에 요약되어 있습니다. Model Advisor 검사가 없는 지침의 경우 지침 검사를 자동화할 수 없습니다. 해당 확인 사항이 없는 지침은 해당 사항이 없는 것으로 표시됩니다.

모델 어드바이저 확인ID 확인높은 무결성 시스템 모델링 지침
Check usage of lookup table blocks (Lookup Table 블록 사용 검사)mathworks.hism.hisl_0033hisl_0033: Usage of Lookup Table blocks
Check for inconsistent vector indexing methods (일치하지 않는 벡터 인덱싱 방법이 있는지 검사)mathworks.hism.hisl_0021hisl_0021: Consistent vector indexing method
Check usage of variant blocks (Variant 블록 사용 검사)mathworks.hism.hisl_0023hisl_0023: Verification of variant blocks
Check for root Inports with missing properties (속성이 누락된 루트 Inport가 있는지 검사)mathworks.hism.hisl_0024hisl_0024: Inport interface definition
관계 연산자 블록의 사용량 확인mathworks.hism.hisl_0017hisl_0017: Usage of blocks that compute relational operators (2)
Check relational comparisons on floating-point signals (부동소수점 신호에 대한 관계 비교 검사)mathworks.hism.hisl_0016hisl_0016: Usage of blocks that compute relational operators
Check usage of Logical Operator blocks (Logical Operator 블록 사용 검사)mathworks.hism.hisl_0018hisl_0018: Usage of Logical Operator block
Check usage of While Iterator blocks (While Iterator 블록 사용 검사)mathworks.hism.hisl_0006hisl_0006: Usage of While Iterator blocks
Check usage of For and While Iterator subsystems (For Iterator Subsystem 및 While Iterator Subsystem 사용 검사)mathworks.hism.hisl_0007hisl_0007: Usage of For Iterator or While Iterator subsystems
Check usage of For Iterator blocks (For Iterator 블록 사용 검사)mathworks.hism.hisl_0008hisl_0008: Usage of For Iterator Blocks
Check usage of If blocks and If Action Subsystem blocks (If 블록 및 If Action Subsystem 블록 사용 검사)mathworks.hism.hisl_0010hisl_0010: Usage of If blocks and If Action Subsystem blocks
Check usage of Switch Case blocks and Switch Case Action Subsystem blocks (Switch Case 블록 및 Switch Case Action Subsystem 블록 사용 검사)mathworks.hism.hisl_0011hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
논리 신호에 대한 안전 관련 최적화 설정 확인mathworks.hism.hisl_0045hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
애플리케이션 수명을 위한 안전 관련 최적화 설정 확인mathworks.hism.hisl_0048hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days)
데이터 초기화를 위한 안전 관련 최적화 설정 확인mathworks.hism.hisl_0052hisl_0052: Configuration Parameters > Code Generation > Optimization > Data initialization
데이터 유형 변환에 대한 안전 관련 최적화 설정 확인mathworks.hism.hisl_0053hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values
나눗셈 연산 예외에 대한 안전 관련 최적화 설정 확인mathworks.hism.hisl_0054hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against division arithmetic exceptions
코멘트에 대한 안전 관련 코드 생성 설정을 확인하세요.mathworks.hism.hisl_0038hisl_0038: Configuration Parameters > Code Generation > Comments
안전 관련 코드 생성 인터페이스 설정 확인mathworks.hism.hisl_0039hisl_0039: Configuration Parameters > Code Generation > Interface
코드 스타일에 대한 안전 관련 코드 생성 설정 확인mathworks.hism.hisl_0047hisl_0047: Configuration Parameters > Code Generation > Code Style
안전 관련 코드 생성 식별자 설정 확인mathworks.hism.hisl_0049hisl_0049: Configuration Parameters > Code Generation > Identifiers
Check usage of Abs blocks (Abs 블록 사용 검사)mathworks.hism.hisl_0001hisl_0001: Usage of Abs block
Check usage of remainder and reciprocal operations (나머지 및 역수 연산 사용 검사)mathworks.sldv.hism.hisl_0002hisl_0002: Usage of remainder and reciprocal operations
Check usage of square root operations (제곱근 연산 사용 검사)mathworks.hism.hisl_0003hisl_0003: Usage of square root operations
Check usage of log and log10 operations (log 및 log10 연산 사용 검사)mathworks.sldv.hism.hisl_0004hisl_0004: Usage of natural logarithm and base 10 logarithm operations
할당 블록 사용량 확인mathworks.hism.hisl_0029hisl_0029: Usage of Assignment blocks
Check usage of Signal Routing blocks (Signal Routing 블록 사용 검사)mathworks.hism.hisl_0034hisl_0034: Usage of Signal Routing blocks
Check for root Inports with missing range definitions (범위 정의가 누락된 루트 Inport가 있는지 검사)mathworks.hism.hisl_0025hisl_0025: Design min/max specification of input interfaces
Check for root Outports with missing range definitions (범위 정의가 누락된 루트 Outport 검사)mathworks.hism.hisl_0026hisl_0026: Design min/max specification of output interfaces
Check state machine type of Stateflow charts (Stateflow 차트의 상태 머신 유형 검사)mathworks.hism.hisf_0001hisf_0001: State Machine Type
Check Stateflow charts for transition paths that cross parallel state boundaries (Stateflow 차트에 병렬 상태 경계를 가로지르는 천이 경로가 있는지 검사)mathworks.hism.hisf_0013hisf_0013: Usage of transition paths (crossing parallel state boundaries)
mathworks.hism.hisf_0002
Check Stateflow debugging options (Stateflow 디버그 옵션 검사)mathworks.hism.hisf_0011hisf_0011: Stateflow debugging settings
Check Stateflow charts for uniquely defined data objects (Stateflow 차트에 고유하게 정의된 데이터 객체가 있는지 검사)mathworks.hism.hisl_0061hisl_0061: Unique identifiers for clarity
Check Stateflow charts for strong data typing (Stateflow 차트에서 강한 데이터형 지정 검사)mathworks.hism.hisf_0015hisf_0015: Strong data typing (casting variables and parameters in expressions)
Check assignment operations in Stateflow charts (Stateflow 차트에서 대입 연산 검사)mathworks.hism.hisf_0065hisf_0065: Type cast operations in Stateflow to improve code compliance
Check Stateflow charts for unary operators (Stateflow 차트에서 단항 연산자 검사)mathworks.hism.hisf_0211hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance
Check for MATLAB Function interfaces with inherited properties (상속된 속성을 갖는 MATLAB Function 인터페이스가 있는지 검사)mathworks.hism.himl_0002himl_0002: Strong data typing at MATLAB function boundaries
MATLAB 함수 메트릭 확인mathworks.hism.himl_0003himl_0003: Complexity of user-defined MATLAB Functions
Check MATLAB Code Analyzer messages (MATLAB 코드 분석기 메시지 검사)mathworks.hism.himl_0004himl_0004: MATLAB Code Analyzer recommendations for code generation
안전 관련 모델 참조 설정 확인mathworks.hism.hisl_0037hisl_0037: Configuration Parameters > Model Referencing
솔버의 안전 관련 진단 설정 확인mathworks.hism.hisl_0043hisl_0043: Configuration Parameters > Diagnostics > Solver
시뮬레이션 시간에 대한 안전 관련 솔버 설정 확인mathworks.hism.hisl_0040hisl_0040: Configuration Parameters > Solver > Simulation time
솔버 옵션에 대한 안전 관련 솔버 설정을 확인하세요.mathworks.hism.hisl_0041hisl_0041: Configuration Parameters > Solver > Solver options
작업 및 샘플 시간에 대한 안전 관련 솔버 설정을 확인하세요.mathworks.hism.hisl_0042hisl_0042: Configuration Parameters > Solver > Tasking and sample time options
샘플 시간에 대한 안전 관련 진단 설정을 확인하세요.mathworks.hism.hisl_0044hisl_0044: Configuration Parameters > Diagnostics > Sample Time
매개변수에 대한 안전 관련 진단 설정을 확인하세요.mathworks.hism.hisl_0302hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters
디버깅에 사용되는 데이터에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0305hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging
데이터 저장소 메모리에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0013hisl_0013: Usage of data store memory
유형 변환을 위한 안전 관련 진단 설정 확인mathworks.hism.hisl_0309hisl_0309: Configuration Parameters > Diagnostics > Type Conversion
신호 연결에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0306hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals
버스 연결에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0307hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses
기능 호출 연결에 적용되는 안전 관련 진단 설정을 확인하세요.mathworks.hism.hisl_0308hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls
안전 관련 진단 설정의 호환성을 확인하세요.mathworks.hism.hisl_0301hisl_0301: Configuration Parameters > Diagnostics > Compatibility
모델 초기화를 위한 안전 관련 진단 설정 확인mathworks.hism.hisl_0304hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
모델 참조를 위한 안전 관련 진단 설정 확인mathworks.hism.hisl_0310hisl_0310: Configuration Parameters > Diagnostics > Model Referencing
저장을 위한 안전 관련 진단 설정 확인mathworks.hism.hisl_0036hisl_0036: Configuration Parameters > Diagnostics > Saving
병합 블록에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0303hisl_0303: Configuration Parameters > Diagnostics > Data Validity > Merge blocks
Stateflow의 안전 관련 진단 설정 확인mathworks.hism.hisl_0311hisl_0311: Configuration Parameters > Diagnostics > Stateflow
Check model object names (모델 객체 이름 검사)mathworks.hism.hisl_0032hisl_0032: Model element names
Check for model elements that do not link to requirements (요구 사항에 연결되지 않은 모델 요소가 있는지 검사)mathworks.hism.hisl_0070hisl_0070: Placement of requirement links in a model
Check for inappropriate use of transition paths (천이 경로가 부적절하게 사용되었는지 검사)mathworks.hism.hisf_0014hisf_0014: Usage of transition paths (passing through states)
Check usage of bit operation blocks (Bit Operation 블록 사용 검사)mathworks.hism.hisl_0019hisl_0019: Usage of bitwise operations
Check data types for blocks with index signals (인덱스 신호를 갖는 블록에 대한 데이터형 검사)mathworks.hism.hisl_0022hisl_0022: Data type selection for index signals
Check model file name (모델 파일 이름 검사)mathworks.hism.hisl_0031hisl_0031: Model file names
Check if/elseif/else patterns in MATLAB Function blocks (MATLAB Function 블록에서 if/elseif/else 패턴 검사)mathworks.hism.himl_0006himl_0006: MATLAB code if / elseif / else patterns
Check switch statements in MATLAB Function blocks (MATLAB Function 블록에서 switch 문 검사)mathworks.hism.himl_0007himl_0007: MATLAB code switch / case / otherwise patterns
Check global variables in graphical functions (그래픽 함수의 전역 변수 검사)mathworks.hism.hisl_0062hisl_0062: Global variables in graphical functions
Check for length of user-defined object names (사용자 정의 객체 이름의 길이 검사)mathworks.hism.hisl_0063hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance
Check usage of Merge blocks (Merge 블록 사용 검사)mathworks.hism.hisl_0015hisl_0015: Usage of Merge blocks
Check usage of standardized MATLAB function headers (표준화된 MATLAB 함수 헤더 사용 검사)mathworks.hism.himl_0001himl_0001: Usage of standardized MATLAB function headers
Check usage of relational operators in MATLAB Function blocks (MATLAB Function 블록에서 관계 연산자 사용 검사)mathworks.hism.himl_0008himl_0008: MATLAB code relational operator data types
Check usage of logical operators and functions in MATLAB Function blocks (MATLAB Function 블록에서 논리 연산자 및 함수 사용 검사)mathworks.hism.himl_0010himl_0010: MATLAB code with logical operators and functions
Check type and size of condition expressions (조건식의 유형 및 크기 검사)mathworks.hism.himl_0011himl_0011: Data type and size of condition expressions
Check naming of ports in Stateflow charts (Stateflow 차트에서 포트 명명 검사)mathworks.hism.hisf_0016hisf_0016: Stateflow port names
Check scoping of Stateflow data objects (Stateflow 데이터 객체의 범위 지정 검사)mathworks.hism.hisf_0017hisf_0017: Stateflow data object scoping
Check usage of Gain blocks (Gain 블록 사용 검사)mathworks.hism.hisl_0066hisl_0066: Usage of Gain blocks
Check for divide-by-zero calculations (0으로 나누기 계산 검사)mathworks.hism.hisl_0067hisl_0067: Protect against divide-by-zero calculations
Check data type of loop control variables (루프 제어 변수의 데이터형 검사)mathworks.hism.hisl_0102hisl_0102: Data type of loop control variables to improve MISRA C:2012 compliance
MISRA C:2012의 구성 매개변수를 확인하세요.mathworks.misra.CodeGenSettingshisl_0060: Configuration parameters that improve MISRA C:2012 compliance

Check for blocks not recommended for C/C++ production code deployment (C/C++ 프로덕션 코드 배포에 권장되지 않는 블록이 있는지 검사)

MISRA C:2012에 권장되지 않는 블록을 확인하세요.

mathworks.hism.hisl_0020

mathworks.misra.BlkSupport

hisl_0020: Blocks not recommended for MISRA C:2012 compliance

지정된 최소값과 최대값에 대한 안전 관련 최적화 설정을 확인하세요.

mathworks.hism.hisl_0056hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values
Check usage of Reciprocal Sqrt blocks (Reciprocal Sqrt 블록 사용 검사)mathworks.hism.hisl_0028hisl_0028: Usage of Reciprocal Square Root blocks
하드웨어 구현을 위한 안전 관련 설정 확인mathworks.hism.hisl_0071hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware implementation settings
Check usage of recursions (재귀 사용 검사)mathworks.hism.hisf_0004hisf_0004: Protect against recursive function calls to improve code compliance
Check MATLAB functions not supported for code generation (코드 생성 시 지원되지 않는 MATLAB 함수 검사)mathworks.hism.himl_0012himl_0012: Usage of MATLAB functions for code generation
생성된 코드 복잡성에 대한 메트릭mathworks.hism.himl_0013himl_0013: Limitation of built-in MATLAB Function complexity
Check for parameter tunability ignored for referenced models (참조된 모델에 대해 무시된 파라미터 조정 가능성이 있는지 검사)mathworks.hism.hisl_0072hisl_0072: Usage of tunable parameters for referenced models
Check usage of bit-shift operations (비트 시프트 연산 사용 검사)mathworks.hism.hisl_0073hisl_0073: Usage of bit-shift operations
변형에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0074hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
Check for disabled and parameterized library links (비활성화된 라이브러리 링크 및 파라미터화된 라이브러리 링크가 있는지 검사)mathworks.hism.hisl_0075hisl_0075: Usage of library links
Check for unreachable and dead code (도달할 수 없는 코드 및 데드 코드가 있는지 검사)mathworks.hism.hisl_0101hisl_0101: Prevent operations that result in dead logic to improve code compliance
Check for root Outports with missing properties (속성이 누락된 루트 Outport 검사)mathworks.hism.hisl_0077hisl_0077: Outport interface definition
Check usage of identical modeling patterns (동일한 모델 패턴의 사용 검사)mathworks.hism.hisl_0078hisl_0078: Usage of identical modeling patterns
Check for invalid root input and output port connections (유효하지 않은 루트 입력 및 출력 포트 연결이 있는지 검사)mathworks.hism.hisl_0079hisl_0079: Connections to root input/output ports

참조: