2026-06-29T07:44:21Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/500402024-08-21T12:39:36Zcom_20.500.14352_14col_20.500.14352_15

Extending EFSMs to specify and test timed systems with action durations and timeouts García Merayo, María De Las Mercedes Núñez García, Manuel Rodríguez Laguna, Ismael 519.8 Automata Investigación operativa (Matemáticas) 1207 Investigación Operativa 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. 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. MCYT Junta de Castilla-La Mancha Marie Curie Sección Deptal. de Sistemas Informáticos y Computación Fac. de Ciencias Matemáticas TRUE pub 2023-06-20T09:37:00Z 2023-06-20T09:37:00Z 2006 journal article https://hdl.handle.net/20.500.14352/50040 0302-9743 10.1007/11888116_27 eng TIC2003-07848-C02-01 PAC-03-001 MRTN-CT-2003-505121/TAROT restricted access application/pdf Springer Verlag