浙江大学学报（工学版）
浙江大學學報（工學版）
절강대학학보（공학판）
JOURNAL OF ZHEJIANG UNIVERSITY(ENGINEERING SCIENCE)
2005年
9期
1348-1352
,共5页
构件%框架%模型驱动%嵌入式操作系统
構件%框架%模型驅動%嵌入式操作繫統
구건%광가%모형구동%감입식조작계통
为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本单位,以构件框架作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型,由计算模型解决系统在功能方面的问题.构件框架按照触发器条件控制构件的执行,解决系统在非功能方面的问题.Pcanel采用一个规范的状态和行为的转换系统,将控制流与构件的执行相分离,并且在规范的递归形式下实现框架的组合.研究结果表明,Pcanel能够灵活地应用于高度复杂的嵌入式系统,通过构件模型的约束条件,构件得以更容易组合和验证.
為瞭解決複雜嵌入式繫統模型在操作繫統上的實現要求,提齣瞭一箇新的基于模型驅動架構的嵌入式操作繫統內覈Pcanel.該內覈提供一箇構件化的運行環境,以細粒度的構件作為基本單位,以構件框架作為控製構件計算任務的體繫結構.構件框架對應設計階段的抽象計算模型,由計算模型解決繫統在功能方麵的問題.構件框架按照觸髮器條件控製構件的執行,解決繫統在非功能方麵的問題.Pcanel採用一箇規範的狀態和行為的轉換繫統,將控製流與構件的執行相分離,併且在規範的遞歸形式下實現框架的組閤.研究結果錶明,Pcanel能夠靈活地應用于高度複雜的嵌入式繫統,通過構件模型的約束條件,構件得以更容易組閤和驗證.
위료해결복잡감입식계통모형재조작계통상적실현요구,제출료일개신적기우모형구동가구적감입식조작계통내핵Pcanel.해내핵제공일개구건화적운행배경,이세립도적구건작위기본단위,이구건광가작위공제구건계산임무적체계결구.구건광가대응설계계단적추상계산모형,유계산모형해결계통재공능방면적문제.구건광가안조촉발기조건공제구건적집행,해결계통재비공능방면적문제.Pcanel채용일개규범적상태화행위적전환계통,장공제류여구건적집행상분리,병차재규범적체귀형식하실현광가적조합.연구결과표명,Pcanel능구령활지응용우고도복잡적감입식계통,통과구건모형적약속조건,구건득이경용역조합화험증.
