Paper Title:
Modeling and Analysis of Real-Time Software Based on Resource Timed Communicating Sequential Process
  Abstract

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
$32.00
Share

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

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

Authors: Ching Liang Chen, Yung Chung Chang
Thermal Engineering Theory and Applications
Abstract:Recently, the semiconductor manufacturing industry has exhibited not only fast growth, but intense power consumption. Consequently, reducing...
1492
Authors: Kuan Yi Yao, Li Zhang
Chapter 10: Reproduction and Inherit of Local Architecture
Abstract:In order to meet public building energy management and data sharing requirements, the pattern and framework of energy consumption monitoring...
3509
Authors: Dong Qiu, Ying Ying Fu, Xiao Bo Wang
Chapter 1: Material Science and Engineering
Abstract:An intelligent algorithm of energy analysis was put forward based on statistical data of Sinosteel Jilin ferroalloy Co., Ltd. Momentum BP...
171
Authors: Chang Tao Wang, Jing Hai Zhou, Zhong Hua Han
Chapter 4: Automation, Control, System Modeling and Simulation
Abstract:As developing and integrating energy consumption detection system become more and more difficult, OPC technology is used to simplify the...
950
Authors: Feng Qin Yu, Bei Tian, Xin Zhang, Qiang Wang, Dan Shi Yu, Rang Zhao
Chapter 9: Green Building, Energy-Saving Buildings, Construction and Buildings Technologies
Abstract:The building energy consumption is one of three in China's energy consumption, the detection and monitoring for energy consumption of...
945