Author:
Chopra Nikita,Pai Rekha,D’Souza Deepak
Publisher
Springer International Publishing
Reference28 articles.
1. Adve, S.V., Hill, M.D.: A unified formalization of four shared-memory models. IEEE Trans. Parallel Distrib. Syst. 4(6), 613–624 (1993)
2. Artho, C., Havelund, K., Biere, A.: High-level data races. J. Softw. Test. Verif. Reliab. 13, 207–227 (2003)
3. Barry, R.: The FreeRTOS kernel, v10.0.0 (2017).
https://freertos.org
4. Boehm, H., Adve, S.V.: Foundations of the C++ concurrency memory model. In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, USA, pp. 68–78. ACM (2008)
5. Brylow, D., Damgaard, N., Palsberg, J.: Static checking of interrupt-driven software. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, Toronto, Ontario, Canada, 12–19 May 2001, pp. 47–56 (2001)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient data race detection for interrupt-driven programs via path feasibility analysis;The Journal of Supercomputing;2024-06-14
2. Static Race Detection for Periodic Real-Time Programs with IPCP Locks;Lecture Notes in Computer Science;2024
3. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
5. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12