Universidad Complutense de Madrid
E-Prints Complutense

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



Downloads per month over past year

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

[thumbnail of 24.pdf] PDF
Restringido a Repository staff only


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


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.

Item Type:Article
Additional Information:

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.

Uncontrolled Keywords:Automata
Subjects:Sciences > Mathematics > Operations research
ID Code:15835
Deposited On:05 Jul 2012 09:47
Last Modified:22 Aug 2018 11:31

Origin of downloads

Repository Staff Only: item control page