Main Content

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

DO-254 표준 준수를 위한 Model Advisor 검사

Model Advisor를 실행하여 모델 또는 하위 시스템이 DO-254 안전 표준의 선택된 측면을 준수하는지 확인할 수 있습니다.

DO 표준 준수 여부를 확인하려면 open the Model Advisor를 실행하고 작업별 > DO-254에 대한 모델링 표준에서 확인을 실행하세요.

항공 시스템 및 장비 인증 및 관련 표준의 DO-254 소프트웨어 고려 사항에 대한 자세한 내용은 Radio Technical Commission for Aeronautics (RTCA)를 참조하세요.

아래 표에는 DO-254 검사가 나열되어 있습니다.

모델 고문 하위 폴더모델 어드바이저 확인ID 확인
해당 없음모델 버전 정보 표시mathworks.do178.MdlChecksum
고무결성 시스템Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다. 참조
라이브러리 링크Identify unresolved library linksmathworks.design.UnresolvedLibLinks
요구 사항 일치Model Advisor가 요구 사항 링크를 확인합니다. 참조
HDL CoderHDL Code Advisor Checks (HDL Coder) 참조

높은 무결성 시스템 모델링을 위한 모델 검사

Model Advisor를 실행하여 모델 또는 하위 시스템이 High Integrity System Model 안전 표준의 선택된 측면을 준수하는지 확인할 수 있습니다.

높은 무결성 시스템 모델 표준 준수 여부를 확인하려면 작업별 > DO-254에 대한 모델링 표준 > 고무결성 시스템에서 높은 무결성 검사를 실행하세요.

아래 표에는 DO-254 안전 표준을 지원하는 높은 무결성 시스템 모델 검사와 해당 모델링 지침이 나열되어 있습니다. 높은 무결성 모델링 지침에 대한 자세한 내용은 고무결성 시스템 모델링를 참조하세요.

