Title :
Stochastic Extension for Real Time Process Algebra with Urgency Executing Policy
Author :
Li, Xifu ; Zheng, Guang ; Li, Lian ; Wu, Jinzhao ; Chen, Wenbo
Author_Institution :
Coll. of Accounting, Lanzhou Univ. of Finance & Econ., Lanzhou, China
Abstract :
Real time process algebra with urgency executing policy can specify the behaviors of real time systems. But in reality, the executing time of real time systems´ behavior is not determined to an accurate value. As executing time obey the exponential distribution, stochastic process algebras equip their actions with exponential variable ¿. In order to specify real time systems behaviors more accurately, we propose a stochastic extension for real time process algebra with urgency executing policy.
Keywords :
exponential distribution; process algebra; real-time systems; stochastic processes; exponential distribution; real time process algebra; real time systems; stochastic process algebras; urgency executing policy; Algebra; Equations; Exponential distribution; Finance; Information science; Information technology; Joining processes; Real time systems; Stochastic processes; Stochastic systems;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5362871
