On-the-Fly Repairing of Atomicity Violations in ARINC 653 Softwareopen access
- Authors
- Choi, Eu-teum; Kim, Tae-hyung; Jun, Yong-Kee; Lee, Seongjin; Han, Mingyun
- Issue Date
- Feb-2022
- Publisher
- MDPI
- Keywords
- airborne software; health management; on-the-fly repairing; atomicity violations
- Citation
- APPLIED SCIENCES-BASEL, v.12, no.4
- Indexed
- SCIE
SCOPUS
- Journal Title
- APPLIED SCIENCES-BASEL
- Volume
- 12
- Number
- 4
- URI
- https://scholarworks.bwise.kr/gnu/handle/sw.gnu/1718
- DOI
- 10.3390/app12042014
- ISSN
- 2076-3417
- Abstract
- 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.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공과대학 > Department of Aerospace and Software Engineering > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.