Universidad Complutense de Madrid
E-Prints Complutense

Extending EFSMs to specify and test timed systems with action durations and timeouts



Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Extending EFSMs to specify and test timed systems with action durations and timeouts. Lecture Notes in Computer Science, 4229 . 372-387 . ISSN 0302-9743

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


URL Oficial: http://www.springerlink.com/content/b773612268uk3128/fulltext.pdf?MUD=MP

URLTipo de URL


In this paper we introduce a timed extension of the extended finite state machines model. On the one hand, we consider that output actions take time to be performed. This time may depend on several factors such as the value of variables. On the other hand, our formalism allows to specify timeouts. In addition to present our formalism, we develop a testing theory. First, we define ten timed conformance relations and relate them. Second, we introduce a notion of timed test and define how to apply tests to IUTs.

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

Formal Techniques for Networked and Distributed Systems - FORTE 2006. International Conference on Formal Methods for Networked and Distributed Systems. SEP 26-29, 2006. Paris, FRANCE.

Palabras clave:Automata
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15835
Depositado:05 Jul 2012 09:47
Ú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