基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置町灵活实现不同调度策略.对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模璎并进行模拟、分析和验证.整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时问参考数据,有助于提高车控系统软件的开发效率和质量.
推荐文章
时间自动机两种模型的构造互模拟研究
双向时间自动机
事件时钟自动机
事件记录自动机
事件预测自动机
基于模型的发动机仿真与优化
基于模型的标定
试验设计
发动机
标定优化
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
基于混合自动机的PSL模型研究
计算机仿真
混合自动机
混合信号电路
模型
形式化方法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于OSEK OS的发动机管理系统时间自动机模型的研究
来源期刊 汽车工程 学科 交通运输
关键词 发动机管理系统 OSEK操作系统 时间自动机
年,卷(期) 2011,(3) 所属期刊栏目
研究方向 页码范围 250-255
页数 分类号 U464.13
字数 5316字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李红 浙江大学计算机学院 143 1487 21.0 32.0
2 赵庆玲 浙江大学计算机学院 2 5 1.0 2.0
3 姚栋伟 浙江大学动力机械及车辆工程研究所 33 168 8.0 12.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (4)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1994(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
发动机管理系统
OSEK操作系统
时间自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
汽车工程
月刊
1000-680X
11-2221/U
大16开
北京市西城区莲花池东路102号天连大厦1003室
2-341
1979
chi
出版文献量(篇)
4728
总下载数(次)
23
总被引数(次)
66645
论文1v1指导