机载软件死锁实时修复健康管理系统

IF 0.2 Q4 ENGINEERING, AEROSPACE

Journal of the Korean Society for Aeronautical and Space Sciences Pub Date : 2023-11-30 DOI:10.5139/jksas.2023.51.11.811

Min-Gyun Han, Euteum Choi, Yong-Kee Jun, Seongjin Lee

{"title":"机载软件死锁实时修复健康管理系统","authors":"Min-Gyun Han, Euteum Choi, Yong-Kee Jun, Seongjin Lee","doi":"10.5139/jksas.2023.51.11.811","DOIUrl":null,"url":null,"abstract":"항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.","PeriodicalId":42856,"journal":{"name":"Journal of the Korean Society for Aeronautical and Space Sciences","volume":"38 2","pages":"0"},"PeriodicalIF":0.2000,"publicationDate":"2023-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software\",\"authors\":\"Min-Gyun Han, Euteum Choi, Yong-Kee Jun, Seongjin Lee\",\"doi\":\"10.5139/jksas.2023.51.11.811\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.\",\"PeriodicalId\":42856,\"journal\":{\"name\":\"Journal of the Korean Society for Aeronautical and Space Sciences\",\"volume\":\"38 2\",\"pages\":\"0\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2023-11-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the Korean Society for Aeronautical and Space Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5139/jksas.2023.51.11.811\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"ENGINEERING, AEROSPACE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Korean Society for Aeronautical and Space Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5139/jksas.2023.51.11.811","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"ENGINEERING, AEROSPACE","Score":null,"Total":0}

引用次数: 0

摘要

飞机健全性管理系统可以防止因飞机软件出现错误而导致的系统失败。但是，健全性管理系统只能受理使用诊断及措施方法的错误。因此，如果没有胶着状态修理功能的系统在运行中发生错误，就无法修复僵局。本论文提出了自行修理基于健全性管理系统的飞机软件中发生的胶着状态的方法。该技术利用设计阶段制作的锁信息诊断错误，延迟线程，防止胶着状态的发生。提出的方法是，通过四种模式的胶着事例进行功能评价，显示出胶着状态都得到了防止。在性能评估中，重复锁的数量越多，时间开销的增加率就越低，达到95%的执行时间。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software

항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of the Korean Society for Aeronautical and Space Sciences ENGINEERING, AEROSPACE-

CiteScore

0.50

自引率

50.00%

发文量