상세 보기
A Survey of Health Management System for On-The-Fly Repairing of Concurrency Errors in Airborne Software
- Lee, Junho;
- Go, Seongyun;
- Choi, Eu-Teum;
- Lee, Seongjin
Citations
SCOPUS
0초록
Concurrency errors are known for their difficulty of debugging and reproducing prior to execution. Undetected concurrency errors could result in nondeterministic executions that deviate from the programmer’s intent and significantly undermining the reliability of the program. To prevent functional failure in airborne software, on-the-fly repairing of concurrency errors is crucial. This paper surveys the Health Management System for on-the fly repairing of concurrency errors in airborne software and motivates the future work in concurrent airborne software. © 2023 Copyright for this paper by its authors.
키워드
airborne software; Concurrency error; Health Management System; on-the-fly repairing; reliability
- 제목
- A Survey of Health Management System for On-The-Fly Repairing of Concurrency Errors in Airborne Software
- 저자
- Lee, Junho; Go, Seongyun; Choi, Eu-Teum; Lee, Seongjin
- 발행일
- 2023-12
- 유형
- Conference paper
- 저널명
- CEUR Workshop Proceedings
- 권
- 3655