SIMULINK DESIGN VERIFIER 2.0

매스웍스는 시뮬링크 디자인 베리파이어(Simulink Design Verifier)가 Simulink 모델에서 자동으로 오류를 검출하는 폴리스페이스(Polyspace) 분석 기술을 포함하게 된다고 발표했다. Simulink Design Verifier 2.0이 기존의 속성 증명 및 테스트 케이스 생성 기능에 Polyspace 오류 검출 기능을 통합함으로써, 설계 오류의 근본적인 원인을 찾아서 수정하는데 소요되는 시간을 줄이고 궁극적으로 검증 및 확인에 전반적으로 소요되는 비용을 줄일 수 있다.
엔지니어는 이제 Simulink Design Verifier 2.0이 제공하는 정형 분석 기법을 갖춘 모델 기반 설계를 적용하여, 광범위한 테스트 또는 시뮬레이션을 거치지 않고 Simulink 및 Stateflow 모델에서 설계 오류를 식별할 수 있다.

│매스웍스 코리아│Tel. 02-6006-5141│www.mathworks.co.kr