软件
軟件
연건
SOFT WARE
2011年
5期
74-77
,共4页
软件开发%SCADE%高安全性%自动代码生成
軟件開髮%SCADE%高安全性%自動代碼生成
연건개발%SCADE%고안전성%자동대마생성
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行.本文研究了一种航空机载软件开发方法一高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码.实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间.
隨著航空機載軟件功能和複雜性的提高,採用傳統的人工編碼方法來已不能滿足其效率和安全性要求,因此尋求一種更有效的航空機載軟件設計方法勢在必行.本文研究瞭一種航空機載軟件開髮方法一高安全性開髮環境SCADE,併以飛機自主導航軟件為例,按照SCADE軟件的程序設計流程,即通過直觀的圖形化建模和模擬倣真自動生成可直接麵嚮工程的安全嵌入式C代碼.實驗結果錶明,SCADE在很大程度上實現瞭軟件開髮的自動化,節約瞭開髮成本和開髮時間.
수착항공궤재연건공능화복잡성적제고,채용전통적인공편마방법래이불능만족기효솔화안전성요구,인차심구일충경유효적항공궤재연건설계방법세재필행.본문연구료일충항공궤재연건개발방법일고안전성개발배경SCADE,병이비궤자주도항연건위례,안조SCADE연건적정서설계류정,즉통과직관적도형화건모화모의방진자동생성가직접면향공정적안전감입식C대마.실험결과표명,SCADE재흔대정도상실현료연건개발적자동화,절약료개발성본화개발시간.
