基于实时交互规约的分布嵌入式软件可确定调度方法研究

分布嵌入式软件具有复杂多节点架构,节点之间包含实时交互的并行信号流,因此,交互规约与调度可确定性是提高系统执行效能的关键。传统软件模型多侧重于利用面向对象技术的对象调用和状态转换传送控制作用，而面向Actor(执行体)模型通过变换数据相互作用，更适应于嵌入式软件模型实时并行处理。本项目研究基于交互规约的可确定调度机制,包括：1)定义Actor间接口关系,构造Actor框架,设计Actor间包含时间和功能的标签信号;2)分离标签信号的时间与功能,得到表示Actor间实时交互行为的时间模型和描述调度原理的同步并行语义;3)由偏序关系及其公理体系给出Actor接口间的实时交互规约,支持交互行为的存在性和唯一性;4)基于完备因果关系规约,确定时间关系与功能关系相独立的可信调度方法.项目将得到嵌入式软件交互规约和可确定的调度方法，并建立一个设计平台，在云南烟草物流系统AGV小车控制软件设计中得到验证