이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
솔버의 안전 관련 진단 설정 확인
검사 ID: mathworks.hism.hisl_0043
솔버에 적용되고 안전에 영향을 미칠 수 있는 진단 설정에 대한 모델 구성을 확인하세요.
설명
이 검사는 솔버와 관련된 모델 진단 구성 매개변수가 안전 관련 애플리케이션용 코드 생성에 최적으로 설정되어 있는지 확인합니다.
Simulink® Check™로 구매 가능합니다.
결과 및 권장 조치
| 상태 | 권장 조치 |
|---|---|
대수 루프의 자동 파손을 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 대수적 루프의 중단은 블록 실행 순서의 예측 가능성에 영향을 미칠 수 있습니다. 안전 관련 응용 분야의 경우 모델 개발자는 이러한 중단이 언제 발생하는지 알아야 합니다. | 구성 매개변수 대화 상자의 진단 > 솔버 창에서 대수 루프:를 설정하거나 AlgebraicLoopMsg 매개변수를 error로 설정합니다. 실행 순서를 예측할 수 있도록 Unit Delay 블록을 사용하여 이러한 루프를 명시적으로 중단하는 것이 좋습니다. 최소한 루프 자동 중단 결과가 허용 가능한지 확인하십시오. |
Model 블록, 원자 하위 시스템 및 활성화된 하위 시스템에 대한 대수 루프의 자동 파손을 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 대수적 루프의 중단은 블록 실행 순서의 예측 가능성에 영향을 미칠 수 있습니다. 안전 관련 응용 분야의 경우 모델 개발자는 이러한 중단이 언제 발생하는지 알아야 합니다. | 구성 매개변수 대화 상자의 진단 > 솔버 창에서 대수 루프 최소화:를 설정하거나 ArtificialAlgebraicLoopMsg 매개변수를 error로 설정합니다. 실행 순서를 예측할 수 있도록 Unit Delay 블록을 사용하여 이러한 루프를 명시적으로 중단하는 것이 좋습니다. 최소한 루프 자동 중단 결과가 허용 가능한지 확인하십시오. |
블록 실행 순서의 잠재적 충돌을 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 안전 관련 애플리케이션의 경우 블록 실행 순서를 예측할 수 있어야 합니다. 모델 개발자는 블록 우선순위가 충돌하는 경우를 알아야 합니다. | 구성 매개변수 대화 상자의 진단 > 솔버 창에서 블록 우선 순위 위반:을 설정하거나 BlockPriorityViolationMsg 매개변수를 error로 설정합니다. |
Simulink 소프트웨어가 솔버, 단계 크기 또는 시뮬레이션 중지 시간을 자동으로 수정하는지 여부를 감지하기 위한 진단은 안 함 또는 경고로 설정됩니다. 이러한 변경 사항은 생성된 코드의 작동에 영향을 미칠 수 있습니다. 안전 관련 애플리케이션의 경우 모델 개발자가 매개변수를 알려진 값으로 명시적으로 설정할 수 있도록 이러한 변경 사항을 감지하는 것이 좋습니다. | 구성 매개변수 대화 상자의 진단 > 솔버 창에서 솔버 파라미터 자동 선택:을 설정하거나 SolverPrmCheckMsg 매개변수를 error로 설정합니다. |
모델에서 둘 이상의 상태에 이름이 사용되는 경우를 감지하기 위한 진단은 안 함로 설정됩니다. 모델 내의 상태 이름은 고유해야 합니다. 안전 관련 애플리케이션의 경우 모델 개발자가 이를 수정할 수 있도록 이름 충돌을 감지하는 것이 좋습니다. | 구성 매개변수 대화 상자의 진단 > 솔버 창에서 상태 이름 충돌:를 설정하거나 StateNameClashWarn 매개변수를 warning로 설정합니다. |
조치 결과
설정 수정을 클릭하면 솔버에 적용되고 안전에 영향을 줄 수 있는 모델 진단 설정이 구성됩니다.
기능 및 제한 사항
라이브러리 모델에서는 실행되지 않습니다.
블록이나 차트의 제외를 허용하지 않습니다.
