[发明专利]一种中断驱动系统程序生成和分析方法

权利要求书

1.一种中断驱动系统程序生成和分析方法，其特征在于：包括以下步骤：

步骤1，获取中断驱动系统设计数据；

步骤2，根据步骤1获取的中断驱动系统设计数据建立中断驱动系统模型；

步骤3，根据步骤2建立的中断驱动系统模型导出代码框架，所述代码框架包括中断处理程序、系统任务处理程序；

步骤4，将系统任务处理程序中的任务子函数人工填充完整，并使用WCET分析工具分析其函数最坏运行时间；

步骤5，对比源代码框架中的最坏时间标注，判断其是否满足要求并进行处理。

2.根据权利要求1所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤1中，中断驱动系统设计数据包括中断驱动系统的中断事件、中断及其处理程序、系统任务及其处理程序、共享变量。

3.根据权利要求1所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤2包括：

步骤21，输入中断驱动系统的任务及其处理程序信息，中断及其处理程序信息；

步骤22，输入中断驱动系统所能发生的中断事件信息；

步骤23，对输入的中断事件选择设计好的中断处理程序和任务处理程序进行处理。

4.根据权利要求3所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤23的具体步骤为：对输入的中断事件选择设计好的中断处理程序，分配控制命令字，期间要检查中断处理程序是否有足够CPU时间响应该中断事件；再将处理中断事件所需消耗的CPU时间按设计分割成一个或多个小的时间片，对每个时间片选择某个任务处理程序，表示在该系统任务内运行中断事件引发的操作，运行时间为此时间片所规定的时间，期间需要检查选择的系统任务处理程序所剩CPU运行时间是否满足分割时间片要求。

5.根据权利要求1所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤3中，中断处理程序中包含其所需响应的中断事件，并设置好对应的控制命令字；系统任务处理程序包含在其CPU时间内所需运行的中断事件处理时间片操作，每个时间片对应一个任务子函数，根据中断处理程序中设置的控制命令字确定调用哪个任务子函数完成处理，期间需要对生成的函数使用注释或其它方式标注其设计信息。

6.根据权利要求1所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤4中，使用WCET分析工具对源码以函数为单位计算各任务子函数的实际最坏运行时间。

7.根据权利要求1所述的中断驱动系统程序生成和分析方法，其特征在于：所述步骤5包括：所述对比最坏时间标注包含以下步骤：

步骤51：对比WCET工具计算出的任务子函数最坏运行时间和代码框架生成时的最坏运行时间标注；

步骤52：若对每个任务子函数计算出的时间都不大于其最坏运行时间标注，则代码符合系统设计需求代码生成结束；若某个任务子函数计算出的时间大于最坏运行时间标注，则选择以下任一种方式：

(1)重新设计该任务子函数，转至步骤4；

(2)重新设计中断驱动系统模型，转至步骤2。