Simulink Design Verifier는 정형 기법을 사용해 모델에 숨겨진 설계 오류를 식별할 수 있습니다. 정수 오버플로, 데드 로직, 배열 접근 위반, 0으로 나누기와 같은 런타임 오류 및 원치 않는 동작을 초래하는 모델 내의 연산을 검출할 수 있습니다. 또한 복잡한 모델의 분석을 가속화하기 위해 여러 CPU 코어에 분석 작업을 분산하여 수행할 수 있습니다.
Simulink Design Verifier는 정형 검증을 수행해 설계가 기능 요구사항을 충족하고 안전 요구사항을 위반하지 않는지 증명할 수 있습니다. 또한 정형 분석은 요구사항의 일관성 및 완전성을 검증할 수도 있습니다. 설계 오류 또는 요구사항 위반이 발견되면 소프트웨어가 디버그할 수 있도록 해당 상황을 재현하는 시뮬레이션 테스트 케이스를 생성할 수 있습니다.
Simulink Design Verifier를 사용하면 자동으로 테스트 벡터를 생성해 모델 및 코드 커버리지를 달성할 수 있습니다. 이러한 테스트 벡터는 모델이 결정, 조건 및 MC/DC(수정 조건/결정 커버리지) 메트릭을 달성하도록 지원합니다.
IEC Certification Kit (for IEC 61508 and ISO 26262) 및 DO Qualification Kit (for DO-178 and DO-254)를 통해 산업 표준 지원이 가능합니다.
런타임 및 진단 오류 검출
시뮬레이션을 실행하기 전에 정수 오버플로, 0으로 나누기, 범위를 벗어난 배열 오류, 준정규 값, 기타 부동소수점 오류 및 데이터 유효성 오류 등의 잠재적 런타임 오류 및 모델링 문제를 검출할 수 있습니다. Defect Checker를 사용해 특정 오류를 대상으로 신속하게 검사하고 대화형 방식으로 검사할 수 있습니다.
누락된 테스트 커버리지 분석
테스트 벡터를 자동으로 생성하여 기존에 수작업으로 생성한 테스트 케이스를 보완하고 확장할 수 있습니다. 확장된 테스트 케이스를 사용해 불완전한 모델 커버리지 및 Simulink 블록과 Stateflow 차트에서 호출한 불완전한 C/C++ 코드 커버리지를 해결할 수 있습니다.
정형 안전 요구사항 검증
MATLAB, Simulink 및 Stateflow를 사용해 정형적으로 정의된 안전 요구사항에 따라 설계가 동작하는지 검증할 수 있습니다.
백투백 테스트 수행
생성된 코드 기반의 SIL 또는 PIL 시뮬레이션의 결과를 모델 시뮬레이션 결과와 비교하여 배포하기 전에 동등성을 검증하거나 불일치를 밝힐 수 있습니다.
제품 관련 자료:
“모델 기반 설계를 통해 요구사항을 신속하게 분석하고 이전 제품의 설계를 재사용하고 수작업 코딩에 따른 오류를 없앨 수 있어 개발 시간을 단축하고 고객의 필요에 맞춰 일정을 단축할 수 있었습니다.”
Simulink Design Verifier FAQ
Simulink Design Verifier는 정형 기법을 사용해 모델에 숨겨진 설계 오류를 식별하고, 설계가 기능 요구사항을 충족하는지 검증하며, 모델 커버리지 및 사용자 지정 목표를 위한 테스트 케이스를 생성할 수 있습니다.
정수 오버플로, 데드 로직, 배열 접근 위반, 0으로 나누기, 준정규 값, 부동소수점 오류 및 데이터 유효성 오류를 초래하는 모델 요소를 검출할 수 있습니다.
데드 로직은 시뮬레이션 또는 생성된 코드의 실행 중에 절대 활성화될 수 없는 모델의 로직을 말합니다. 이 로직은 절대 실행될 수 없기 때문에 테스트할 수 없으며 이는 설계 또는 구현 오류를 나타내는 경우가 많습니다. Simulink Design Verifier는 정형 분석을 사용해 이 비활성 로직을 식별하여 개발 초기에 잠재적인 문제를 검출할 수 있도록 지원합니다.
테스트 케이스를 자동으로 생성해 조건, 결정, MCDC(수정 조건/결정 커버리지), 사용자 지정 커버리지 목표를 충족할 수 있습니다. 또한 시스템 요구사항의 모델로부터 요구사항 기반 테스트 케이스를 생성할 수도 있습니다.
네, MATLAB, Simulink 및 Stateflow를 사용해 정형적으로 정의된 안전 요구사항에 따라 설계가 동작하는지 검증할 수 있으며, 설계 오류 또는 요구사항 위반이 발견되면 디버그할 수 있도록 해당 상황을 재현하는 시뮬레이션 테스트 케이스를 생성할 수 있습니다.
네, IEC Certification Kit for ISO 26262 and IEC 61508 및 DO Qualification Kit for DO-178 and DO-254를 통해 산업 표준 지원이 가능합니다.
누락된 테스트 커버리지를 분석하고 기존에 수작업으로 생성된 테스트 케이스를 보완하여 불완전한 모델 커버리지와 Simulink 블록 및 Stateflow 차트에서 호출된 생성된 C/C++ 코드의 불완전한 커버리지를 해결할 수 있습니다.
네, 설계 구현을 시작하기 전에 Requirements Table 블록을 사용해 모델링된 요구사항의 일관성과 완전성을 검사할 수 있습니다.
