中文摘要：

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.

英文摘要：

Aiming to solve the problem that the software design of real-time systems is difficult to effectively take into account both functional requirements and non-functional requirements,a support method for resource modeling and analysis of real-time software is proposed.First,a resource communicating sequential process（RCSP） is obtained by extending resource information on a communicating sequential process（CSP）,and resource consumption of instructions in real-time systems is mapped into the resource of the RCSP.The resource consumption of real-time software can be modeled and quantitatively analyzed by using the RCSP.Then,resource optimal checking algorithms are proposed to check the resource satisfiability of instructions and calculate the minimum resources of real-time systems.Finally,a traffic alert and collision avoidance system is modeled and analyzed to illustrate the effectiveness of this method.The results show that this method can analyze the key software design elements which influence the resource use of real-time systems,and it can evaluate the effects of optimizing software on the resource use of real-time systems.It can improve the accuracy and efficiency of resource calculations.The calculation results can be used to quantitatively analyze and optimize the resource consumption of real-time systems.