지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2023.11
- 수록면
- 811 - 817 (7page)
- DOI
- 10.5139/JKSAS.2023.51.11.811
이용수
초록· 키워드
오류제보하기
항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.
목차
ABSTRACT
초록
Ⅰ. 서론
Ⅱ. 연구배경
Ⅲ. 교착상태 자율수리 기법
Ⅳ. 실험
Ⅴ. 결론
References
참고문헌 (27)
참고문헌 신청
Airlines Electronic Engineering Committee (AEEC), Avionics Application Software Standard Interface – ARINC Specification 653 – Part 1. (supplement 2 - required services), ARINC Inc. 2015.
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.
Choi, E. T., Kim, T. H., Jun, Y. K., Lee, S. J. and Han, M. G., “On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software,” Applied Sciences, Vol. 12, No. 4, 2014, February 2022.
Choi, E. T., Lee, D. S., Jun, Y. K. and Lee, S. J., “On-the-fly Atomicity Violation Repairing Technique for Airborne Health Management Systems,” Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 48, No. 7, 2020, pp. 547~554.
Kim, T. H., Choi, E. T. and Jun, Y. K., “An Efficient On-the-fly Repairing System of Order Violation Errors for Health Management of Airborne Software,” Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 48, No. 10, 2020, pp. 821~829.
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.
Choi, E. T., Kim, T. H., Jun, Y. K., Lee, S. J. and Han, M. G., “On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software,” Applied Sciences, Vol. 12, No. 4, 2014, February 2022.
Choi, E. T., Lee, D. S., Jun, Y. K. and Lee, S. J., “On-the-fly Atomicity Violation Repairing Technique for Airborne Health Management Systems,” Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 48, No. 7, 2020, pp. 547~554.
Kim, T. H., Choi, E. T. and Jun, Y. K., “An Efficient On-the-fly Repairing System of Order Violation Errors for Health Management of Airborne Software,” Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 48, No. 10, 2020, pp. 821~829.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
교착상태 분석 도구의 유효성과 성능 오버헤드 분석
한국정보과학회 학술발표논문집
2018 .06
-
동적 재구성 환경에서 교착상태를 예방하기 위한 오차 시간 메시지 브로드캐스트 기법 연구
한국정보통신학회논문지
2016 .11
-
항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템
한국항공우주학회지
2020 .10
-
The Application of Banker`s Algorithm in Order Scheduling Management for Deadlock Avoidance
한국정보과학회 학술발표논문집
2016 .06
-
항공기 건전성 관리시스템용 원자성 위배 자율 수리 소프트웨어 기법
한국항공우주학회지
2020 .07
-
항공기 소프트웨어의 원자성위배 자율수리 도구를 위한 안전한 인터리빙 정보를 생성하는 기법
한국컴퓨터정보학회 학술발표논문집
2019 .01
-
목표 기반 시각적 이동 작업을 위한 시각적 맥락정보 임베딩과 교착상태 처리
제어로봇시스템학회 논문지
2023 .01
-
무인항공기 시스템의 건전성 관리를 위한 소프트웨어 수행 오류 진단
한국항공우주학회지
2025 .04
-
수리검사 제도
오토저널
2018 .05
-
항공기 소프트웨어의 시그널 핸들러로 인한 원자성 위배를 자율 수리하는 건전성 관리시스템
항공우주시스템공학회 학술행사 논문집
2024 .10
-
항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침
항공우주시스템공학회 학술행사 논문집
2018 .04
-
선박수리를 위한 입찰 및 일정관리 시스템의 설계 및 구현
한국정보통신학회논문지
2015 .07
-
항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법
한국항공우주학회 학술발표회 초록집
2019 .11
-
효율적인 안전관리를 위한 선박 수리 이력 통합 관리 시스템 연구
한국통신학회 학술대회논문집
2015 .01
-
공종별 수선비용 추계모델을 활용한 공동주택 장기수선충당금 적립금액 산정
KIEAE Journal
2016 .06
-
Characteristics of the Economic Repair Time of the Components in Public Rental Housing
KIEAE Journal
2015 .02
-
항공기 소프트웨어의 동시성 오류를 위한 감시 기법
항공우주시스템공학회 학술행사 논문집
2019 .05
-
Probabilistic Repair Cost Simulation for RC Structures Repaired With Bacteria Coating Material Under Sulfate Attack
International Journal of Concrete Structures and Materials
2022 .05
-
온도변화와 수리방법에 따른 스카프 수리 복합재 적층판의 정적 강도 연구
항공우주시스템공학회 학술행사 논문집
2017 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
ARINC 653 기반 항공기 소프트웨어의 signal handler로 인한 원자성 위배를 회피하는 기법
이준호
,
김동현
,
최으뜸
외 2명
항공우주시스템공학회 학술행사 논문집
2024
.05
GA급 항공기를 위한 다중센서와 딥러닝 기반 충돌 회피 조종사 보조 시스템 개발 PartⅠ알고리즘 개발 및 검증
라히미 모하마드
,
김세준
,
김종한
외 1명
한국항공우주학회지
2024
.04
AI 기반 임베디드 제어 시스템 구현: 모델 기반 설계, 검증, 자동 코드 생성 및 배포
신행재
한국정밀공학회 학술발표대회 논문집
2023
.11
군용항공기 탑재 소프트웨어의 안전필수기능경로분석(SCFTA) 모델 개발
고기성
,
고진환
Journal of the KNST
2023
.06
항공기 지상시험을 위한 ADS Emulator 도구 개발
이지은
,
장순용
,
이성진
한국항공우주학회 학술발표회 초록집
2023
.04
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-151-24-02-088337002