计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
25期
74-77,85
,共5页
实时嵌入式%软构件模型%构件接口%组装%时间性
實時嵌入式%軟構件模型%構件接口%組裝%時間性
실시감입식%연구건모형%구건접구%조장%시간성
针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制.
針對實時嵌入式繫統特點,提齣一種可行的具有較好普適性的軟構件模型及構件組裝機製,使用形式化方法描述構件接口規約及組裝規約,併給齣構件時間性的推理方法,旨在實時嵌入式繫統中構建更加通用、簡易、開放的構件模型和更加閤理的構件組裝推理機製.
침대실시감입식계통특점,제출일충가행적구유교호보괄성적연구건모형급구건조장궤제,사용형식화방법묘술구건접구규약급조장규약,병급출구건시간성적추리방법,지재실시감입식계통중구건경가통용、간역、개방적구건모형화경가합리적구건조장추리궤제.