基于构件框架及模型驱动的操作系统内核

• 作者: 石教英 谢铖 陈文智
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 构件 框架 模型驱动 嵌入式操作系统
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 1348-1352
• 页数: 5页
• 分类号: TP316
• 字数: 5472字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2005.09.016

摘要

为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本单位,以构件框架作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型,由计算模型解决系统在功能方面的问题.构件框架按照触发器条件控制构件的执行,解决系统在非功能方面的问题.Pcanel采用一个规范的状态和行为的转换系统,将控制流与构件的执行相分离,并且在规范的递归形式下实现框架的组合.研究结果表明,Pcanel能够灵活地应用于高度复杂的嵌入式系统,通过构件模型的约束条件,构件得以更容易组合和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈文智	浙江大学计算机科学与技术学院	38	271	10.0	15.0
2	石教英	浙江大学计算机科学与技术学院	39	1418	17.0	37.0
3	谢铖	浙江大学计算机科学与技术学院	4	38	2.0	4.0