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

摘要：

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

关键词：硬实时、控制系统、编程模型、时间可预测性、逻辑执行时间、服务体/执行流

所属期刊栏目：52

分类号：TP316.2(计算技术、计算机技术)

资助基金：国家自然科学基金61379040,61272131;江苏省自然科学基金SBK2012194

在线出版日期：2016-07-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：19-26