计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2012年
10期
2739-2741,2750
,共4页
张辉%经小川%谢伟华%高金梁
張輝%經小川%謝偉華%高金樑
장휘%경소천%사위화%고금량
体系结构分析和设计语言%建模%验证%应用
體繫結構分析和設計語言%建模%驗證%應用
체계결구분석화설계어언%건모%험증%응용
随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级；体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景；全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础.
隨著嵌入式繫統規模、複雜度和性能需求的提升,嵌入式繫統開髮的重點從代碼級提前到模型級；體繫結構分析和設計語言AADL能夠在模型級對繫統進行建模,併通過一繫列驗證儘早髮現繫統設計中的問題,在航空航天等嵌入式繫統中具有廣闊的應用前景；全麵繫統地介紹瞭基于AADL的建模、驗證的具體方法步驟、實現手段和工具,併以簡化的飛行控製繫統為例具體講述瞭AADL的建模和驗證技術的實際應用,從而為AADL技術在我國嵌入式軟件中的應用奠定瞭基礎.
수착감입식계통규모、복잡도화성능수구적제승,감입식계통개발적중점종대마급제전도모형급；체계결구분석화설계어언AADL능구재모형급대계통진행건모,병통과일계렬험증진조발현계통설계중적문제,재항공항천등감입식계통중구유엄활적응용전경；전면계통지개소료기우AADL적건모、험증적구체방법보취、실현수단화공구,병이간화적비행공제계통위례구체강술료AADL적건모화험증기술적실제응용,종이위AADL기술재아국감입식연건중적응용전정료기출.
