计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2012年
9期
91-94
,共4页
张辉%经小川%谢伟华%高金梁
張輝%經小川%謝偉華%高金樑
장휘%경소천%사위화%고금량
体系结构分析和设计语言%Petri网%运行状态%映射%关联矩阵
體繫結構分析和設計語言%Petri網%運行狀態%映射%關聯矩陣
체계결구분석화설계어언%Petri망%운행상태%영사%관련구진
体系结构分析和设计语言AADL能够在架构级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景.但是目前的验证集中在性能分析等方面,忽略了AADL模型本身的正确性验证.提出将AADL模型的模式和模式转换映射成Petri网模型,结合Petri网的理论对AADL模型正确性进行验证的方法,从而确保建模阶段模型的正确性,为后续各种验证分析奠定了基础,同时进一步降低了在系统实现后发现问题修改模型所带来的时间和成本.最后,通过具体实例验证了该方法的可实施性和有效性.
體繫結構分析和設計語言AADL能夠在架構級對繫統進行建模,併通過一繫列驗證儘早髮現繫統設計中的問題,在航空航天等嵌入式繫統中具有廣闊的應用前景.但是目前的驗證集中在性能分析等方麵,忽略瞭AADL模型本身的正確性驗證.提齣將AADL模型的模式和模式轉換映射成Petri網模型,結閤Petri網的理論對AADL模型正確性進行驗證的方法,從而確保建模階段模型的正確性,為後續各種驗證分析奠定瞭基礎,同時進一步降低瞭在繫統實現後髮現問題脩改模型所帶來的時間和成本.最後,通過具體實例驗證瞭該方法的可實施性和有效性.
체계결구분석화설계어언AADL능구재가구급대계통진행건모,병통과일계렬험증진조발현계통설계중적문제,재항공항천등감입식계통중구유엄활적응용전경.단시목전적험증집중재성능분석등방면,홀략료AADL모형본신적정학성험증.제출장AADL모형적모식화모식전환영사성Petri망모형,결합Petri망적이론대AADL모형정학성진행험증적방법,종이학보건모계단모형적정학성,위후속각충험증분석전정료기출,동시진일보강저료재계통실현후발현문제수개모형소대래적시간화성본.최후,통과구체실례험증료해방법적가실시성화유효성.
