期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种新型的构件化操作系统的内核设计
被引量：
5
1
作者
龚育昌
张晔
+1 位作者
李曦
陈香兰
《小型微型计算机系统》
CSCD
北大核心
2009年第1期1-7,共7页
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicor...
采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性.
展开更多
关键词
构件化操作系统
服务体/执行流
模型(SEFM)
内核/核心
服务
体
服务
体
间通信
端口
在线阅读
下载PDF
职称材料
Timed SEFM:面向嵌入式实时控制系统的编程模型
被引量：
1
2
作者
刘杰
陈香兰
+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
职称材料
题名
Timed SEFM:面向嵌入式实时控制系统的编程模型
被引量：
1
2
作者
刘杰
陈香兰
李晓飞
李曦
机构
中国科学技术大学计算机科学与技术学院
出处
《计算机工程与应用》
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
Timed SEFM:面向嵌入式实时控制系统的编程模型
刘杰
陈香兰
李晓飞
李曦
《计算机工程与应用》
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
