期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种新型的构件化操作系统的内核设计
被引量：
5
1
作者
龚育昌
张晔
+1 位作者
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicor...
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
展开更多
关键词
构件化操作系统
服务
体
/
执行
流
模型(SEFM)
内核/核心
服务
体
服务
体
间通信
端口
在线阅读
下载PDF
职称材料
T-Minicore嵌入式时间可预测操作系统的设计与实现
2
作者
李晓飞
陈香兰
+1 位作者
刘杰
李曦
《计算机科学》
CSCD
北大核心
2015年第B11期454-459,共6页
目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务...
目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。
展开更多
关键词
嵌入式操作系统
时间可预测性
逻辑
执行
时间
服务体执行流
在线阅读
下载PDF
职称材料
Timed SEFM:面向嵌入式实时控制系统的编程模型
被引量：
1
3
作者
刘杰
陈香兰
+1 位作者
李晓飞
李曦
《计算机工程与应用》
CSCD
北大核心
2016年第10期19-26,共8页
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时...
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。
展开更多
关键词
硬实时
控制系统
编程模型
时间可预测性
逻辑
执行
时间
服务
体
/
执行
流
在线阅读
下载PDF
职称材料
题名
一种新型的构件化操作系统的内核设计
被引量：
5
1
作者
龚育昌
张晔
李曦
陈香兰
机构
中国科学技术大学计算机科学技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
基金
国家自然科学基金项目(60273042)资助
安徽省自然科学基金项目(03042203)资助
文摘
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
关键词
构件化操作系统
服务
体
/
执行
流
模型(SEFM)
内核/核心
服务
体
服务
体
间通信
端口
Keywords
component based operating system
servant/exe-flow model （SEFM）
kernel/kernel servant
inter-servant communication
port
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
T-Minicore嵌入式时间可预测操作系统的设计与实现
2
作者
李晓飞
陈香兰
刘杰
李曦
机构
中国科学技术大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2015年第B11期454-459,共6页
基金
国家自然科学基金(61379040
61272131)
江苏省自然科学基金(SBK2012194)资助
文摘
目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。
关键词
嵌入式操作系统
时间可预测性
逻辑
执行
时间
服务体执行流
Keywords
Embedded OS,Timing predictability, Logical execution time, Servant/exe-flow model
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Timed SEFM:面向嵌入式实时控制系统的编程模型
被引量：
1
3
作者
刘杰
陈香兰
李晓飞
李曦
机构
中国科学技术大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2016年第10期19-26,共8页
基金
国家自然科学基金(No.61379040
No.61272131)
江苏省自然科学基金(No.SBK2012194)
文摘
实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。
关键词
硬实时
控制系统
编程模型
时间可预测性
逻辑
执行
时间
服务
体
/
执行
流
Keywords
hard real-time
control system
programming model
time predictability
Logical Execution Time（LET）
servant/exe-flow
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种新型的构件化操作系统的内核设计
龚育昌
张晔
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009
5
在线阅读
下载PDF
职称材料
2
T-Minicore嵌入式时间可预测操作系统的设计与实现
李晓飞
陈香兰
刘杰
李曦
《计算机科学》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
3
Timed SEFM:面向嵌入式实时控制系统的编程模型
刘杰
陈香兰
李晓飞
李曦
《计算机工程与应用》
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
