A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation-Reference-Cited by-同舟云学术

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16
language:
Short-container-title:

Author:

Cai Simin¹,Gallina Barbara¹,Nyström Dag¹,Seceleanu Cristina¹

Affiliation:

1. Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden

Publisher

ACM Press

Reference28 articles.

1. R. K. Abbott and H. Garcia-Molina. Scheduling real-time transactions: A performance evaluation. ACM Trans. Database Syst., 17(3):513--560, Sept. 1992.

2. A. Adya, B. Liskov, and P. O'Neil. Generalized isolation level definitions. In Proceedings of the 16th ICDE, pages 67--78, 2000.

3. R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2--34, 1993.

4. R. Alur and D. L. Dill. A theory of timed automata. Theoretical computer science, 126(2):183--235, 1994.

5. S. Cai, B. Gallina, D. Nyström, and C. Seceleanu. Trading-off data consistency for timeliness in real-time database systems. In 27th ECRTS, pages 13--16, 2015.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification and automated verification of atomic concurrent real-time transactions;Software and Systems Modeling;2020-07-29

2. Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems;2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE);2019-10

3. Specification and Formal Verification of Atomic Concurrent Real-Time Transactions;2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC);2018-12

4. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence;2018 14th European Dependable Computing Conference (EDCC);2018-09

5. Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018