Simulink Check
R2026bSimulink® Check™는 모델, 요구 사항 및 테스트를 분석하여 설계 품질과 표준 준수 여부를 평가합니다. 설계 시 모델링 표준 및 지침 위반을 식별하는 업계에서 인정하는 검사 및 메트릭을 제공합니다. 지원되는 고무결성 소프트웨어 개발 표준에는 ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50716 및 MathWorks Advisory Board(MAB) 스타일 지침이 포함됩니다. Simulink Check는 CERT C, CWE, ISO/IEC TS 17961과 같은 보안 코딩 표준도 지원합니다. 편집기에서 바로 규정 준수 문제를 식별할 수 있는 사용자 지정 검사를 만들어 자체 표준이나 지침을 준수하도록 할 수 있습니다.
Simulink Check는 설계의 상태와 품질을 평가하기 위한 메트릭과 대시보드를 제공합니다. 자동 모델 리팩토링을 사용하면 모델링 클론을 교체하고, 설계 복잡성을 줄이고, 재사용 가능한 내용을 식별할 수 있습니다. 모델 슬라이서 툴은 모델에서 문제가 되는 동작을 분리하고 디버그를 위해 단순화된 모델을 생성합니다.
IEC Certification Kit (for ISO 26262 and IEC 61508) 및 DO Qualification Kit (for DO-178)를 통해 산업 표준에 대한 지원이 제공됩니다.
Simulink Check 시작하기
Simulink Check의 기본 사항 배우기
모델 준수 검사
모델이 안전 표준 및 지침을 준수하는지 확인하십시오.
모델 검사 사용자 정의
모델 어드바이저 검사 및 구성을 생성하고 자동화하고 사용자를 위해 배포합니다.
모델 및 테스트 메트릭 수집
모델 및 테스트 아티팩트에 대한 메트릭 데이터 수집
모델 리팩토링
모델을 변환하기 위한 모델링 클론 및 패턴 식별
종속성 분석을 통한 모델 단순화
포트, 신호 및 블록의 종속성을 추적하고 더 큰 모델을 단순화된 독립형 모델로 분할합니다.
지속적인 통합
로컬 및 CI에서 팀을 위한 반복 가능한 개발 및 검증 프로세스를 만듭니다.
검증(Verification) 및 확인(Validation)
Simulink 제품을 사용하여 모델 및 코드를 테스트하고, 설계 오류를 검사하고, 표준에 따라 검사하고, 커버리지를 측정하고, 시스템을 검증합니다.
툴 검증 및 인증
DO 및 IEC 인증을 위한 Simulink Check 검증
