Timed SEFM:面向嵌入式实时控制系统的编程模型

发布时间：2017-10-01 23:26

  本文关键词：Timed SEFM:面向嵌入式实时控制系统的编程模型

  更多相关文章： 硬实时 控制系统 编程模型 时间可预测性 逻辑执行时间 服务体/执行流

【摘要】：实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。
【作者单位】： 中国科学技术大学计算机科学与技术学院;
【关键词】： 硬实时 控制系统 编程模型 时间可预测性 逻辑执行时间 服务体/执行流
【基金】：国家自然科学基金(No.61379040,No.61272131) 江苏省自然科学基金(No.SBK2012194)
【分类号】：TP368.1;TP273
【正文快照】： 1引言典型的嵌入式控制系统的设计和实现分别由控制工程师和软件工程师完成。控制工程师对系统行为和交互环境进行建模,导出控制逻辑,设计并优化控制模型,模拟验证其功能和性能;软件工程师将控制模型中的计算分解成不同的实时任务,并根据控制模型的时间约束、操作系统的调度机

【参考文献】

中国期刊全文数据库 前3条

1 王仁;李曦;陈香兰;;基于服务体/执行流模型的MiniOSEK操作系统[J];计算机系统应用;2010年12期

2 龚育昌;张晔;李曦;陈香兰;;一种新型的构件化操作系统的内核设计[J];小型微型计算机系统;2009年01期

3 陈香兰;龚育昌;张晔;;基于服务体/执行流模型的操作系统[J];计算机工程;2008年11期

【共引文献】

中国期刊全文数据库 前4条

1 马运南;陈香兰;;支持SRP协议的实时调度技术[J];计算机系统应用;2016年02期

2 刘杰;陈香兰;;面向逻辑执行时间模型的Minicore的内存管理[J];计算机系统应用;2016年02期

3 刘杰;陈香兰;李晓飞;李曦;;Timed SEFM:面向嵌入式实时控制系统的编程模型[J];计算机工程与应用;2016年10期

4 李晓飞;陈香兰;刘杰;李曦;;T-Minicore嵌入式时间可预测操作系统的设计与实现[J];计算机科学;2015年S2期

【二级参考文献】

中国期刊全文数据库 前5条

1 吴明桥;陈香兰;张晔;龚育昌;;一种基于服务体/执行流的新型操作系统构造模型[J];中国科学技术大学学报;2006年02期

2 黄鹏;基于OSEK/VDX的嵌入式车用操作系统研究[J];武汉理工大学学报(信息与管理工程版);2005年05期

3 李宏,陈香兰,吴明桥,龚育昌,赵振西;服务体模型与操作系统内核设计技术[J];计算机研究与发展;2005年07期

4 刘成伟,王尚勇,杨青;基于OSEK Works开发平台的高压共轨喷油控制系统的研究[J];内燃机工程;2004年04期

5 张宝民,孙晓民;清华OSEK车用嵌入式实时操作系统设计[J];计算机工程与设计;2004年05期

【相似文献】

中国期刊全文数据库 前10条

1 欧阳t，

本文编号：956293