Abstract
We specify the behavior of a sensor network with different sensor stations distributed all along the region of Andalusia (South of Spain). The main goal of this network is the measure of air quality taking into account the maximum levels of certain pollutants. The problem that we try to solve with this formalization is the management of time inaccuracies between the components of a network with the aim of avoiding the malfunctions that are derived from them. We present the formal syntax and semantics of our variant of fuzzy-timed automata and define all the automata corresponding to the different parts of the netowrk.
The research presented in this paper has been partially supported by the Spanish MINECO/FEDER project DArDOS (TIN2015-65845-C3-1-R and TIN2015-65845-C3-3-R), the Comunidad de Madrid project SICOMORo-CM (S2013/ICE-3006) and the University of Cádiz project (PR2016-032). The second author is supported by a Universidad Complutense de Madrid - Santander Universidades grant. The first author would like to thank the ho spitality of the Design and testing of reliable systems research group, at Universidad Complutense de Madrid, during his stay when this research was carried out.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
Andrés, C., Llana, L., Núñez M.: Self-adaptive fuzzy-timed systems. In: 13th IEEE Congress on Evolutionary Computation, CEC 2011, pp. 115–122. IEEE Computer Society (2011)
Bosik, B.S., Uyar, M.Ü.: Finite state machine based formal methods in protocol conformance testing. Comput. Netw. ISDN Syst. 22, 7–33 (1991)
Cavalli, A., Favreau, J.P., Phalippou, M.: Standardization of formal methods in conformance testing of communication protocols. Comput. Netw. ISDN Syst. 29, 3–14 (1996)
Cavalli, A.R., Higashino, T., Núñez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3–4), 85–93 (2015)
Doostfatemeh, M., Kremer, S.C.: New directions in fuzzy automata. Int. J. Approximate Reasoning 38(2), 175–214 (2005)
Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 1–9 (2009)
Lamport, L.: Who builds a house without drawing blueprints? Commun. ACM 58(4), 38–41 (2015)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997)
Mintz D.: Technical assistance document for the reporting of daily air quality - the Air Quality Index (AQI). Technical report EPA-454/B-16-002, U.S. Environmental Protection Agency (2016)
Mordeson, J.N., Malik, D.S.: Fuzzy Automata and Languages: Theory and Applications. Chapman & Hall/CRC, Boca Raton (2002)
Wee, W.G., Fu, K.S.: A formulation of fuzzy automata and its application as a model of learning systems. IEEE Trans. Syst. Sci. Cybern. 5(3), 215–223 (1969)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Boubeta-Puig, J., Camacho, A., Llana, L., Núñez, M. (2017). A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. In: Rojas, I., Joya, G., Catala, A. (eds) Advances in Computational Intelligence. IWANN 2017. Lecture Notes in Computer Science(), vol 10306. Springer, Cham. https://doi.org/10.1007/978-3-319-59147-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-319-59147-6_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-59146-9
Online ISBN: 978-3-319-59147-6
eBook Packages: Computer ScienceComputer Science (R0)