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

Check for names of Stateflow ports and associated signals (Stateflow 포트 및 연결된 신호의 이름 검사)

검사 ID: mathworks.maab.db_0123

지침: db_0123: Stateflow 포트 이름

설명

Stateflow® 포트와 관련 신호 이름 사이에 불일치가 있는지 확인하세요.

Stateflow 입력 및 출력의 이름은 해당 신호와 동일해야 합니다.

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

이 검사에는 Stateflow 라이선스가 필요합니다.

파라미터화 검사

이 모델 어드바이저 검사는 JMAAB 모델링 지침에는 적용되지 않습니다.

이 검사에는 하위 검사가 포함되지 않습니다.

참고로 NA-MAAB 및 JMAAB 모델링 표준 기관에서 사용하도록 권장하는 MAB 지침 하위 ID는 다음과 같습니다.

  • NA-MAAB — a

  • JMAAB — 지원되지 않음

결과 및 권장 조치

상태권장 조치
신호의 이름은 해당 Stateflow 포트와 다릅니다. 신호나 Stateflow 포트의 이름을 변경합니다.

기능 및 제한 사항

  • 라이브러리에서 재사용 가능한 Stateflow 차트의 이름 불일치를 플래그로 표시하지 않습니다.

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

  • 라이브러리에 연결된 블록의 내용을 분석하지 않습니다.

  • 마스크 처리된 모든 서브시스템의 내용을 분석합니다.

  • 블록과 차트를 제외할 수 있습니다. 라이브러리에 연결된 차트에는 제외 기능이 적용되지 않습니다.