구성 파라미터 관련 고려 사항

R2026b
솔버, 진단 및 최적화 설정

솔버, 진단 및 최적화 설정에 고무결성 지침을 적용합니다.

모델링 지침

모두 확장

hisl_0040: 구성 파라미터 > 솔버 > 시뮬레이션 시간Set simulation start and stop time parameters for production code generation
hisl_0041: 구성 파라미터 > 솔버 > 솔버 옵션Configure fixed-step discrete solver for production code generation
hisl_0042: 구성 파라미터 > 솔버 > 태스킹 및 샘플 시간 옵션Configure explicit rate transitions for multitasking models with preemptive operating systems
hisl_0045: 구성 파라미터 > 수학 연산 및 데이터형 > 논리형 신호를 double형 대신 부울 데이터로 구현Enable Boolean type checking to support unambiguous logical operator behavior
hisl_0048: 구성 파라미터 > 수학 연산 및 데이터형 > 애플리케이션 수명(일)Set application lifespan to infinity for systems that run continuously
hisl_0013: Data Store Memory 사용Set data store memory diagnostics to error to identify communication issues
hisl_0036: 구성 파라미터 > 진단 > 저장Set saving configuration parameters to error to prevent unexpected results
hisl_0043: 구성 파라미터 > 진단 > 솔버Set solver diagnostic parameters to detect configuration issues that could impact code generation
hisl_0044: 구성 파라미터 > 진단 > 샘플 시간Set sample time diagnostic parameters to error to support robust code generation
hisl_0301: 구성 파라미터 > 진단 > 호환성Set S-function upgrades diagnostic to error to improve design robustness
hisl_0302: 구성 파라미터 > 진단 > 데이터 유효성 > 파라미터Set data validity parameter diagnostics to error to improve design robustness
hisl_0303: 구성 파라미터 > 진단 > 데이터 유효성 > Merge 블록Set Merge block driving blocks diagnostic to error to improve design robustness
hisl_0304: 구성 파라미터 > 진단 > 데이터 유효성 > 모델 초기화Set underspecified initialization detection to simplified to improve design robustness
hisl_0305: 구성 파라미터 > 진단 > 데이터 유효성 > 디버그Set Model Verification block enabling to disable all to improve design robustness
hisl_0306: 구성 파라미터 > 진단 > 연결성 > 신호Set connectivity signal diagnostics to error to improve design robustness
hisl_0307: 구성 파라미터 > 진단 > 연결성 > 버스Set connectivity bus diagnostics to error to improve design robustness
hisl_0308: 구성 파라미터 > 진단 > 연결성 > 함수 호출Set context-dependent inputs diagnostic to error to improve design robustness
hisl_0309: 구성 파라미터 > 진단 > 유형 변환Set type conversion diagnostics to detect unsafe conversions and improve design robustness
hisl_0310: 구성 파라미터 > 진단 > 모델 참조Set model referencing diagnostics to error to improve design robustness
hisl_0311: 구성 파라미터 > 진단 > StateflowSet Stateflow diagnostics to error to improve design robustness and promote clear modeling style
hisl_0314: 구성 파라미터 > 진단 > 데이터 유효성 > 신호Set data validity signal diagnostics to error to improve design robustness
hisl_0071: 구성 파라미터 > 하드웨어 구현 > 일치하지 않는 하드웨어 구현 설정Ensure consistent hardware implementation settings between production and test hardware
hisl_0037: 구성 파라미터 > 모델 참조Configure model referencing parameters for consistent code generation
hisl_0052: 구성 파라미터 > 코드 생성 > 최적화 > 데이터 초기화Explicitly initialize data variables in generated code for fully defined data
hisl_0053: 구성 파라미터 > 코드 생성 > 최적화 > 범위를 벗어나는 값을 래핑시키는 코드를 부동소수점에서 정수로 변환하는 부분에서 제거Select removal of wrapping code to support verifiable generated code
hisl_0054: 구성 파라미터 > 코드 생성 > 최적화 > 나눗셈 산술 예외를 방지하는 코드 제거Keep division protection code to guard against divide-by-zero exceptions
hisl_0056: 구성 파라미터 > 코드 생성 > 최적화 > 지정된 최솟값 및 최댓값을 사용하여 최적화Clear min/max optimization to support traceability between model and generated code
hisl_0038: 구성 파라미터 > 코드 생성 > 주석Enable code generation comment parameters for traceability between code and model
hisl_0039: 구성 파라미터 > 코드 생성 > 인터페이스Configure code generation interface parameters for high-integrity embedded systems
hisl_0047: 구성 파라미터 > 코드 생성 > 코드 스타일Configure code style parameters for standards compliance and traceability
hisl_0049: 구성 파라미터 > 코드 생성 > 식별자Set minimum mangle length to reduce identifier changes during code generation
hisl_0074: 구성 파라미터 > 진단 > Variant와 관련된 모델링 문제Set variant-related diagnostic parameters to error for consistent simulation and code generation behavior