东南大学学报（自然科学版）
東南大學學報（自然科學版）
동남대학학보（자연과학판）
JOURNAL OF SOUTHEAST UNIVERSITY
2010年
3期
500-505
,共6页
实时软件%资源%建模%通信顺序进程
實時軟件%資源%建模%通信順序進程
실시연건%자원%건모%통신순서진정
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.
針對實時繫統軟件設計難以有效兼顧功能與非功能需求的問題,提齣瞭一種支持實時軟件資源建模與分析的方法.首先,通過在通信順序進程上擴展資源信息,得到資源通信順序進程,併將實時繫統指令使用的資源映射為資源通信順序進程的資源.利用資源通信順序進程對實時軟件資源建模,併進行量化分析.然後,通過提齣一繫列資源優化檢查算法,對建模結果進行資源可滿足性檢查,併計算齣噹前繫統所需的最少資源量.最後,對機載防撞告警繫統進行建模與分析,以說明該方法的有效性.結果錶明,該方法能夠分析影響實時繫統資源使用的關鍵軟件設計要素,評估軟件優化對繫統資源使用的影響,從而在很大程度上提高瞭實時繫統資源計算和分析的可信性.該計算結果有助于實時繫統資源的量化分析和資源優化設計.
침대실시계통연건설계난이유효겸고공능여비공능수구적문제,제출료일충지지실시연건자원건모여분석적방법.수선,통과재통신순서진정상확전자원신식,득도자원통신순서진정,병장실시계통지령사용적자원영사위자원통신순서진정적자원.이용자원통신순서진정대실시연건자원건모,병진행양화분석.연후,통과제출일계렬자원우화검사산법,대건모결과진행자원가만족성검사,병계산출당전계통소수적최소자원량.최후,대궤재방당고경계통진행건모여분석,이설명해방법적유효성.결과표명,해방법능구분석영향실시계통자원사용적관건연건설계요소,평고연건우화대계통자원사용적영향,종이재흔대정도상제고료실시계통자원계산화분석적가신성.해계산결과유조우실시계통자원적양화분석화자원우화설계.
