[发明专利]嵌入式系统确定性分析方法

权利要求书

1.一种嵌入式系统确定性分析方法，其特征在于包括以下步骤：

步骤一、建立嵌入式系统中断模型；

对嵌入式系统的周期中断和非周期中断进行建模，周期中断模型采用八元组表示：

I_p＝id_I,type_I,priority_I,off,period_I,resptime_I,exetime_I,pubevent (1)

其中，id_I为中断的唯一标识符，type_I表示中断的类型，此处中断类型为周期性中断，priority_I表示中断优先级，数值越大，优先级越高，off表示周期与起始位置之间的偏移量，period_I为中断的周期，即两次中断之间的时间间隔，resptime_I表示中断响应时间，中断请求发出到进入中断处理之间的时间，exetime_I表示中断执行时间，即中断开始执行到中断退出之间的时间，pubevent为中断产生的事件，该事件会触发相应的任务执行；

对于非周期中断，定义中断在某一个时间周期[t₀,t₁]内服从特定分布函数，采用舍选法生成随机数来模拟非周期中断的发生时刻，非周期中断的模型使用九元组表示：

I_ap＝id_I,type_I,priority_I,off,F(x),timeinterval,resptime_I,exetime_I,pubevent(2)

相比较于周期中断，非周期中断的区别在于增加F(x)为非周期中断服从的分布函数；timeinterval是分布函数中时间x的取值范围；

步骤二、建立嵌入式系统周期任务模型；

定义嵌入式系统中周期任务的模型，对于周期任务的描述，不仅考虑时间特性，还将空间资源的需求纳入到模型当中：

T_p＝id_T,period_T,priority_T,resptime_T,exetime_T,deadline,spacesize,status(3)

式中，id_T为任务标识符，在系统中用来唯一表示任务，period_T为任务的周期，是指任务两次触发之间的时间间隔，priority_T为任务优先级，在抢占模式下，高优先级任务会抢占低优先级任务，resptime_T表示任务响应时间，任务建立到任务开始执行之间的时间间隔，exectime_T表示任务执行所需时间开销，deadline表示任务截止时间，在此时间之前任务未执行完成别任务超时，spacesize表示该任务执行所需的空间资源大小，子任务会被加入到任务序列中，接受任务调度器的调度，status表示任务的状态，采用经典三态模型，包括就绪态、阻塞态和运行态；在分析过程中，任务状态阻塞态至就绪态：任务获得所需资源，分析用时SC++；运行态至就绪态：高优先级任务抢占，任务切换时间ST++，分析用时SC++；就绪态至运行态：当前任务拥有最高优先级，任务执行时间ET++，分析用时SC++；运行态至阻塞态：资源无法得到满足，分析用时SC++；

步骤三、嵌入式系统的任务调度器模型；

将嵌入式系统中的任务调度策略分为两类，抢占式调度和非抢占式调度，据此建立任务调度器模型；抢占式调度时允许高优先级任务抢占低优先级任务，而非抢占式调度时高优先级任务不允许抢占低优先级任务，除非低优先级任务主动放弃处理器资源，高优先级任务才会执行；在此两类任务调度模式下，中断都会抢占任务；

步骤四、嵌入式系统的空间资源管理；

系统中的资源分为专有空间资源和共享空间资源，专有空间资源只有特定任务可以使用，其他任务无权使用，共享空间资源作为公有空间资源，所有的任务都有使用权；

步骤五、计算系统资源利用率；

系统中资源利用率包括时间资源利用率和空间资源利用率；

空间资源利用率包括专有空间资源利用率RLS_i和公有空间资源利用率RS_G，其计算公式如下：

式中，RLS_i表示专有空间资源利用率，表示已使用的专有空间资源，LS_i表示系统提供的专有空间资源，i表示第i个专有空间资源；

式中，RS_G表示公有空间资源利用率，表示已使用的公有空间资源，S_G表示系统提供的公有空间资源；

系统的时间资源利用率表示为实际使用时间和分析总时长的比值，具体表述为：

式中，RT表示系统时间资源利用率，S表示系统仿真总时长，RT_x表示第x个任务的响应时间，ET_x表示第x个任务的执行时间，ST_y表示第y次任务切换花费的时间，x、y分别表示系统中的任务数和任务切换的次数，m表示总任务数，n表示任务切换的总次数；

步骤六、计算关键任务资源利用率；

关键任务的资源利用率包括两个方面：时间资源利用率和空间资源利用率；在分析过程中，标记关键任务执行过程中系统空间资源利用率和该任务的时间资源利用率；关键任务的空间资源利用率是指在关键任务执行过程中，空间资源的使用情况；

式中，k表示第k个关键任务，RS_k表示关键任务的空间资源利用率，表示已使用的空间资源，TS_k关键任务的空间资源总量；

关键任务时间资源利用率表示关键任务从开始到执行完成的时间间隔与任务开始执行到任务预设死限时间间隔的比值；在分析过程中，记录关键任务开始执行的时刻BT_CT和预设的死限时间DT_CT，根据分析结果，得到任务执行完成的时刻ET_CT，并根据公式(8)计算关键任务的时间资源利用率RT_CT：

步骤七、嵌入式系统确定性分析方法；

在开始分析之前，规定系统中关键任务的空间资源利用率和系统的空间资源利用率，并规定任务执行过程中相对于任务截止时间的时间资源利用率，分析采用虚拟时钟来模拟系统时钟，任务执行确定性分析过程如下：

首先设置系分析总时间，并初始化分析用时SC＝0，获取关键任务参数；

判断是否达到分析总时间，如果到达分析总时间则停止分析，记录分析结果，未到达分析总时间则继续；

判断系统是否处于空闲状态，如果系统中无正在运行的任务，则执行IDLE空闲任务，分析用时SC加1；

判断系统的抢占模式，并根据抢占模式采用不同的调度策略调度任务，确定当前执行的任务，分析用时加1；

分析当前时刻系统和关键任务的空间资源利用率，如果不满足要求，则分析终止，记录分析结果；

分析当前系统和关键任务的时间资源利用率，如果不满足要求，则分析终止，记录分析结果。