面向软件系统的指令时序建模与分析方法

软件指令时序调度是实时软件系统运行的基本问题,如何识别出实时系统中的关键任务,并对其进行及时调度和处理则是解决这一基本问题的关键。应用企业过程建模原理,构造了实时系统的软件过程时序模型,并基于SADT模型,提出了一个基于CPU时间和带宽分配的指令活动模型TB-SADT。引入合成数的概念以求解不确定性软件过程关键路径。针对软件过程模型的控制结构,考虑CPU时间和通信时间的分配,探讨模型中各活动之间时序调度问题。

A Method for Software System Instructions-Timing Modeling and Analysis

Instruction-timing scheduling is a basic problem of the real-time system.How to identify the critical tasks in the real-time system,to schedule and handle them timely,it is the key to address this fundamental problem.Firstly,applying the business process modeling theory,a software process timing model of the real-time system have constructed.Based on the SADT model,an instruction activity model,namely,a TB-SADT,has been proposed with timing-sharing and band-width.Secondly,the notion of composite number has been introduced to find the critical path of uncertain process.Then,in against with the different control structures of process model,the issues of timing scheduling between activities has been discussed with consideration of the allocation of CPU time and communication time.