计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2007年
10期
1400-1402,1414
,共4页
SCADE%无人机%高安全性%自主导航%软件设计
SCADE%無人機%高安全性%自主導航%軟件設計
SCADE%무인궤%고안전성%자주도항%연건설계
该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境-SCADE(Safety-Critical Application Development Environment)开发无人机自主导航功能模块的软件;按照SCADE开发嵌入式软件设计流程,自动生成可直接面向工程的高安全性嵌入式代码;并通过代码的效率测试和安全性测试,验证了在SCADE环境下进行无人机软件开发的优越性;由此得出SCADE很大程度上实现了软件开发的自动化,节约了开发成本和开发时间,并具有很高的安全性特征.
該文研究瞭一種無人機飛行控製軟件設計方法,利用高安全性的應用程序開髮環境-SCADE(Safety-Critical Application Development Environment)開髮無人機自主導航功能模塊的軟件;按照SCADE開髮嵌入式軟件設計流程,自動生成可直接麵嚮工程的高安全性嵌入式代碼;併通過代碼的效率測試和安全性測試,驗證瞭在SCADE環境下進行無人機軟件開髮的優越性;由此得齣SCADE很大程度上實現瞭軟件開髮的自動化,節約瞭開髮成本和開髮時間,併具有很高的安全性特徵.
해문연구료일충무인궤비행공제연건설계방법,이용고안전성적응용정서개발배경-SCADE(Safety-Critical Application Development Environment)개발무인궤자주도항공능모괴적연건;안조SCADE개발감입식연건설계류정,자동생성가직접면향공정적고안전성감입식대마;병통과대마적효솔측시화안전성측시,험증료재SCADE배경하진행무인궤연건개발적우월성;유차득출SCADE흔대정도상실현료연건개발적자동화,절약료개발성본화개발시간,병구유흔고적안전성특정.