높은 무결성 시스템 모델 확인적용 가능한 높은 무결성 시스템 모델링 지침
일치하지 않는 벡터 인덱싱 방법이 있는지 검사hisl_0021: Consistent vector indexing method
'전처리기 조건문 생성'이 활성 상태인 Variant 블록이 있는지 검사hisl_0023: Verification of variant blocks
속성이 누락된 루트 Inport가 있는지 검사hisl_0024: Inport interface definition
Check for Relational Operator blocks that equate floating-point typeshisl_0017: Usage of blocks that compute relational operators (2)
부동소수점 신호에 대한 관계 비교 검사hisl_0016: Usage of blocks that compute relational operators
Logical Operator 블록 사용 검사hisl_0018: Usage of Logical Operator block
샘플 시간 종속 블록 검사hisl_0007: Usage of For Iterator or While Iterator subsystems
Abs 블록 사용 검사hisl_0001: Usage of Abs block
Assignment 블록 사용 검사hisl_0029: Usage of Assignment blocks
범위 정의가 누락된 루트 Inport가 있는지 검사hisl_0025: Design min/max specification of input interfaces
범위 정의가 누락된 루트 Outport 검사hisl_0026: Design min/max specification of output interfaces
Stateflow 차트에 병렬 상태 경계를 가로지르는 천이 경로가 있는지 검사hisf_0013: Usage of transition paths (crossing parallel state boundaries)
Stateflow 차트에서 상태 및 천이의 순서 지정 검사hisf_0002: User-specified state/transition execution order
Stateflow 디버그 옵션 검사hisf_0011: Stateflow debugging settings
Stateflow 차트에 고유하게 정의된 데이터 객체가 있는지 검사hisl_0061: Unique identifiers for clarity
Stateflow 차트에서 단항 연산자 검사hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance
MATLAB 코드 분석기 메시지 검사himl_0004: MATLAB Code Analyzer recommendations for code generation
안전 관련 모델 참조 설정 검사hisl_0037: Configuration Parameters > Model Referencing
파라미터에 대한 안전 관련 진단 설정 검사hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters
유형 변환에 대한 안전 관련 진단 설정 검사hisl_0309: Configuration Parameters > Diagnostics > Type Conversion
신호 연결성에 대한 안전 관련 진단 설정 검사hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals
버스 연결성에 대한 안전 관련 진단 설정 검사hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses
모델 초기화에 대한 안전 관련 진단 설정 검사hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
모델 참조에 대한 안전 관련 진단 설정 검사hisl_0310: Configuration Parameters > Diagnostics > Model Referencing
저장에 대한 안전 관련 진단 설정 검사hisl_0036: Configuration Parameters > Diagnostics > Saving
Stateflow에 대한 안전 관련 진단 설정 검사hisl_0311: Configuration Parameters > Diagnostics > Stateflow
모델 객체 이름 검사hisl_0032: Model element names
요구 사항에 연결되지 않은 모델 요소가 있는지 검사hisl_0070: Placement of requirement links in a model
천이 경로가 부적절하게 사용되었는지 검사hisf_0014: Usage of transition paths (passing through states)
Check usage of Bitwise Operator blockhisl_0019: Usage of bitwise operations
인덱스 신호를 갖는 블록에 대한 데이터형 검사hisl_0022: Data type selection for index signals
모델 파일 이름 검사hisl_0031: Model file names
MATLAB Function 블록에서 if/elseif/else 패턴 검사himl_0006: MATLAB code if / elseif / else patterns
MATLAB Function 블록에서 switch 문 검사himl_0007: MATLAB code switch / case / otherwise patterns
그래픽 함수의 전역 변수 검사hisl_0062: Global variables in graphical functions
사용자 정의 객체 이름의 길이 검사hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance
표준화된 MATLAB 함수 헤더 사용 검사himl_0001: Usage of standardized MATLAB function headers
MATLAB Function 블록에서 관계 연산자 사용 검사himl_0008: MATLAB code relational operator data types
MATLAB Function 블록에서 논리 연산자 및 함수 사용 검사himl_0010: MATLAB code with logical operators and functions
Stateflow 차트에서 포트 명명 검사hisf_0016: Stateflow port names
Stateflow 데이터 객체의 범위 지정 검사hisf_0017: Stateflow data object scoping
Gain 블록 사용 검사hisl_0066: Usage of Gain blocks
루프 제어 변수의 데이터형 검사hisl_0102: Data type of loop control variables to improve MISRA C:2012 compliance
속성이 누락된 루트 Outport 검사hisl_0077: Outport interface definition

HDL 코드 어드바이저 검사

HDL 코드 어드바이저 및 모델 어드바이저는 HDL Coder™에서 HDL 코드 생성과의 호환성을 위해 Simulink® 모델 또는 하위 시스템을 확인하고 업데이트합니다. Code Advisor는 다음 사항을 확인합니다.

  • 모델 구성 설정

  • 포트 및 하위 시스템 설정

  • 블록 및 블록 설정

  • 기본 부동 소수점 지원

  • 업계 표준 지침

다음 표에는 DO-254 안전 표준에서 지원되는 HDL Code Advisor 검사가 나열되어 있습니다.

HDL 코드 어드바이저 검사설명
Check for infinite and continuous sample time sources (HDL Coder)지속적인 샘플 시간으로 소스 블록을 확인합니다.
Check for unsupported blocks (HDL Coder)HDL 코드 생성을 위해 지원되지 않는 블록을 확인하세요.
Check for large matrix operations (HDL Coder)대규모 행렬 연산을 확인하세요.
Identify unconnected lines, input ports, and output ports연결되지 않은 회선이나 포트를 확인하세요.
Identify disabled library links비활성화된 라이브러리 링크에 대한 검색 모델입니다.
Identify unresolved library links지정된 라이브러리 블록을 찾을 수 없는 해결되지 않은 라이브러리 링크에 대한 모델을 검색합니다.
Check for MATLAB Function block settings (HDL Coder)MATLAB Function 블록에 대한 HDL 호환 설정을 확인하세요.
Check for Stateflow chart settings (HDL Coder)

