电子技术应用
電子技術應用
전자기술응용
APPLICATION OF ELECTRONIC TECHNIQUE
2015年
6期
143-146
,共4页
金志威%刘万和%薛茜男%田毅
金誌威%劉萬和%薛茜男%田毅
금지위%류만화%설천남%전의
模型检验%形式化方法%NuXMV%机载电子硬件
模型檢驗%形式化方法%NuXMV%機載電子硬件
모형검험%형식화방법%NuXMV%궤재전자경건
model check%formal methods%NuXMV%airborne electronic hardware
详细设计规范是机载电子硬件适航性设计流程中的关键文档.通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性.以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程.试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期.
詳細設計規範是機載電子硬件適航性設計流程中的關鍵文檔.通過對形式化方法特點分析,給齣基于模型檢驗的設計規範提取步驟,以提高設計的正確性和完整性.以ARINC429總線傳輸模塊設計為例,基于形式化方法完成正嚮設計過程.試驗結果錶明,基于形式化方法的設計流程能夠有效幫助製定詳細設計規範併在後期提高驗證效率,進而縮減研製週期.
상세설계규범시궤재전자경건괄항성설계류정중적관건문당.통과대형식화방법특점분석,급출기우모형검험적설계규범제취보취,이제고설계적정학성화완정성.이ARINC429총선전수모괴설계위례,기우형식화방법완성정향설계과정.시험결과표명,기우형식화방법적설계류정능구유효방조제정상세설계규범병재후기제고험증효솔,진이축감연제주기.
