이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
논리 신호에 대한 안전 관련 최적화 설정 확인
mathworks.hism.hisl_0045
모델 최적화 구성 매개변수가 모델링 지침 hisl_0045를 준수하는지 확인합니다. 구성 매개변수 > 수학 및 데이터 유형 > 논리 신호를 부울 데이터(vs. double)로 구현
종속: Simulink® Check™
지침:
설명
이 검사는 모델 최적화 구성 매개변수가 안전 관련 애플리케이션의 코드 생성에 최적으로 설정되었는지 확인합니다. 고도로 최적화된 코드는 대부분의 실시간 시스템에 바람직하지만 일부 최적화에는 안전에 영향을 미치는 바람직하지 않은 부작용이 있을 수 있습니다.
권장 조치 및 결과
기능 및 제한 사항
이 검사의 기능은 다음과 같습니다.
정당화 지원
이 검사의 제한 사항은 다음과 같습니다.
라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트의 제외를 허용하지 않습니다.
편집 시 검사는 지원되지 않습니다.
버전 내역
R2018b에 개발됨