Title :
An example of performance evaluation by using the stochastic process algebra: ROSA
Author :
Pelayo, Fernando L. ; Cuartero, Fernando ; Valero, Valentin ; Cazorla, Diego
Author_Institution :
Escuela Politecnica Superior, Univ. of Castilla-La Mancha, Albacete, Spain
Abstract :
We present an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes as well as to check some temporal requirements: ROSA (Reasoning On Stochastic Algebras). As an application, we analyse the Alternating Bit Protocol obtaining the average time to send a message, considering that channels may fail with a known probability
Keywords :
algebraic specification; performance evaluation; process algebra; real-time systems; specification languages; temporal logic; Alternating Bit Protocol; ROSA; Reasoning On Stochastic Algebras; algebraic language; average time to send a message; case studies; designs specifications; fault tolerance; formal methods; performance evaluation; performance indexes; real-time requirements; stochastic process algebra; temporal requirements; Algebra; Calculus; Carbon capture and storage; Failure analysis; Fault tolerance; Fault tolerant systems; Performance analysis; Protocols; Real time systems; Stochastic processes;
Conference_Titel :
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location :
Cheju Island
Print_ISBN :
0-7695-0930-4
DOI :
10.1109/RTCSA.2000.896401
