논리 신호에 대한 안전 관련 최적화 설정 확인

mathworks.hism.hisl_0045

모델 최적화 구성 매개변수가 모델링 지침 hisl_0045를 준수하는지 확인합니다. 구성 매개변수 > 수학 및 데이터 유형 > 논리 신호를 부울 데이터(vs. double)로 구현

종속: Simulink^® Check™

지침:

설명

이 검사는 모델 최적화 구성 매개변수가 안전 관련 애플리케이션의 코드 생성에 최적으로 설정되었는지 확인합니다. 고도로 최적화된 코드는 대부분의 실시간 시스템에 바람직하지만 일부 최적화에는 안전에 영향을 미치는 바람직하지 않은 부작용이 있을 수 있습니다.

검사로 표시된 모델링 문제와 문제 해결을 위한 권장 조치를 검토합니다. 변경 사항을 적용한 후 모델을 저장하고 검사 분석을 다시 실행하십시오.

일부 하위 검사는 다른 검사 또는 하위 검사의 결과에 따라 달라지며, 이는 Model Advisor 결과 테이블에 D로 표시됩니다.

구성 매개변수 논리형 신호를 double형 대신 부울 데이터로 구현을 선택하거나 프로그래밍 방식으로 매개변수 BooleanDataType를 on로 설정합니다.

문제를 자동으로 수정하기 위해 수정 버튼을 사용하면 Model Advisor가 구성 매개변수를 권장 값으로 업데이트합니다.

이 검사의 기능은 다음과 같습니다.

이 검사의 제한 사항은 다음과 같습니다.

R2018b에 개발됨