이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
DO-178C/DO-331 산업 표준에 대한 Model Advisor 검사
Model Advisor를 사용하여 모델이나 하위 시스템이 DO-178C / DO-331 안전 표준의 선택된 측면을 준수하는지 확인할 수 있습니다.
이러한 검사를 실행하려면 open the Model Advisor를 실행하고 작업별 > Modeling Guidelines for DO-178C/DO-331에서 검사를 실행하세요.
이러한 검사를 실행하려면 Embedded Coder®, Simulink® Check™, Simulink Design Verifier™ 또는 Requirements Toolbox™가 필요합니다.
DO-178 표준 및 관련 표준과 관련된 프로젝트에 사용하기 위해 DO Qualification Kit에 의해 자격을 갖춘 Model Advisor 검사 목록은 Simulink Check - Trace Matrix(mathworks_slchk_trace.xlsx
)을 참조하세요. 이 아티팩트는 Simulink Check에 대해 생성한 검증 프로젝트에서 사용할 수 있습니다. 자세한 내용은 Set Up Tool-Specific Qualification Projects (DO Qualification Kit)를 참조하세요.
참고
모델이 모델 참조를 사용하는 경우 최상위 모델에서 실행하기 전에 참조된 모든 모델에 대해 검증된 검사를 실행하세요.
모델 고문 하위 폴더 | 모델 어드바이저 확인 | ID 확인 |
---|---|---|
해당 없음 | 모델 버전 정보 표시 | mathworks.do178.MdlChecksum |
고무결성 시스템 | Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다. 참조 | |
Simulink | Identify unconnected lines, input ports, and output ports | mathworks.design.UnconnectedLinesPorts |
라이브러리 링크 | Identify unresolved library links | mathworks.design.UnresolvedLibLinks |
요구 사항 일치 | Model Advisor가 요구 사항 링크를 확인합니다. 참조 | |
버그 리포트 | Bug Report Checks (DO Qualification Kit) 참조 |
모델 버전 정보 표시
검사 ID: mathworks.do178.MdlChecksum
보고서에 모델 버전 정보를 표시합니다.
설명
이 검사는 현재 모델에 대해 다음 정보를 표시합니다.
버전 번호
작가
날짜
모델 체크섬
Simulink Check로 구매 가능합니다.
결과 및 권장 조치
상태 | 권장 조치 |
---|---|
모델 버전 및 체크섬 정보를 검색할 수 없습니다. | 이 요약은 정보 제공을 위해 제공됩니다. 조치가 필요하지 않습니다. |
기능 및 제한 사항
라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트의 제외를 허용하지 않습니다.
참조:
Reports for Code Generation (Simulink Coder)
항공 시스템 및 장비 인증 및 관련 표준의 DO-178C 소프트웨어 고려 사항에 대한 정보는 Radio Technical Commission for Aeronautics (RTCA)입니다.