Abstract
In internet of vehicles (IoV), there are several events, e.g., location, speed, arriving time, that should be detected while the vehicle is running. Nowadays, formal description is becoming an effective method to describe and detect events. In this paper, we propose a temporal - spatial Petri net (TSPN) formal model which is deduced from Petri net. The rules of transition firing and marking updating are both defined in TSPN for further system analysis. In addition, an efficient TSPN analysis algorithm is developed for structured detection models. With a case study, we illustrate that TSPN can describe and detect events in advance for the IoV system.
The paper is supported in part by the National Natural Science Foundation of China under Grant No. 61672022, Key Disciplines of Software Engineering of Shanghai Polytechnic University under Grant No. XXKZD1604 and the U.S. National Science Foundation under Grant 1137732.
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
Similar content being viewed by others
References
JGerla, M., Lee, E., Pau, G.: Internet of vehicles: from intelligent grid to autonomous cars and vehicular clouds. In: 2015 IEEE World Forum, pp. 241–246. IEEE, Seoul (2014)
Bosman, H., Iacca, G., Tejada, A., Heinrich, J.: Spatial anomaly detection in sensor networks using neighborhood information. Inf. Fusion 33(1), 41–56 (2017)
Kang, M., Yu, H., Xiong, Q., Hu, H.: Spatial-temporal correlative fault detection in wireless sensor networks. Int. J. Distrib. Sens. Netw. 2014, 1–16 (2015)
Man, K., Krilaviius, T., Vallee, T., Leung, H.: A formal analysis tool for wireless sensor networks. Int. J. Res. Rev. Comput. Sci. 1, 24–26 (2009)
Liu, K., Lin, H., Fei, Z., Liang, J.: Spatially-temporally online fault detection using timed multivariate statistical logic. Eng. Appl. Artif. Intell. 65(1), 51–59 (2017)
Olveczky, P., Thorvaldsen, S.: Formal modeling and analysis of wireless sensor network algorithms in real-time Maude. In: 20th IEEE International Parallel and Distributed Processing Symposium, pp. 122–140. IEEE, Rhodes Island, Greece (2007)
Agha, G., Meseguer, J., Sen, K.: Maude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)
Riaza, S., Afzaala, H.: Formalizing mobile ad hoc and sensor networks using VDM-SL. Procedia Comput. Sci. 63, 148–153 (2015)
Silva, D.S., Resner, D., de Souza, R.L., Martina, J.E.: Formal verification of a cross-layer, trustful space-time protocol for wireless sensor networks. In: Ray, I., Gaur, M.S., Conti, M., Sanghi, D., Kamakoti, V. (eds.) ICISS 2016. LNCS, vol. 10063, pp. 426–443. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49806-5_23
Testa, A., Cinque, M., Coronato, A., De, P., Augusto, J.: Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach. J. Heuristics 21(2), 145–175 (2015)
Wang, J., Li, D.: Resource oriented workflow nets and workflow resource requirement analysis. Int. J. Softw. Eng. Knowl. Eng. 23(5), 677–693 (2013)
Tremblay, M.: Cutkosky.: Using sensor fusion and contextual information to perform event detection during a phase-based manipulation task. In: IEEE International Conference on Intelligent Robots and Systems, pp. 262–267. IEEE, Pittsburgh (1995)
Kapitanova, K., Sang, H.: A compact event description and analysis language for wireless sensor networks. In: 2009 Sixth International Conference on Networked Sensing Systems, pp. 1–4. IEEE Computer Society, Pittsburgh (2009)
Xiao, Q.: Bus Plan Research Based on GPS Data. Beijing Jiaotong University, Beijing (2009)
Guo, S., Wei, Y., Shi, W.: The statistics analysis of bus stop time. J. Gungxi Normal Univ. 24(2), 5–9 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Wang, N., Chen, X. (2018). A Formal Model for Temporal - Spatial Event in Internet of Vehicles. In: Chen, X., Sen, A., Li, W., Thai, M. (eds) Computational Data and Social Networks. CSoNet 2018. Lecture Notes in Computer Science(), vol 11280. Springer, Cham. https://doi.org/10.1007/978-3-030-04648-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-04648-4_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04647-7
Online ISBN: 978-3-030-04648-4
eBook Packages: Computer ScienceComputer Science (R0)