이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
Simulink Check
Simulink® Check™는 모델, 요구 사항 및 테스트를 분석하여 설계 품질과 표준 준수 여부를 평가합니다. 이는 설계 시 모델링 표준 및 지침 위반을 식별하는 업계에서 인정받는 검사 및 측정 기준을 제공합니다. 지원되는 높은 무결성 소프트웨어 개발 표준에는 ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 및 MAB(MathWorks Advisory Board) 스타일 지침이 포함됩니다. 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의 기본 사항 배우기
모델 준수 확인
모델이 안전 표준 및 지침을 준수하는지 확인하세요.
모델 검사 사용자 정의
Model Advisor 검사 및 구성 생성, 자동화 및 사용자 배포
모델 및 테스트 지표 수집
모델 및 테스트 아티팩트에 대한 메트릭 데이터 수집
리팩터링 모델
모델을 변환하기 위한 모델링 클론 및 패턴 식별
종속성 분석을 통한 모델 단순화
포트, 신호 및 블록의 종속성을 추적하고 더 큰 모델을 단순화된 독립형 모델로 분할합니다.
검증(Verification) 및 확인(Validation)
Simulink 제품을 사용하여 모델 및 코드 테스트, 설계 오류 확인, 표준 확인, 커버리지 측정, 시스템 검증
도구 자격 및 인증
DO 및 IEC 인증을 위한 Simulink Check 검증