Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications
Na minha lista:
| Publicado no: | Electronics vol. 14, no. 7 (2025), p. 1448 |
|---|---|
| Autor principal: | |
| Outros Autores: | , |
| Publicado em: |
MDPI AG
|
| Assuntos: | |
| Acesso em linha: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3188812797 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2079-9292 | ||
| 024 | 7 | |a 10.3390/electronics14071448 |2 doi | |
| 035 | |a 3188812797 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 084 | |a 231458 |2 nlm | ||
| 100 | 1 | |a Aladib, Loay | |
| 245 | 1 | |a Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a Stream processing frameworks have become key enablers of real-time data processing in modern distributed systems. However, robust and scalable mechanisms for verifying temporal properties are often lacking in existing systems. To address this gap, a new runtime verification framework is proposed that integrates linear temporal logic (LTL) monitoring into stream processing applications, such as Apache Spark. The approach introduces reusable LTL monitoring patterns designed for seamless integration into existing streaming workflows. Our case study, applied to real-time financial data monitoring, demonstrates that LTL-based monitoring can effectively detect violations of safety and liveness properties while maintaining stable latency. A performance evaluation reveals that although the approach introduces computational overhead, it scales effectively with increasing data volume. The proposed framework extends beyond financial data processing and is applicable to domains such as real-time equipment failure detection, financial fraud monitoring, and industrial IoT analytics. These findings demonstrate the feasibility of real-time LTL monitoring in large-scale stream processing environments while highlighting trade-offs between verification accuracy, scalability, and system overhead. | |
| 653 | |a Temporal logic | ||
| 653 | |a Software | ||
| 653 | |a Embedded systems | ||
| 653 | |a Data processing | ||
| 653 | |a Verification | ||
| 653 | |a Performance evaluation | ||
| 653 | |a Failure detection | ||
| 653 | |a Real time | ||
| 653 | |a Decision making | ||
| 653 | |a Compliance | ||
| 653 | |a Batch processing | ||
| 653 | |a Monitoring | ||
| 653 | |a Fault tolerance | ||
| 653 | |a Case studies | ||
| 653 | |a Run time (computers) | ||
| 700 | 1 | |a Su, Guoxin | |
| 700 | 1 | |a Yang, Jack | |
| 773 | 0 | |t Electronics |g vol. 14, no. 7 (2025), p. 1448 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3188812797/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text + Graphics |u https://www.proquest.com/docview/3188812797/fulltextwithgraphics/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3188812797/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |