做- 254표준은항공시스템에쓰이는하드웨어의인증을위한일련의목표를정의합니다。MATLAB^®및仿万博1manbetx真软件^®를통해do-254의목@를충족하고다음과같은공정을지원할수있습니다。

• 구사항관리및추적
• 설계준의준수
• HDL설계
• 검帐号및확帐号

모델기반설계를사용하면做- 254의목표를충족하는한편,요구사항의조기검증,요구사항연결자동화,모델및코드표준검사,코드생성,아티팩트생성보고및다양한수준의테스트케이스재사용으로인한비용적편익과출시속도측면에서의이점도누릴수있습니다。