[发明专利]一种基于模型的实时系统的可调度性分析方法

摘要

本发明涉及嵌入式实时系统的模拟仿真技术，旨在提供一种基于模型的实时系统的可调度性分析方法。该方法包括以下步骤：(1)建立系统模型；(2)以系统模型作为输入，进行任务分割；(3)设计模拟用数据结构；(4)对有向图执行算法进行仿真，得到结果执行序列；(5)输出模拟结果。本发明对任务的执行顺序进行详细的模拟，具有很好的预测性，可靠性，易用性；节省了软件开发的时间；消除了以往的可调度性分析只给一个比较笼统，比较模糊的结果的不良方面；本发明使得可调度行分析更具可行性，更加可视化，输出内容详尽，界面友好。

主权项

1、一种基于模型的实时系统的可调度性分析方法，其特征在于，包括以下步骤：(1)建立系统模型：通过建模工具建立系统模型，系统模型包含三个方面：任务、定时器、任务和任务/任务和定时器之间的通讯；(2)以系统模型作为输入，进行任务分割：进行任务分割通过任务分割算法实现，所述的任务分割算法如下：把任务分割成n个，其中：n＝任务的入度+任务的出度-1-入边中激活任务的边的条数；未经过分割的任务称为父任务，父任务分割后得到的任务称为子任务；一个父任务的所有子任务称为这个父任务的子任务集；根据系统模型的具体情况，对父任务和子任务进行手动加边形成时序图；(3)设计模拟用数据结构：根据时序图中的任务和各任务之间的相互关系设计模拟用数据结构，把时序图中的信息组织成有向图；模拟用数据结构分为三部分：任务节点、子任务集和有向图；(4)对有向图执行算法进行仿真，得到结果执行序列：在执行仿真算法以前，要设置就绪队列；在一般情况和最差情况下设置就绪队列的算法为：在一般情况下，将自启动的任务放入就绪队列；在最差情况下，将入读为零的任务放入就绪队列；对就绪队列设置完毕后，对有向图执行算法进行仿真；(5)输出模拟结果：结果以在界面上画图的形式来展现给用户，在输出模拟结果的界面中，提供了最差和一般两种情况下的三大结果：每个时刻执行的任务信息、每个任务的执行时间及CPU的空闲时间和系统是否可调度的信息及输出不可调度的原因。