매스웍스, Simulink Design Verifier 2.0 릴리스
매스웍스는 시뮬링크 디자인 베리파이어(Simulink Design V
erifier)가 Simulink 모델에서 자동으로 오류를 검출하는 폴리스페이스(Polyspace) 분석 기술을 포함하게 된다고 발표했다.
Simulink Design Verifier 2.0이 기존의 속성 증명 및 테스트 케이스 생성 기능에 Polyspace 오류 검출 기능을 통합함으로써, 설계 오류의 근본적인 원인을 찾아서 수정하는 데 소요되는 시간을 줄이고 궁극적으로 검증 및 확인에 전반적으로 소요되는 비용을 줄일 수 있다.
항공, 자동차, 의료, 산업 자동화 및 기계 산업 분야의 엔지니어는 이제 Simulink Design Verifier 2.0이 제공하는 정형 분석 기법을 갖춘 모델 기반 설계를 적용하여, 광범위한 테스트 또는 시뮬레이션을 거치지 않고 Simulink 및 Stateflow 모델에서 설계 오류를 식별할 수 있다.
핵심적인 제품 기능은,
· 데드 로직(dead logic), 정수 및 고정 소수점 오버플로우, 0으로 나누기 및 assertion 위반 검출
· 기능 및 안전 요구사항을 모델링하기 위한 블록 및 함수
· 기능 요구사항 및 모델 커버리지 목표로부터 테스트 벡터 생성
· 분석 및 디버깅을 위한 위반 사례를 생성하여 속성 증명
· 고정 소수점 및 부동 소수점 모델 지원
<저작권자(c)스마트앤컴퍼니. 무단전재-재배포금지>
