万博1manbetxSimulink设计验证™는形式化方法를사용하여모델에숨겨진설계오류를식별합니다。万博1manbetxSimulink设计验证는모델에서정수오버플로，데드로직，배열액세스위반및0으로나누기를일으킬수있는블록을탐지합니다。万博1manbetxSimulink设计验证는설계가기능적요구사항을충족하는지形式化方法로검증할수있습니다。각각의설계오류또는요구사항위반에대한디버깅용시뮬레이션테스트케이스를생성합니다。

万博1manbetx仿真软件设计校验는기존의요구사항기반테스트케이스를확장하기위해모델커버리지와사용자지정客观를만족하기위한테스트케이스를생성합니다。이러한테스트케이스를활용하여条件,决定,MCDC및사용자지정커버리지客观들을만족하는모델을만들수있습니다。커버리지목표외에도사용자지정테스트목표를정하여요구사항기반테스트客观를자동으로생성할수있습니다。

IEC认证工具包(ISO 61508과IEC 26262지원)및做资格工具包(做- 178지원)를통해업계표준을지원합니다。