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

• 作者: 刘杰 李晓飞 李曦 陈香兰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 硬实时 控制系统 编程模型 时间可预测性 逻辑执行时间 服务体/执行流
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: ·理论与研发·
• 页码范围: 19-26
• 页数: 8页
• 分类号: TP316.2
• 字数: 6858字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1503-0360

摘要

实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为.传统的进程／线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性.Henzinger提出的LET (Logical ExecutionTime)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程／线程模型,仍会引入时间不确定性.结合服务体／执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为.把智能小车控制系统的实现作为研究实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李曦	中国科学技术大学计算机科学与技术学院	119	751	13.0	21.0
2	李晓飞	中国科学技术大学计算机科学与技术学院	4	12	1.0	3.0
3	刘杰	中国科学技术大学计算机科学与技术学院	218	1905	24.0	36.0
4	陈香兰	中国科学技术大学计算机科学与技术学院	48	235	8.0	12.0