지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 전용기
- 발행연도
- 2020
- 저작권
- 경상대학교 논문은 저작권에 의해 보호받습니다.
이용수0
이 논문의 연구 히스토리 (3)
2020
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
Health management system of airborne software repairs runtime errors to provide safety and to reduce cost of maintenance. Among the runtime errors, order violations may occur when there are accesses to shared variable without proper inter-thread coordination, and at least one of the accesses is a write. On-the-fly repairing of order violations is critical, because it is difficult to remove them at the development phase.
Previous work, called Repairing Atomicity Violations (Repairing-AV), diagnoses order violations for each access event by comparing execution order of accesses with their test interleaving. As a result, Repairing-AV incurs time overhead that is proportional to the number of access events to each shared variable. It makes difficult to ensure real-time ability when Repairing-AV is applied to airborne system.
This paper presents a tool, called On-the-fly Repairing System (ORS), that can repair order violations of object methods that contains access events. ORS diagnoses order violations by using order of object methods called TSA, and treats them by stalling its thread where the error is about to occur. Even if access event increases, ORS incurs time overhead that is proportional to the number of method calls only. Experimentations with 192 combinations of object methods demonstrate that ORS is enable to diagnose and treat order violations of object methods. Performance evaluation with five synthetic programs shows that ORS is better than Repairing-AV when the number of access events is greater than eighty, in case of 4,000 iterations of program.
Previous work, called Repairing Atomicity Violations (Repairing-AV), diagnoses order violations for each access event by comparing execution order of accesses with their test interleaving. As a result, Repairing-AV incurs time overhead that is proportional to the number of access events to each shared variable. It makes difficult to ensure real-time ability when Repairing-AV is applied to airborne system.
This paper presents a tool, called On-the-fly Repairing System (ORS), that can repair order violations of object methods that contains access events. ORS diagnoses order violations by using order of object methods called TSA, and treats them by stalling its thread where the error is about to occur. Even if access event increases, ORS incurs time overhead that is proportional to the number of method calls only. Experimentations with 192 combinations of object methods demonstrate that ORS is enable to diagnose and treat order violations of object methods. Performance evaluation with five synthetic programs shows that ORS is better than Repairing-AV when the number of access events is greater than eighty, in case of 4,000 iterations of program.
목차
Ⅰ. 서론 3Ⅱ. 연구 배경 62.1 항공기 소프트웨어의 건전성 관리시스템 62.2 순서 위배 102.3 관련 연구 14Ⅲ. 시스템 설계 193.1 Architecture 193.2 Diagnosis/Treatment Engine 213.3 작동 예시 253.4 시스템 분석 26Ⅳ. 구현 및 실험 324.1 시스템 구현 324.2 시스템 시험 454.3 실험 설계 494.4 실험 결과 61Ⅴ. 결론 71참고 문헌 73
최근 본 자료
댓글(0)
0