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

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

项目编号： No.60863004

项目类型： 地区科学基金项目

立项/批准年度： 2009

项目学科： 金属学与金属工艺

项目作者： 张晶

作者单位： 昆明理工大学

项目金额： 23万元

中文摘要： 交互规约与调度可确定性可提高软件节点间实时并行信号流的执行效能。项目围绕基于规约的可确定调度方法关键技术进行研究和探讨，在以下几个方面取得了一些进展：1.研究框架模型，提出框架模型单元-执行体构件(Actor)函数定义描述，设计正交结构的层次框架，实现构件组合与层次框架的链接和映射；2. 研究标签信号，设计时间标签事件，定义实时信号函数，描述构件接口事件流因果依赖，确定节点接口信号时间关系；3. 研究交互规约，提出了时序语义分离方法，构建了信号时序流图模型，定义接口信号传递函数，确定信号时序的组合运算；4. 研究可确定性，扩展超密度时间语义框架表示混杂系统信号标签模型,定义构件为时间模型偏序集函数,构建反馈作用的偏序集函数组合,扩展广义超测度空间固定点理论分析时间模型因果构件收敛性和系统响应的存在性和唯一性，设计执行时间与截止期协同的调度算法，确定实时并行系统的行为；5. 研究实验设计平台，提出了AGV小车控制软件建模方法，实现了多种情况下AGV小车的调度冲突规避策略。本项目对基于规约的实时系统确定性进行了探索，摸清了该研究问题的重点难点，取得了一定的进展，为进一步研究奠定了坚实的基础

中文关键词： 分布嵌入式软件;Actor框架;信号函数；交互规约；可确定性

英文摘要： This project is aimed at developing interaction specification and trusted scheduling of multi-node distributed embedded software that has real-time, interactive, and concurrent signal flows. The finished project,which has the following five focus areas of research progress,will provide key technologies to trusted scheduling paradigm, based on interaction specification. (a) Framework model. The focus here is on defining function description of actors that integrates actor-oriented orthogonal hierarchical framework, linking and mapping of actor composition and hierarchical framework. (b)Tagged signal. As part of this effort,tagged-event with both timing attributes and functionality properties need to be designed among actors. Key to other effort is progress in defineing real-time signal function, in describing event flow causal dependency of actor interfaces, and in determining timed relationship of node interface signals.(c) Interaction specification. The main effort here is to separate timing attributes from functionality properties, based on tagged-signal. Key to other effort is progress in constructing signal timing sequence flow chart model,in defining interface signal transfer function and in determining combination of signal timing computing.(d)Determinism.The deliverables from this project will be a set of hybrid system tagged-signal model, based on extending super dense time semantic framework. Component will be defined by posets function of time model and composed by posets function using feedback. Based on ?xed point theorem and generalized ultrametrics, convergence of causal components is presented, and existence and uniqueness of system response is supported. The scheduling algorithm will be designed that collaborates execution time and deadline to determine the behavior of real-time parallel systems. (e)Design platform. This project will provide a new AGV(Automatic Guided Vehicle) control software modeling method, and a variety of AGV scheduling conflict avoidance strategies. The outcomes of this project are to explore the determinism of real-time system, find out the key and difficult problems in the research, make some progress, and lay a solid foundation for further study.

英文关键词： Distributed Embedded Software;Actor Framework;Signal Function;Interaction Specification;Determinism