매스웍스코리아, 테스트 생성 및 설계 검증 자동화를 지원하는 ‘Simulink Design Verifier’ 출시
Simulink Design Verifier
모델기반설계(Model-Based Design) 과정의 주요 요소인 시뮬레이션은 엔지니어들이 시스템 행동양식에 대해 통찰력을 가질 수 있을 뿐 아니라 최적의 성능 보장을 위해 파라미터를 조정할 수 있도록 도와 의도했던 설계 성과를 확보할 수 있도록 지원해 준다. 그런데 이번에 선보인 Simulink Design Verifier는 완벽한 모델 커버리지를 확정하고 요구사양을 검증하기 위한 수작업의 코드 테스트 절차를 크게 줄인 새로운 V&V (Verification & Validation) 기술을 접목하여 시뮬레이션을 지원해 준다.
이 결과 엔지니어들은 사용자가 정의한 테스트 목표 및 요구사양뿐 아니라 업계 표준의 커버리지 목표에도 부합한 테스트 입력 값들을 생성할 수 있다. 또 이들 테스트 입력 값들은 측정된 데이터를 이용해 정의된 테스트와도 조합이 가능해 보다 실제 상황에 근접한 시뮬레이션 수행이 가능할 것으로 예상된다.
속성 검증과 관련하여 엔지니어들은 시뮬링크와 스테이트플로우 모델 안에서 설계에서 요구되는 조건과 수행 목표를 직접적으로 검증할 수 있다. 이는 Simulink Design Verifier 는 속성에 맞는 조건과 속성에 위배되는 정반대의 사례를 수학적으로 검증해 주기 때문. 결과적으로 엔지니어들은 설계 오류, 적합하지 않은 조건, 시뮬레이션을 사용할 때 발견되기 어려운 사용하지 않는 상태나 논리를 손쉽게 찾을 수 있는 것이다.
매스웍스의 테크니컬 마케팅 매니저인 탐 어키넨(Tom Erkinnen)은“모델기반설계는 기본적인 연구개발(R&D) 및 개념 증명 프로젝트에서 양산 프로그램으로 옮겨가는 등 임베디드 시스템 개발을 위한 이상적인 접근 방식으로 점차 대중화되고 있다”며 “Simulink Design Verifier는 시스템 개발 프로세스 단계에서 테스트와 검증을 철저히 수행하여 임베디드 시스템 개발자들이 일정 수준의 기술적 수준을 손쉽게 달성할 수 있도록 적극 지원할 수 있을 것”이라고 밝혔다.
Simulink Design Verifier는 프루버사의 프루버 플러그인 검증 엔진과의 결합을 통해 테스트 사례 및 그 반대 사례를 자동으로 생성할 수 있도록 지원한다. 또 자동화된 수학적 논리를 이용해 모델 실행 경로를 검토해 준다. 이러한 체계적인 분석 작업은 시뮬레이션 작업을 보다 완성도 있게 수행할 수 있도록 도움으로써 엔지니어들이 설계 행동양식과 관련, 한층 더 심층적인 통찰력을 가질 수 있도록 지원해 줄 수 있을 것으로 분석된다.
# # #
매스웍스(The MathWorks, Inc.)는 테크니컬 컴퓨팅(Technical Computing) 및 모델기반설계(Model-Based Design) 소프트웨어 분야의 선도 글로벌 기업으로 매트랩(MATLAB), 시뮬링크(Simulink) 등의 첨단 제품을 통해 통신, 반도체, 자동차, 국방, 항공, 금융, 생명공학, 기계 등 다양한 산업 분야에서 활용되고 있다. 매스웍스는 1984년 잭 리틀(Jack Little) 회장 겸 CEO와 클리브 배리 몰러(Cleve Barry Moler) 수석 과학자(Chief Scientist)가 공동 설립했으며 미국 매사추세츠 내틱(Natick)에 본사를 두고 있다. 미국과 유럽 등 14개 지사에 1,600여명의 임직원이 근무하고 있다. 매스웍스에 관한 보다 자세한 정보는 www.mathworks.co.kr 에서 제공하고 있다.
웹사이트: http://www.mathworks.co.kr
연락처
홍보대행 KPR 김수연 AE 02-3406-2251