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)를 통해 제공됩니다.