By Topic

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

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

4 Author(s)
Yi Zhu ; Sch. of Comput. Sci. & Technol., Jiangsu Normal Univ., Xuzhou, China ; Kejian Chen ; Jinwei Xia ; Gongjie Zhang

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.

Published in:

Computational and Information Sciences (ICCIS), 2012 Fourth International Conference on

Date of Conference:

17-19 Aug. 2012