Simulink Check

스타일 가이드 라인 및 모델링 표준의 준수 여부 검증

 

Simulink Check™는 개발 시 표준 및 가이드 라인 위반을 식별하는, 업계에서 인정받는 검사 및 메트릭을 제공합니다. DO-178, ISO 26262, IEC 61508, IEC 62304 및 MAAB(MathWorks Automotive Advisory Board) 스타일 가이드 라인을 비롯한 고무결성 소프트웨어 개발 표준을 지원합니다. Edit time check 기능을 사용하여 편집 중에 규정 준수 여부를 확인 할 수 있습니다. 자체 표준이나 가이드 라인을 준수하기 위해 사용자 지정 검사 항목을 작성할 수도 있습니다.

Simulink Check는 모델의 아키텍처를 평가하고 크기와 복잡성을 비롯한 표준 준수 여부를 확인하는 데 사용할 수 있는 다양한 메트릭을 제공합니다. 통합 메트릭 대시보드에서 설계의 상태와 품질을 점검할 수 있습니다. 자동 모델 리팩토링을 사용하면 중복 설계 요소를 대체하고, 설계 복잡도를 줄이며, 재사용 가능한 콘텐츠를 식별할 수 있습니다. Model Slicer 툴은 모델에서 문제 있는 동작을 분리하고 디버깅을 위해 단순화된 모델을 생성합니다.

IEC Certification Kit(ISO 26262 및 IEC 61508)DO Qualification Kit(DO-178)을 통해 산업 표준을 지원합니다.

 

모델 품질 검사

스타일 가이드 라인과 모델링 표준을 사용하여 준수 여부를 검사합니다.

고무결성 소프트웨어 개발을 위해 즉시 사용 가능한 검사

모델 및 생성된 코드의 품질과 보안을 개선하기 위해 Simulink Check는 DO-178C, DO-331, ISO 26262, IEC 61508, EN 50128과 같은 산업 표준, 고무결성 소프트웨어 개발을 위한 MISRA C:2012, MAAB 스타일 가이드 라인, IEC 62304 표준, CERT C, CWE, ISO/IEC TS 17961과 같은 보안 코딩 표준에 대해 사전 구성된 검사를 제공합니다.

결과 및 권장 조치가 포함된 대화형 보고서입니다.

편집 시 오류 확인 및 수정

맞춤법 검사 기능으로 문서에서 맞춤법 오류를 방지할 수 있는 것과 마찬가지로, Edit-time check는 모델을 편집할 때 위반 사항을 알려줍니다. 개발 프로세스 후반의 많은 노력이 필요한 재작업과 추가 테스트를 최소화하여 오류를 정정할 수 있습니다.

설계 시 준수 문제를 감지하고 수정합니다.

모델 검사 구성, 사용자 지정 및 자동화

모델이 조직의 자체 표준 또는 가이드 라인을 준수하는지 확인하기 위해 Model Advisor API 또는 Model Advisor Configuration Editor로 모델링 검사 항목 및 구성을 사용자가 지정할 수 있습니다. 준수 검증을 가속화하기 위해 여러 컴퓨터에서 동시에 검사를 실행할 수 있습니다.

Model Advisor Configuration Editor를 사용하여 사용자 지정 검사를 만듭니다.

모델 메트릭 측정 및 보기

모델 기반 설계 툴의 메트릭을 사용하여 프로젝트의 상태를 점검할 수 있습니다.

모델 메트릭 수집

Simulink Check는 DO-178, DO-331, IEC 61508, IEC 62304, ISO 26262 및 EN 50128 표준에 따라 모델의 아키텍처, 복잡성 및 가독성을 점검하는 데 사용할 수 있는 모델 메트릭을 수집합니다.

모델 메트릭 API를 사용하여 사용자 지정 메트릭을 수집합니다. 

대시보드에서 통합 메트릭 확인

메트릭 대시보드는 모델 크기, 코드 라인수, 가이드 라인 준수 상태, 재사용, 재사용성과 같은 메트릭을 하나의 View 로 통합하여 프로젝트 품질에 대한 통찰력을 제공합니다.

설계 상태의 통합 보기가 있는 메트릭 대시보드입니다.

복잡한 모델의 단순화 및 디버깅

Model Slicer를 사용하여 동적 분석 및 정적 분석의 결합을 통해 기능을 분리합니다.

종속성 하일라이트

Model Slicer는 정적 종속성 분석을 사용하여 블록, 신호 및 모델 구성 요소의 상호 의존성을 표시하고, 시뮬레이션 중 활성 동작을 기반으로 하는 동적 종속성 분석을 사용하여 크고 복잡한 모델의 기능 종속성을 보다 잘 이해 할 수 있습니다.

단순화된 독립형 모델 만들기

Model Slicer는 사용자가 지정한 시작 지점, 기록된 신호 또는 simulation time window를 기반으로 모델의 일부를 분리한 다음, 시뮬레이션 동작을 유지하는 작은 모델로 저장하여 디버깅을 돕고 성능을 향상할 수 있습니다.

슬라이싱할 모델의 부분을 강조 표시합니다.  

Stateflow로 Activity-Based Time 슬라이싱

모델 하일라이팅은 Stateflow™의 선택된 state 와 transition 만 시뮬레이션 중에 동시에 활성화되어 관심 있는 동작을 분리할 때 시뮬레이션 시간 간격으로 제한될 수 있습니다.

상태가 활성일 때 활성 로직을 식별합니다.

모델 리팩토링을 통한 설계 개선 및 컴포넌트 재사용률 증대

유지 관리 용이성을 향상시키기 위해 자동으로 리팩터링할 수 있는 복제 및 모델링 패턴을 식별합니다.

모델링 복제의 식별 및 리팩토링

Modeling Clones 툴은 모델을 분석하여 중복 모델링 패턴을 찾습니다. 이렇게 중복된 복제본은 재사용 가능한 라이브러리를 통해 자동 리팩터링되어 유지 관리 용이성을 개선하고 설계 복잡성을 줄일 수 있습니다.

모델 변환을 통한 컴포넌트 재사용성 및 모델 가독성 개선

Model Transformer 툴은 Variant Source 또는 Variant Subsystem 블록으로 변환될 수 있는 모델링 패턴을 식별하고 모델을 리팩토링하여 모델 구성요소화 및 재사용성을 개선합니다. 가독성을 향상시키기 위해 제거할 수 있는 Data Store 블록을 식별할 수 있습니다.

변형으로 대체할 수 있는 모델링 패턴을 찾습니다.

최신 기능

자동화된 복제 리팩토링 앱

서브시스템 또는 라이브러리 패턴 복제 탐지, 리팩토링 후 리팩토링 모델과의 동등성 확인

Code Perspective의 편집 시간 확인

코드 생성에서 지원되지 않는 블록 식별

속성 증명 위반 디버그

모델 슬라이서를 실행하여 Simulink Design Verifier의 속성 증명 위반 디버그

추가 JMAAB 5.1 지원

JMAAB 5.1 모델링 스타일 지침에 대한 모델 검사 자동화

추가 MAAB 3.0 및 고무결성 검사

지침에 대한 품질 및 준수 개선

이 기능과 그에 상응하는 함수에 대한 세부 정보는 릴리스 정보를 참조하십시오.

건전성 예측관리 소프트웨어를 개발하여 엔터프라이즈 IT/OT 시스템과 임베디드 장치에 배포합니다.

무료 평가판 받기

30일 동안 사용해 보세요.

다운로드

구매하기

제품별 가격을 확인하세요.

학생이세요?

학생용 MATLAB 및 Simulink를 확인하세요.

자세히 보기