Universidad Complutense de Madrid
E-Prints Complutense

Implementation relations for stochastic finite state machines



Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Implementation relations for stochastic finite state machines. Lecture Notes in Computer Science, 4054 . pp. 123-137. ISSN 0302-9743

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://www.springerlink.com/content/2616220157w78221/fulltext.pdf

URLTipo de URL


We present a timed extension of the classical finite state machines model where time is introduced in two ways. On the one hand, timeouts can be specified, that is, we can express that if an input action is not received before a fix amount of time then the machine will change its state. On the other hand, we can associate time with the performance of actions. In this case, time will be given by means of random variables. Intuitively, we will not have conditions such as "the action a takes t time units to be performed" but conditions such as "the action a will be completed before time t with probability p." In addition to introducing the new language, we present several conformance relations to relate implementations and specifications that are defined in terms of our new notion of stochastic finite state machine.

Tipo de documento:Artículo
Información Adicional:

Formal methods and stochastic models for performance evaluation. 3rd European Performance Engineering Workshop. JUN 21-22, 2006. Budapest, HUNGARY.

Palabras clave:Probabilistic processes; Algebraic-theory; Timed automata; Systems; Priorities
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15824
Depositado:04 Jul 2012 10:03
Última Modificación:06 Feb 2014 10:32

Descargas en el último año

Sólo personal del repositorio: página de control del artículo