Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
A Survey of Health Management System for On-The-Fly Repairing of Concurrency Errors in Airborne Software
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lee, Junho | - |
| dc.contributor.author | Go, Seongyun | - |
| dc.contributor.author | Choi, Eu-Teum | - |
| dc.contributor.author | Lee, Seongjin | - |
| dc.date.accessioned | 2024-04-17T01:30:34Z | - |
| dc.date.available | 2024-04-17T01:30:34Z | - |
| dc.date.issued | 2023-12 | - |
| dc.identifier.issn | 1613-0073 | - |
| dc.identifier.uri | https://scholarworks.gnu.ac.kr/handle/sw.gnu/70294 | - |
| dc.description.abstract | Concurrency errors are known for their difficulty of debugging and reproducing prior to execution. Undetected concurrency errors could result in nondeterministic executions that deviate from the programmer’s intent and significantly undermining the reliability of the program. To prevent functional failure in airborne software, on-the-fly repairing of concurrency errors is crucial. This paper surveys the Health Management System for on-the fly repairing of concurrency errors in airborne software and motivates the future work in concurrent airborne software. © 2023 Copyright for this paper by its authors. | - |
| dc.language | 영어 | - |
| dc.language.iso | ENG | - |
| dc.publisher | CEUR-WS | - |
| dc.title | A Survey of Health Management System for On-The-Fly Repairing of Concurrency Errors in Airborne Software | - |
| dc.type | Article | - |
| dc.identifier.scopusid | 2-s2.0-85189518785 | - |
| dc.identifier.bibliographicCitation | CEUR Workshop Proceedings, v.3655 | - |
| dc.citation.title | CEUR Workshop Proceedings | - |
| dc.citation.volume | 3655 | - |
| dc.type.docType | Conference paper | - |
| dc.description.isOpenAccess | N | - |
| dc.description.journalRegisteredClass | scopus | - |
| dc.subject.keywordAuthor | airborne software | - |
| dc.subject.keywordAuthor | Concurrency error | - |
| dc.subject.keywordAuthor | Health Management System | - |
| dc.subject.keywordAuthor | on-the-fly repairing | - |
| dc.subject.keywordAuthor | reliability | - |
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공학계열 > 항공우주소프트웨어공학과 > Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.