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

높은 무결성 시스템 모델링 지침을 위한 Model Advisor 검사 사용

높은 무결성 시스템 모델링 검사는 높은 무결성 시스템 모델링 지침을 준수하는 애플리케이션에 대한 모델, 하위 시스템 및 해당 생성 코드의 설계 및 문제 해결을 용이하게 합니다.

Model Advisor는 High Integrity Systems Modeling 검사를 실행할 때 Simulink^® Check™ 라이센스 체크아웃을 수행합니다.

높은 무결성 시스템 모델링 검사는 다음 그룹으로 분류됩니다.

Simulink

높은 무결성 시스템 모델링은 Simulink 블록 및 구성 요소를 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

MATLAB

MATLAB 코드에 대한 무결성 시스템 모델링 검사.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

구성

High-Integrity Systems Modeling은 구성 설정을 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

명명

높은 무결성 시스템 모델링은 명명 규칙을 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

요구사항

High-Integrity Systems Modeling은 Requirements Toolbox™ 추적성을 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

코드

생성된 코드에 대한 무결성 시스템 모델링을 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.

Stateflow

Stateflow^® 차트 및 구성 요소에 대한 무결성 시스템 모델링을 확인합니다.

자세한 내용은 Model Advisor가 높은 무결성 시스템 모델링 지침을 확인합니다.를 참조하세요.