Modeling and Analysis of Real-Time Software Based on Resource Communicating Sequential Process

With the process of non-functional properties research on real-time systems, resource estimation and analysis of realtime systems become a hotspot. Process Algebra is a formal method fit for analyzing the functional properties of real-time systems, but it can not analyze the resource properties. Resource Communicating Sequential Process (RCSP) proposed in this paper can handle it efficiently by extending resource semantics on Communicating Sequential Process (CSP). In this paper, the resource consumption of real-time instructions is mapped into the resource of RCSP, then the resource consumption of realtime systems can be modeled and optimized by using RCSP; the resource optimal checking algorithms are proposed to check the resource satisfiability of instructions and calculate the minimum resource and accumulated resource of real-time systems. This formal method improves the accuracy and efficiency of resource calculation, the calculation results can be used to quantitatively analyze and optimize the resource consumption of real-time systems.