DO-178C/DO-331 산업 표준에 대한 모델 어드바이저 검사

R2026b

모델 어드바이저를 사용하여 모델이나 서브시스템이 DO-178C / DO-331 안전 표준의 특정 규칙을 준수하는지 검사할 수 있습니다.

이러한 검사를 실행하려면 모델 어드바이저를 열고 작업별 > DO-178C/DO-331에 대한 모델링 표준에서 검사를 실행합니다.

이러한 검사를 실행하려면 Embedded Coder®, Simulink® Check™, Simulink Design Verifier™ 또는 Requirements Toolbox™가 필요합니다.

DO-178 표준 및 관련 표준과 관련하여 프로젝트에서 사용하도록 DO Qualification Kit의 검증을 받은 모델 어드바이저 검사 목록을 보려면 Simulink Check - Trace Matrix(mathworks_slchk_trace.xlsx)를 참조하십시오. 이 아티팩트는 Simulink Check에 대해 생성한 검증 프로젝트에서 사용할 수 있습니다. 자세한 내용은 Set Up a Tool-Specific Qualification Project (DO Qualification Kit) 항목을 참조하십시오.

참고

모델이 모델 참조를 사용하는 경우, 검증된 검사를 최상위 모델에서 실행하기 전에 먼저 모든 참조된 모델에 대해 실행하십시오.

모델 어드바이저 하위 폴더모델 어드바이저 검사검사 ID
N/A모델 버전 정보 표시mathworks.do178.MdlChecksum
고무결성 시스템고무결성 시스템 모델링 지침에 대한 모델 어드바이저 검사 항목 참조
SimulinkIdentify unconnected lines, input ports, and output portsmathworks.design.UnconnectedLinesPorts
라이브러리 링크Identify unresolved library linksmathworks.design.UnresolvedLibLinks
요구 사항 일치Model Advisor Checks for Requirements Links 항목 참조
버그 리포트Bug Report Checks (DO Qualification Kit) 항목 참조

모델 버전 정보 표시

검사 ID: mathworks.do178.MdlChecksum

리포트에 모델 버전 정보를 표시합니다.

설명

이 검사는 현재 모델에 대해 다음 정보를 표시합니다.

  • 버전 번호

  • 작성자

  • 날짜

  • 모델 체크섬

Simulink Check와 함께 사용 가능합니다.

결과 및 권장 조치

상태권장 조치
모델 버전 및 체크섬 정보를 가져올 수 없습니다. 이 요약은 참고용으로 제공됩니다. 별도의 조치가 필요하지 않습니다.

기능 및 제한 사항

  • 라이브러리 모델에서는 실행되지 않습니다.

  • 블록이나 차트 제외를 허용하지 않습니다.

참고 항목