@inproceedings{a2c64f3affa74af286448e414fc2c7c5,
title = "Work-in-Progress: Lightweight Deadlock Detection Technique for Embedded Systems via OS-Level Analysis",
abstract = "In this paper, we propose a dynamic analysis technique that diagnoses various kinds of deadlocks of embedded devices by OS-level analysis. Especially, we focus on minimizing performance overhead while inspecting deadlocks, because embedded applications run with limited system resources. Our experimental results show that our scheme detects all deadlocks which are induced in our test cases and incurs reasonable performance overhead (up to 16\%), compared with the conventional scheme.",
keywords = "Deadlock, Operating System, Wait-for-Graph",
author = "Youngho Choi and Jaeook Kwon and Seokjae Jeong and Hansub Park and Eom, \{Young Ik\}",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 18th ACM SIGBED International Conference on Embedded Software, EMSOFT 2018 ; Conference date: 30-09-2018 Through 05-10-2018",
year = "2018",
month = nov,
day = "15",
doi = "10.1109/EMSOFT.2018.8537214",
language = "English",
series = "2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018",
}