By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yi Zhu ; Coll. of Inf. Sci. & Technol., Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China ; Zhiqiu Huang ; Guangquan Zhang

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.

Published in:

Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on

Date of Conference:

19-20 Dec. 2009