지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2020.7
- 수록면
- 547 - 554 (8page)
- DOI
- 10.5139/JKSAS.2020.48.7.547
이용수
초록· 키워드
오류제보하기
항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생한 오류 또는 결함으로 인해 항공기의 기능이 실패되는 것을 방지한다. ARINC-653의 병행프로그램에서 발생하는 원자성 위배의 자율 수리는 프로그램의 정상적인 실행을 보장하기 때문에 중요하다. 본 논문은 프로그램 실험 결과를 활용하여 수행 중에 원자성 위배를 예측하고 주요 관련 접근 사건을 지연시켜 수리하는 기법인 Repairing-AV를 제시한다. 실세계 소프트웨어에서 발생한 5가지 원자성 위배 패턴을 포함하는 합성 프로그램에 기존 기법과 Repairing-AV을 적용하여 수리 시간 오버헤드를 비교하였다. 실험 결과 Repairing-AV는 공유변수 접근 횟수와 관계없이 평균 1.4배의 일정한 시간 오버헤드를 가짐을 확인하였다.
목차
ABSTRACT
초록
Ⅰ. 서론
Ⅱ. 연구 배경
Ⅲ. Repairing Atomicity Violations
Ⅳ. 구현 및 실험
Ⅴ. 결론
References
참고문헌 (25)
참고문헌 신청
Merendino, T., Latimer, IV, D. T., Hammons, C. B., Falkenthal, D., Capell, P. and Firesmith, D. G., The Method Framework for Engineering System Architectures, CRC Press, 2008.
Netzer, R. H. and Miller, B. P., “What Are Race Conditions?,” ACM Letters on Programming Languages and Systems (LOPLAS), March 1992, pp. 74~88.
Lu, S., Park, S. Y., Seo, E. S. and Zhou, Y., “Learning from Mistakes A Comprehensive Study on Real World Concurrency Bug Characteristics,” ACM SIGOPS Operating Systems Review, March 2008, pp. 329~339.
Dinning, A. and Schonberg, E., “Detecting Access Anomalies in Programs with Critical Sections,” Proceedings of the 1991 ACM/ONR workshop on Parallel and Distributed Debugging, December 1991, pp. 85~96.
Jun, Y.-K. and Koh, K., “On-the-fly Detection of Access Anomalies in Nested Parallel Loops,” Proceedings of the 1993 ACM/ONR workshop on Parallel and Distributed Debugging, December 1993, pp. 107~117.
Netzer, R. H. and Miller, B. P., “What Are Race Conditions?,” ACM Letters on Programming Languages and Systems (LOPLAS), March 1992, pp. 74~88.
Lu, S., Park, S. Y., Seo, E. S. and Zhou, Y., “Learning from Mistakes A Comprehensive Study on Real World Concurrency Bug Characteristics,” ACM SIGOPS Operating Systems Review, March 2008, pp. 329~339.
Dinning, A. and Schonberg, E., “Detecting Access Anomalies in Programs with Critical Sections,” Proceedings of the 1991 ACM/ONR workshop on Parallel and Distributed Debugging, December 1991, pp. 85~96.
Jun, Y.-K. and Koh, K., “On-the-fly Detection of Access Anomalies in Nested Parallel Loops,” Proceedings of the 1993 ACM/ONR workshop on Parallel and Distributed Debugging, December 1993, pp. 107~117.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템
한국항공우주학회지
2020 .10
-
병행 소프트웨어의 원자성위배를 위한 자율수리 기법에 대한 고찰
항공우주시스템공학회 학술행사 논문집
2019 .05
-
항공기 소프트웨어의 시그널 핸들러로 인한 원자성 위배를 자율 수리하는 건전성 관리시스템
항공우주시스템공학회 학술행사 논문집
2024 .10
-
항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
항공기 소프트웨어의 원자성위배를 진단하기 위한 잠금사건 기반의 인터리빙 분석 기법
한국항공우주학회 학술발표회 초록집
2019 .11
-
A Tool for On-the-fly Repairing of Atomicity Violation in GPU Program Execution
한국컴퓨터정보학회논문지
2021 .09
-
항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템
한국항공우주학회지
2023 .11
-
Data Storage System Requirement for Autonomous Vehicle
제어로봇시스템학회 국제학술대회 논문집
2022 .11
-
공종별 수선비용 추계모델을 활용한 공동주택 장기수선충당금 적립금액 산정
KIEAE Journal
2016 .06
-
도심 네트워크 내 자율주행 차량의 수준과 혼입률에 따른 혼합 교통류의 영향
대한교통학회지
2023 .06
-
항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법
한국항공우주학회 학술발표회 초록집
2019 .11
-
Characteristics of the Economic Repair Time of the Components in Public Rental Housing
KIEAE Journal
2015 .02
-
Probabilistic Repair Cost Simulation for RC Structures Repaired With Bacteria Coating Material Under Sulfate Attack
International Journal of Concrete Structures and Materials
2022 .05
-
수리검사 제도
오토저널
2018 .05
-
자율주행자동차 운행 데이터 실측을 통한 신호교차로 주행행태 및 용량 분석
대한교통학회지
2023 .10
-
Performance Analysis of AV1 for Video Coding in Very Low Bit Rates
한국정보과학회 학술발표논문집
2017 .06
-
수선필요도와 비용부담도 평가를 통한 공동주택 수선공사 핵심항목 도출방안
KIEAE Journal
2016 .08
-
TV/AV 제품에 적용 중인 접착제의 고장분석 및 신뢰성평가 기술 개발
한국신뢰성학회 학술대회논문집
2023 .11
-
콘크리트 포장 부분단면보수 재파손 구간의 적정 보수 방안
한국도로학회논문집
2017 .01
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2020-558-000856332