On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
-
Published:2022-02-15
Issue:4
Volume:12
Page:2014
-
ISSN:2076-3417
-
Container-title:Applied Sciences
-
language:en
-
Short-container-title:Applied Sciences
Author:
Choi Eu-teumORCID,
Kim Tae-hyung,
Jun Yong-KeeORCID,
Lee SeongjinORCID,
Han Mingyun
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.
Funder
Electronics and Telecommunications Research Institute
National Research Foundation of Korea
Ministry of Trade, Industry and Energy
Subject
Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software;Journal of the Korean Society for Aeronautical & Space Sciences;2023-11-30
2. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29