상세 보기
On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
- Choi, Eu-Teum;
- Kim, Tae-hyung;
- Jun, Yong-Kee;
- Lee, Seongjin;
- Han, Mingyun
Citations
WEB OF SCIENCE
3Citations
SCOPUS
4초록
Airborne health management systems prevent functional failure caused by errors or faults in airborne software. The on-the-fly repairing of atomicity violations in ARINC 653 concurrent software is critical for guaranteeing the correctness of software execution. This paper introduces RAV (Repairing Atomicity Violation), which efficiently treats atomicity violations. RAV diagnoses an error on the fly by utilizing the training results of software and treats to control access to the shared variable of the thread where the error has occurred. The evaluation of RAV measured the time overhead by applying methods found in previous works and RAV to five synthesis programs containing an atomicity violation.
키워드
airborne software; health management; on-the-fly repairing; atomicity violations; EFFICIENT
- 제목
- On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
- 저자
- Choi, Eu-Teum; Kim, Tae-hyung; Jun, Yong-Kee; Lee, Seongjin; Han, Mingyun
- 발행일
- 2022-02
- 유형
- Article
- 저널명
- Applied Sciences-basel
- 권
- 12
- 호
- 4