Main Content

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

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 확인높은 무결성 시스템 모델링 지침
룩업 테이블 블록 사용량 확인mathworks.hism.hisl_0033hisl_0033: Usage of Lookup Table blocks
일관되지 않은 벡터 인덱싱 방법을 확인하세요.mathworks.hism.hisl_0021hisl_0021: Consistent vector indexing method
변형 블록 사용 확인mathworks.hism.hisl_0023hisl_0023: Verification of variant blocks
속성이 누락된 루트 보고서를 확인하세요.mathworks.hism.hisl_0024hisl_0024: Inport interface definition
관계 연산자 블록의 사용량 확인mathworks.hism.hisl_0017hisl_0017: Usage of blocks that compute relational operators (2)
부동 소수점 신호에 대한 관계 비교 확인mathworks.hism.hisl_0016hisl_0016: Usage of blocks that compute relational operators
논리 연산자 블록의 사용량 확인mathworks.hism.hisl_0018hisl_0018: Usage of Logical Operator block
While Iterator 블록의 사용법을 확인하세요.mathworks.hism.hisl_0006hisl_0006: Usage of While Iterator blocks
For 및 While Iterator 하위 시스템의 사용법을 확인하세요.mathworks.hism.hisl_0007hisl_0007: Usage of For Iterator or While Iterator subsystems
For Iterator 블록의 사용법을 확인하세요.mathworks.hism.hisl_0008hisl_0008: Usage of For Iterator Blocks
If 블록 및 If Action Subsystem 블록의 사용법을 확인하세요.mathworks.hism.hisl_0010hisl_0010: Usage of If blocks and If 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
Abs 블록의 사용량 확인mathworks.hism.hisl_0001hisl_0001: Usage of Abs block
나머지 및 역연산의 사용법을 확인하세요.mathworks.sldv.hism.hisl_0002hisl_0002: Usage of remainder and reciprocal operations
제곱근 연산 사용법 확인mathworks.hism.hisl_0003hisl_0003: Usage of square root operations
로그 및 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
신호 라우팅 블록 사용 확인mathworks.hism.hisl_0034hisl_0034: Usage of Signal Routing blocks
범위 정의가 누락된 루트 가져오기를 확인하세요.mathworks.hism.hisl_0025hisl_0025: Design min/max specification of input interfaces
범위 정의가 누락된 루트 출력을 확인하세요.mathworks.hism.hisl_0026hisl_0026: Design min/max specification of output interfaces
Stateflow 차트의 상태 머신 유형 확인mathworks.hism.hisf_0001hisf_0001: State Machine Type
병렬 상태 경계를 교차하는 전환 경로에 대한 Stateflow 차트를 확인하세요.mathworks.hism.hisf_0013hisf_0013: Usage of transition paths (crossing parallel state boundaries)
상태 및 전환 순서는 Stateflow 차트를 확인하세요.mathworks.hism.hisf_0002hisf_0002: User-specified state/transition execution order
Stateflow 디버깅 옵션 확인mathworks.hism.hisf_0011hisf_0011: Stateflow debugging settings
고유하게 정의된 데이터 개체에 대한 Stateflow 차트를 확인하세요.mathworks.hism.hisl_0061hisl_0061: Unique identifiers for clarity
강력한 데이터 입력을 위해 Stateflow 차트를 확인하세요.mathworks.hism.hisf_0015hisf_0015: Strong data typing (casting variables and parameters in expressions)
Stateflow 차트에서 할당 작업 확인mathworks.hism.hisf_0065hisf_0065: Type cast operations in Stateflow to improve code compliance
단항 연산자에 대한 Stateflow 차트를 확인하세요.mathworks.hism.hisf_0211hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance
상속된 속성이 있는 MATLAB 함수 인터페이스 확인mathworks.hism.himl_0002himl_0002: Strong data typing at MATLAB function boundaries
MATLAB 함수 메트릭 확인mathworks.hism.himl_0003himl_0003: Complexity of user-defined MATLAB Functions
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
모델 객체 이름 확인mathworks.hism.hisl_0032hisl_0032: Model element names
요구사항과 연결되지 않은 모델 요소를 확인하세요.mathworks.hism.hisl_0070hisl_0070: Placement of requirement links in a model
전환 경로의 부적절한 사용을 확인하세요.mathworks.hism.hisf_0014hisf_0014: Usage of transition paths (passing through states)
비트 연산 블록의 사용량 확인mathworks.hism.hisl_0019hisl_0019: Usage of bitwise operations
인덱스 신호가 있는 블록의 데이터 유형 확인mathworks.hism.hisl_0022hisl_0022: Data type selection for index signals
모델 파일명 확인mathworks.hism.hisl_0031hisl_0031: Model file names
MATLAB 함수 블록에서 if/elseif/else 패턴 확인mathworks.hism.himl_0006himl_0006: MATLAB code if / elseif / else patterns
MATLAB 함수 블록에서 스위치 문을 확인하세요.mathworks.hism.himl_0007himl_0007: MATLAB code switch / case / otherwise patterns
그래픽 함수에서 전역 변수 확인mathworks.hism.hisl_0062hisl_0062: Global variables in graphical functions
사용자 정의 개체 이름의 길이를 확인하세요.mathworks.hism.hisl_0063hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance
병합 블록 사용량 확인mathworks.hism.hisl_0015hisl_0015: Usage of Merge blocks
표준화된 MATLAB 함수 헤더의 사용법을 확인하세요.mathworks.hism.himl_0001himl_0001: Usage of standardized MATLAB function headers
MATLAB 함수 블록에서 관계 연산자 사용법 확인mathworks.hism.himl_0008himl_0008: MATLAB code relational operator data types
MATLAB 함수 블록에서 논리 연산자 및 함수의 사용법을 확인하세요.mathworks.hism.himl_0010himl_0010: MATLAB code with logical operators and functions
조건식의 유형 및 크기 확인mathworks.hism.himl_0011himl_0011: Data type and size of condition expressions
Stateflow 차트에서 포트 이름 확인mathworks.hism.hisf_0016hisf_0016: Stateflow port names
Stateflow 데이터 객체의 범위 지정을 확인하세요.mathworks.hism.hisf_0017hisf_0017: Stateflow data object scoping
Gain 블록 사용량 확인mathworks.hism.hisl_0066hisl_0066: Usage of Gain blocks
0으로 나누기 계산 확인mathworks.hism.hisl_0067hisl_0067: Protect against divide-by-zero calculations
루프 제어 변수의 데이터 유형 확인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

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
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
재귀 사용법 확인mathworks.hism.hisf_0004hisf_0004: Protect against recursive function calls to improve code compliance
코드 생성에 지원되지 않는 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
참조 모델에 대해 무시된 매개변수 조정 가능성 확인mathworks.hism.hisl_0072hisl_0072: Usage of tunable parameters for referenced models
비트 시프트 연산 사용법 확인mathworks.hism.hisl_0073hisl_0073: Usage of bit-shift operations
변형에 대한 안전 관련 진단 설정 확인mathworks.hism.hisl_0074hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
비활성화되고 매개변수화된 라이브러리 링크를 확인하세요.mathworks.hism.hisl_0075hisl_0075: Usage of library links
연결할 수 없거나 데드 코드가 있는지 확인하세요.mathworks.hism.hisl_0101hisl_0101: Avoid operations that result in dead logic to improve code compliance
속성이 누락된 루트 Outport를 확인하세요.mathworks.hism.hisl_0077hisl_0077: Outport interface definition
동일한 모델링 패턴의 사용 여부 확인mathworks.hism.hisl_0078hisl_0078: Usage of identical modeling patterns
잘못된 루트 입력 및 출력 포트 연결을 확인하세요.mathworks.hism.hisl_0079hisl_0079: Connections to root input/output ports

참조: