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