Detailed Information

Cited 2 time in webofscience Cited 3 time in scopus
Metadata Downloads

On-the-Fly Repairing of Atomicity Violations in ARINC 653 Softwareopen access

Authors
Choi, Eu-teumKim, Tae-hyungJun, Yong-KeeLee, SeongjinHan, 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

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher Lee, Seong Jin photo

Lee, Seong Jin
IT공과대학 (소프트웨어공학과)
Read more

Altmetrics

Total Views & Downloads

BROWSE