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

With the process of non-functional properties research on real-time systems, resource estimation and analysis of real-time systems become a hotspot. Process Algebra is a formal method fitting for analyzing the functional properties of real-time systems, but it can not analyze the resource properties. Resource Timed Process Algebra (RTPA) proposed in this paper can handle it efficiently by extending resource semantics on Timed Communicating Sequential Process (TCSP). In this paper, implementation of real-time task is mapped into process, each instruction is mapped into every event of process, the resource used by an instruction is mapped into the resource of an event, so the resource characteristics of real-time systems is expressed as the resource characteristics of process. 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.