이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
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 links | mathworks.design.UnresolvedLibLinks |
| 요구 사항 일치 | Model Advisor가 요구 사항 링크를 확인합니다. 참조 | |
| HDL Coder | HDL Code Advisor Checks (HDL Coder) 참조 | |
높은 무결성 시스템 모델링을 위한 모델 검사
Model Advisor를 실행하여 모델 또는 하위 시스템이 High Integrity System Model 안전 표준의 선택된 측면을 준수하는지 확인할 수 있습니다.
높은 무결성 시스템 모델 표준 준수 여부를 확인하려면 작업별 > DO-254에 대한 모델링 표준 > 고무결성 시스템에서 높은 무결성 검사를 실행하세요.
아래 표에는 DO-254 안전 표준을 지원하는 높은 무결성 시스템 모델 검사와 해당 모델링 지침이 나열되어 있습니다. 높은 무결성 모델링 지침에 대한 자세한 내용은 고무결성 시스템 모델링를 참조하세요.
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 코드 생성을 위해 최상위 수준에 있을 수 없는 하위 시스템을 확인하세요. |
