On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Choi, Eu-teum | - |
dc.contributor.author | Kim, Tae-hyung | - |
dc.contributor.author | Jun, Yong-Kee | - |
dc.contributor.author | Lee, Seongjin | - |
dc.contributor.author | Han, Mingyun | - |
dc.date.accessioned | 2022-12-26T07:40:36Z | - |
dc.date.available | 2022-12-26T07:40:36Z | - |
dc.date.issued | 2022-02 | - |
dc.identifier.issn | 2076-3417 | - |
dc.identifier.uri | https://scholarworks.gnu.ac.kr/handle/sw.gnu/1718 | - |
dc.description.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. | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | MDPI | - |
dc.title | On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software | - |
dc.type | Article | - |
dc.publisher.location | 스위스 | - |
dc.identifier.doi | 10.3390/app12042014 | - |
dc.identifier.scopusid | 2-s2.0-85124725035 | - |
dc.identifier.wosid | 000761438600001 | - |
dc.identifier.bibliographicCitation | Applied Sciences-basel, v.12, no.4 | - |
dc.citation.title | Applied Sciences-basel | - |
dc.citation.volume | 12 | - |
dc.citation.number | 4 | - |
dc.type.docType | Article | - |
dc.description.isOpenAccess | Y | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Chemistry | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalResearchArea | Materials Science | - |
dc.relation.journalResearchArea | Physics | - |
dc.relation.journalWebOfScienceCategory | Chemistry, Multidisciplinary | - |
dc.relation.journalWebOfScienceCategory | Engineering, Multidisciplinary | - |
dc.relation.journalWebOfScienceCategory | Materials Science, Multidisciplinary | - |
dc.relation.journalWebOfScienceCategory | Physics, Applied | - |
dc.subject.keywordPlus | EFFICIENT | - |
dc.subject.keywordAuthor | airborne software | - |
dc.subject.keywordAuthor | health management | - |
dc.subject.keywordAuthor | on-the-fly repairing | - |
dc.subject.keywordAuthor | atomicity violations | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Gyeongsang National University Central Library, 501, Jinju-daero, Jinju-si, Gyeongsangnam-do, 52828, Republic of Korea+82-55-772-0533
COPYRIGHT 2022 GYEONGSANG NATIONAL UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.