[发明专利]一种基于多处理器的AADL模型的可调度性分析方法

权利要求书

1.一种基于多处理器多分区的分布式智能模块化系统的AADL模型的可调度性分析方法，其特征在于，包括以下步骤：

S1.提取AADL系统架构中各分区的时间属性以及各分区与处理器构件的绑定关系；

S2.分析各分区与处理器构件的绑定关系，将每个分区中的每个线程构件与唯一的处理器构件绑定；

S3.确定各分区中线程构件的执行时序，计算每个线程构件的响应时间；

S4.根据各线程构件的响应时间及截止时间，计算系统中相应各线程构件的可调度性；

S5.根据各线程构件的可调度性，得到系统可调度性，

其中，所述步骤S2包括：

判断分区能绑定的处理器数量，若待绑定的分区只能绑定在一个处理器上，则不需要进行判断直接将该分区绑定在该处理器上；

若分区能绑定在多个处理器上时，选择与该分区有时序关系的分区所绑定的处理器；

若根据时序关系并不能找到唯一的处理器时，则以符合条件的处理器上所绑定的分区的数量作为处理器绑定的依据；

当通过时序关系以及绑定在处理器上的分区数量还不能确定唯一的处理器构件时，则计算各个符合条件的处理器的利用率来确定唯一的处理器进行绑定；

所述S3中计算每个线程构件R_Ti的响应时间计算公式为：

R_Ti＝max(R′_Ti,R″_Ti)，

其中，Ti为线程，i为自然数，R’_Ti为线程构件所在分区的响应时间，计算公式为：

R’_Ti＝RI_Ti+RI’_Ti+T_start，

RI_Ti为线程Ti执行完整周期的实现，RI’_Ti为线程Ti执行最后一个周期的执行时间，T_start为表示线程Ti所在分区的开始时间属性；

R″_Ti为其他分区中与该线程构件连接的构件且在该构件之前的响应时间，计算公式为：

R”_Ti＝RE_Ti+RE’_Ti，

RE_Ti为其他分区中线程构件连接的构件且在该构件之前的线程在完整周期的响应时间，RE’_Ti为其他分区中线程构件连接的构件且在该构件之前的线程的最后一个运行周期的执行时间；

RE_Ti的计算公式为：

其中，max(R_Tj)表示其他分区中与Ti有连接关系且执行时序在Ti之前的各个线程的响应时间的最大值，E(Ti)为线程Ti自身的执行时间属性，E_Pi为线程Ti所属进程Pi的时间片时间，P_pi为进程Pi的时间片周期；

RE’_Ti的计算公式为：

2.根据权利要求1所述的方法，其特征在于，所述RI_Ti计算公式为：

其中，Con_Ti表示在分区中执行顺序在Ti之前的线程的集合，与E(Ti)的和为线程Ti从到就绪状态到运行完所需要的时间，j为自然数。

3.根据权利要求2所述的方法，其特征在于，所述RI’_Ti计算公式为：

4.根据权利要求1所述的方法，其特征在于，所述S4包括：

获取线程截止时间由系统的AADL模型中的构件属性中直接获得，将线程截止时间与响应时间进行比较得到线程构件的可调度性：

当线程构件的响应时间大于截止时间属性时，线程构件不可调度；

线程构件的响应时间小于截止时间属性时，则线程构件可调度。

5.根据权利要求4所述的方法，其特征在于，根据所述各线程构件的可调度性确定各线程所在分区的可调度性进而确定系统的可调度性。

6.根据权利要求5所述的方法，其特征在于，当分区内线程构件均可调度，则该分区可调动；当各分区均可调度，则系统可调度。