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

Abstract:

Article Preview

With the progress of low-power research on real-time systems, the estimation and analysis of energy consumption of real-time systems becomes a hot topic. Process Algebra is a formal method fit for analyzing the functional properties of real-time systems, but it can not analyze the energy consumption properties. This paper proposes a formal method support for modeling and analyzing energy consumption of real-time software. Resource Timed Communicating Sequential Process (RTCSP) is proposed in this paper can handle it efficiently by extending resource information on Timed Communicating Sequential Process (TCSP). In this paper, the power consumption of instructions in real-time systems is mapped into the resource of RTCSP, the energy consumption of real-time software can be modeled and optimized by using RTCSP, the optimal path algorithm is proposed to calculate the minimum energy consumption reachability path of real-time systems. This formal method improves the accuracy and efficiency of energy calculation, the calculation results can be used to quantitatively analyze and optimize the energy consumption of real-time systems.

Info:

Periodical:

Advanced Materials Research (Volumes 225-226)

Edited by:

Helen Zhang, Gang Shen and David Jin

Pages:

802-806

DOI:

10.4028/www.scientific.net/AMR.225-226.802

Citation:

Y. Zhu "Modeling and Analysis of Real-Time Software Based on Resource Timed Communicating Sequential Process", Advanced Materials Research, Vols. 225-226, pp. 802-806, 2011

Online since:

April 2011

Authors:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.