论文部分内容阅读
在航天器自主控制结构中，采用分层结构构建系统，实现不同分组的软件互不影响执行．针对固定优先级调度模型，通过对分区可调度性和分区设计问题进行研究，仔细考察了任务最大响应时间迭代计算过程，提出了一种更为精确的求解算法；在固定优先级任务利用率上限的基础上，给出了分区任务可设计的判定条件；通过利用价值函数，给出了分区参数解析模型，在此基础上，提出了一种局部最优的设计方法来实现整个处理器的分区设计，通过具体实例对所提出的分区分析和设计方法进行了验证．