article · 2025
Big Data Processing Verification
M. A. Poltavtseva, Alexey Podorov, D. P. Zegzhda
Cited by 0Abstract and details only
Abstract
The Subject of the paper is the application of temporal logic to verify data processing processes in big data processing and storage systems, including large industrial systems of the digital economy. The purpose of verification is to identify errors and inconsistencies in the data processing and storage processes at the information processing logic level. In this paper, the authors analyze temporal logics and verification approaches. The choice of linear time logic and the TLA+ tool is justified, and a formalization of the big data processing lifecycle model using the selected mathematical apparatus is proposed. A test bench has been developed that performs automatic specification generation in the TLA+ language. Experimental testing was conducted using the example of a data processing process involving the sharing of SCADA data and data from other enterprise information systems.
Cite this paper
Poltavtseva, M. A., Podorov, A., & Zegzhda, D. P. (2025). Big Data Processing Verification. https://doi.org/10.1109/rusautocon65989.2025.11177319
Poltavtseva, M. A., et al. “Big Data Processing Verification.” 2025, pp. 545–49, https://doi.org/10.1109/rusautocon65989.2025.11177319.
Poltavtseva, M. A., Alexey Podorov, and D. P. Zegzhda. 2025. “Big Data Processing Verification.” https://doi.org/10.1109/rusautocon65989.2025.11177319.
Poltavtseva, M.A., Podorov, A. and Zegzhda, D.P. (2025) ‘Big Data Processing Verification’. Available at: https://doi.org/10.1109/rusautocon65989.2025.11177319.
@article{poltavtseva2025data,
title = {{Big Data Processing Verification}},
author = {Poltavtseva, M. A. and Podorov, Alexey and Zegzhda, D. P.},
pages = {545--549},
year = {2025},
doi = {10.1109/rusautocon65989.2025.11177319}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.