[发明专利]基于资源竞争模型的AADL模型可调度性验证方法

摘要

本发明公开了一种基于资源竞争模型的AADL模型可调度性验证方法，用于解决现有AADL模型的可调度性分析方法耗时长的技术问题。技术方案是通过分析AADL架构模型中构件间的交互关系得到线程执行顺序关系，并根据这些连接关系生成进程的并发体集合、线程的干扰集。从而建立系统的可调度性分析模型—资源竞争模型。将线程构件的执行时间属性以及利用资源竞争模型计算得到的响应时间相加，并与线程构件的截止时间属性相比较从而得到系统中各个构件的可调度性，进而分析整个系统的可调度性。避免了利用自动机模型时遇到复杂系统会造成状态过多难以计算的问题，对于结构复杂的AADL模型可以在短时间内计算出系统的可调度性分析结果。

主权项

一种基于资源竞争模型的AADL模型可调度性验证方法，其特征在于包括以下步骤：步骤一、通过分析AADL模型的架构，提取构件与时间相关的属性以及构件连接关系，找到系统中各个进程的并发体的集合，系统的并发体集合用CS表示；步骤二、通过分析AADL模型的架构，提取构件与时间相关的属性以及构件连接关系，找到系统的线程干扰集集合，用InterS表示；为每个进程建立完并发体集合后，针对进程Pi中的任意一个线程建立其干扰集1)分析与线程在同一个进程中的线程：如果线程和线程是并发关系，即并且线程的优先级不低于线程那么属于的并发集，即通过分析进程Pi中的每个线程，建立线程的并发集2)分析与线程在不同进程中的线程：对于与线程不在同一个进程中的线程，即Pl中的线程，其中l≠i，选择进程Pl中线程执行时间之和最大的并发体，作为进程Pl(l≠i)中的线程的代表；在计算各个并发体中线程执行时间之和之前，需要针对下面两种情况对并发体进行裁剪：i.并发体中有线程通过进程连接而与线程形成连接关系；ii.并发体中有线程的优先级低于线程完成从并发体中裁剪掉这些线程之后，计算各个并发体中剩余的线程的执行时间之和，然后找出与线程所在的进程不同的各个进程中的并发体，并选择线程的执行时间之和最大的并发体，将该并发体中裁剪完剩余的线程加入到线程的干扰集中；将计算得到的线程的并发集中的线程加入到干扰集中，完成线程的干扰集的建立；步骤三、由步骤一、二的结果得到系统的资源竞争模型RCM，所述资源竞争模型由一个四元组描述，即RCM＝(PS,TS,CS,InterS)，其中，PS是系统的进程集合，由系统中全部N个进程组成，而Pi表示系统中的任意一个进程，所以PS＝{P1,…,Pi,…,PN}；TS是系统中全部线程组成的集合，TSi表示系统中某个进程Pi中所有线程组成的集合；如果系统由进程P1,…,Pi,…,PN这些进程构成，那么每个进程都对应一个线程集合，即TS1,…,TSi,…,TSN，那么整个系统的线程集合TS＝TS1∪…∪TSi…∪TSN；另外，如果进程Pi中有Mi个线程，那么TSi是其对应的线程集合，则CS是系统的并发体集合，由所有进程中的并发体组成，而CSi表示进程Pi中的所有并发体构成的集合，是CS的一个子集，所以CS＝CS1∪…∪CSi…∪CSN；另外，如果进程Pi中有Si个并发体，那么是其对应的并发体，则InterS是系统的线程干扰集集合，与线程集合TS一一对应，TS中的每个线程对应InterS中的一个干扰集，即是线程对应的干扰集,所以InterS是一个由集合组成的集合，是线程对应的并发集，而且是的真子集，也就是步骤四、基于系统的资源竞争模型中各个线程的干扰集来计算该线程的响应时间；线程需要等待其干扰集中所有线程执行完成并释放处理器资源才能开始执行，所以其响应时间就是其干扰集中所有线程的执行时间之和，如公式(1)所示；R(Tij)=ΣTxy∈InterijE(Txy)---(1)]]>其中是线程的干扰集中的一个线程，而E(Txy)是线程Txy的执行时间；步骤五、将每个线程的响应时间和执行时间之和与其截止期限属性进行比较，获得每个线程的可调度性；计算出各个线程的响应时间后，从系统的AADL模型中的构件属性中直接获得各个线程的执行时间和截止期限属性，对各个线程构件的可调度性和整个系统的可调度性进行判断；整个系统的可调度性进行判断根据下面两条规则：规则1：在一个给定处理器资源的系统中，是其中的一个线程，是该线程的响应时间，是该线程的执行时间，而是该线程的截止期限(Deadline)属性值，如果满足完成线程调度；规则2：在一个给定处理器资源的系统中，如果任意一个线程都能够被成功调度，那么该系统就能够被成功调度；根据上面介绍的可调度性分析方法和两条判断规则，根据系统的AADL模型静态计算分析出其可调度性。