Detailed Information
Cited 3 time in 
Cited 3 time in 
Cited 3 time in
Metadata Downloads
On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software
Full metadata record
| 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 | - |
- 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.