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

fYear

2000

fDate

2000

Firstpage

271

Lastpage

278

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on

Conference_Location

Cheju Island

ISSN

1530-1427

Print_ISBN

0-7695-0930-4

Type

conf

DOI

10.1109/RTCSA.2000.896401

Filename

896401