一种基于需求上界函数的任务自动机可调度性分析方法

摘要

本发明属于实时系统的实时调度和模型检测领域，具体涉及一种基于需求上界函数的任务自动机可调度性分析方法。该方法为：建立任务自动机系统模型；对任务自动机系统的每个任务自动机生成其对应的状态迁移系统；通过建立线性规划模型I和线性规划模型II，求解动态规划迭代带次数的上界Tbound；将任务自动机的状态空间全部划分为等效空间RPzone；利用动态规划的算法结构实现求解需求上界函数DBF(t)，将任务自动机的可调度性分析问题转化为需求上界函数的问题；计算任务自动机系统的DBF(t)，进行可调度性分析。通过等效划分，避免穷尽搜索所有的状态空间，只遍历边界状态进行可调度性分析，降低可调度性分析的复杂度。