Simulink Design Verifier

주요 업데이트

 

Simulink Design Verifier

설계 오류를 식별하고, 요구 사항 준수를 증명하고테스트를 생성하기

 

Simulink Design Verifier™는 정형 기법을 사용하여 모델에 숨겨진 설계 오류를 식별합니다. Simulink Design Verifier는 모델에서 정수 오버플로, 데드 로직, 배열 액세스 위반 및 0으로 나누기가 존재하는블록을 탐지합니다. Simulink Design Verifier는 설계가 기능적 요구 사항을 충족하는지 정형기법으로검증할 수 있습니다. 각각의 설계 오류 또는 요구 사항 위반에 대한 디버깅용 시뮬레이션 테스트 케이스를 생성합니다.

Simulink Design Verifier는 기존의 요구 사항 기반 테스트 케이스를 확장하기 위해 모델 커버리지와 사용자가 정의한 목표를 만족하기 위한 테스트 케이스를 생성합니다. 이러한 테스트 케이스를 활용하여 조건(condition), 결정(decision), MCDC(수정 조건/결정) 및 사용자 지정 커버리지 목표를 만족하는 모델을 만들수 있습니다. 커버리지 목표 외에도 사용자 지정 테스트 목표를 정하여요구 사항 기반 테스트 케이스를 자동으로 생성할 수 있습니다.

Simulink Design Verifier의 모델 슬라이서 툴은 모델에서 문제가 되는 동작을 분리합니다. 서브시스템 출력에 영향을 미치는 블록을 보고 여러 스위치와 로직을 통해 신호 경로를 추적할 수 있습니다.

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

설계 오류 탐지

런타임 오류, 진단 오류 및 데드 로직을 포함하여 시뮬레이션 전에 모델의 설계 오류를 발견합니다.

런타임 오류와 진단 오류

시뮬레이션을 실행하기 전에 정수 오버플로, 0으로 나누기, 배열 범위를 벗어남, 비정규 값 및 부동 소수점 오류는 물론 데이터 유효성 오류를 포함하여 런타임 오류와 모델링 오류를 탐지할 수 있습니다. 

시뮬레이션 전에 런타임 오류 포착하기.

데드 로직

시뮬레이션과 생성된 코드의 실행 중에 동작되지 않는객체를 모델에서 찾습니다.

모델에서 데드 로직 보기.

테스트 케이스 생성

구조와 기능적 커버리지 목표를 달성하기 위해 동적 시뮬레이션용 테스트 케이스를 생성합니다.

커버리지를 늘리기 위한 테스트 케이스

불완전한 모델 커버리지를 위해 수동으로 만든 기존 테스트 케이스를 확장합니다.

요구 사항 기반 테스트 케이스

시스템 요구 사항으로부터 모델의테스트 케이스를 생성합니다.

C/C++ 코드용 테스트 케이스

테스트 케이스를 생성하여 생성된 코드와 Simulink® 블록과 Stateflow® 차트에서 호출된 C/C++ 코드의 커버리지를 생성합니다.

C 코드를 호출하는 모델용 테스트 생성하기.

요구 사항 기반 검증

MATLAB, Simulink 및 Stateflow를 사용하여 표현된 정형 요구 사항을 검증할 수 있습니다.

안전 요구 사항

MATLAB®, Simulink 및 Stateflow를 사용하여 공식적으로 정의된 안전 요구 사항에 따라 설계가 동작하는지 검증합니다.

Simulink를 사용하여 요구 사항을 표현합니다.

디버깅을 위한 복잡한 설계 간소화하기

모델 슬라이서 툴을 사용하여 모델에서 관심 있는 동작을 분리합니다. 모델 슬라이서는 동적 분석과 정적 분석을 결합하여 종속성을 추적합니다.

고장 동작 분리하기

관심 영역을 강조 표시하고 관련 시간 간격을 지정하여 디버깅용으로 간소화된 슬라이스 모델을 생성합니다.

변형 (Variant) 모델의 간소화

Variant Reducer를 사용하여 유효한 구성의 서브셋용 축소 모델을 생성합니다.

배포를 위해 모델 간소화하기

마스터 변형 모델의 유효성을 완전히 확인한 후 Variant Reducer를 사용하여 유효한 구성의 서브셋용 축소 모델을 생성합니다. 모든 관련 파일과 변수 종속성도 감소합니다. 축소된 아티팩트는 별도의 폴더에 패키징되어 있어 고객과 파트너사와 쉽게 배포하고 공유할 수 있습니다.

축소 모델 만들기.

최신 기능

개선된 부동 소수점 분석하기

단정밀도와 배정밀도 부동 소수점 연산이 포함된 모델의 유리 함수 근사를 줄입니다.

Export-Function 모델 지원하기

모델 함수를 호출하는 스케줄러를 자동으로 만들어 모델에 대한 테스트를 분석하고 생성하기

Stateflow 사용자 지정 코드 지원하기

Stateflow 차트 내의 C/C ++ 구문에 대한 테스트를 분석하고 생성하기

C 함수 블록 지원하기

블록에서 C/C ++ 코드에 대한 테스트를 분석하고 생성하기

부동 소수점 설계 오류 탐지

non-finite 값, NaN 값 및 sub-normal부동 소수점 값 발생 탐지하기

모델 슬라이서

fast restart를 활용하여 모델 디버깅 워크플로를 간소화하기

이러한 특징과 해당 기능에 대한 자세한 내용은 릴리스 정보 항목을 참조하십시오.

ISO 26262 프로젝트에 Simulink를 사용하는 방법

차량 시험 전에 Model-Based Design with Simulink를 사용하여 폭넓은 주행 조건과 오류 시나리오에서 전체 임베디드 자동차 시스템을 설계하고 테스트하는 방법을 학습합니다. 

무료 평가판 받기

30일 동안 사용해 보세요.

다운로드

구매하기

가격 보기과고 관련 제품을 살펴보세요.

학생이세요?

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

자세히 보기