Stateflow® Chart 블록에 대한 HDL 호환 설정을 확인하세요.

Check Delay, Unit Delay and Zero-Order Hold blocks for rate transition요율 전환에 사용되는 Delay, Unit Delay 또는 Zero-Order Hold 블록을 식별합니다. 이 블록을 실제 속도 전환 블록으로 교체하십시오.
Check for unsupported storage class for signal objects (HDL Coder)신호 개체 저장소 클래스가 'ExportedGlobal', 'ImportedExtern' 또는 'ImportedExternPointer'인지 확인하세요.
Check file extension (HDL Coder)엔터티가 포함된 VHDL 파일의 파일 확장자를 확인합니다.
Check naming conventions (HDL Coder)EDA 도구에서 사용되는 표준 키워드를 확인하세요.
Check top-level subsystem/port names (HDL Coder)최상위 모듈/엔티티 및 포트 이름을 확인하세요.
Check module/entity names (HDL Coder)모듈/엔티티 이름을 확인하세요.
Check signal and port names (HDL Coder)신호 및 포트 이름 길이를 확인하십시오.
Check package file names (HDL Coder)패키지가 포함된 파일 이름을 확인하세요.
Check generics (HDL Coder)최상위 하위 시스템에서 제네릭을 확인하세요.
Check clock, reset, and enable signals (HDL Coder)클럭, 재설정 및 활성화 신호에 대한 명명 규칙을 확인하세요.
Check architecture name (HDL Coder)생성된 HDL 코드에서 VHDL 아키텍처 이름을 확인하세요.
Check entity and architecture (HDL Coder)VHDL 엔터티와 아키텍처가 동일한 파일에 기술되어 있는지 확인하세요.
Check clock settings (HDL Coder)클록 신호에 대한 제약 조건을 확인하세요.
Check for global reset setting for Xilinx and Altera devices (HDL Coder)Altera® 장치의 비동기 재설정 설정과 Xilinx® 장치의 동기 재설정 설정을 확인하세요.
Check inline configurations setting (HDL Coder)InlineConfigurations이 활성화되어 있는지 확인하세요.
Check algebraic loops (HDL Coder)대수 루프에 대한 모델을 확인합니다.
Check for visualization settings (HDL Coder)디스플레이 설정에 대한 모델 확인: 포트 데이터 유형 및 샘플 시간 색상 코딩.
Check delay balancing setting (HDL Coder)잔액 확인 지연이 활성화되었습니다.

Check for model parameters suited for HDL code generation (HDL Coder)

HDL 코드 생성을 위해 설정된 모델 매개변수를 확인합니다.
Check for double data types in the model (HDL Coder)모델에서 double 데이터 유형을 확인하세요.
Check for Data Type Conversion blocks with incompatible settings (HDL Coder)데이터 유형 변환 블록의 변환 모드를 확인하십시오.
Check for HDL Reciprocal block usage (HDL Coder)HDL Reciprocal 블록이 부동 소수점 유형을 사용하고 있지 않은지 확인하세요.
Check for Relational Operator block usage (HDL Coder)부동 소수점 유형을 사용하는 Relational Operator 블록에 부울 출력이 있는지 확인하세요.
Check for unsupported blocks with Native Floating Point (HDL Coder)기본 부동 소수점을 사용하여 지원되지 않는 블록을 확인하세요.
Check for blocks that have nonzero output latency (HDL Coder)기본 부동 소수점을 사용하여 출력 대기 시간이 0이 아닌 블록을 확인합니다.
Check blocks with nonzero ULP error (HDL Coder)기본 부동 소수점을 사용하여 0이 아닌 ULP 오류가 있는 블록을 확인하세요.
Check for single datatypes in the model (HDL Coder)모델에서 single 데이터 유형을 확인하세요.
Check for invalid top level subsystem (HDL Coder)HDL 코드 생성을 위해 최상위 수준에 있을 수 없는 하위 시스템을 확인하세요.

관련 항목