航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2009年
5期
58-61
,共4页
安全性分析%AADL%ARINC653%Eclipse
安全性分析%AADL%ARINC653%Eclipse
안전성분석%AADL%ARINC653%Eclipse
AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统.安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题.详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法.
AADL是一種描述嵌入式實時繫統的軟硬件結構、安全性、可靠性等關鍵性能特性的重要手段,目前已廣汎應用于基于ARINC653的綜閤化航電繫統.安全性作為綜閤化航電繫統的關鍵性能之一,已成為需要解決的重要問題.詳細闡述瞭基于AADL的航空電子繫統安全性分析的原理,併給齣瞭一種可行的航空電子繫統安全性分析的設計和實現方案,為航空電子繫統安全性的設計提供瞭一種驗證方法.
AADL시일충묘술감입식실시계통적연경건결구、안전성、가고성등관건성능특성적중요수단,목전이엄범응용우기우ARINC653적종합화항전계통.안전성작위종합화항전계통적관건성능지일,이성위수요해결적중요문제.상세천술료기우AADL적항공전자계통안전성분석적원리,병급출료일충가행적항공전자계통안전성분석적설계화실현방안,위항공전자계통안전성적설계제공료일충험증방법.