Name(Korean) | 김태형 | |
---|---|---|
Name(English) | Tae-Hyung Kim | |
miewcs@naver.com | ||
Status | Master | |
Graduate | 2020 | |
Graduation thesis | An Efficient System of Health Management for On-the-fly Repairing of Order Violation in Airborne Software | |
Affiliation | Korea Aerospace Industries (KAI) 한국항공우주산업주식회사 |
|
SNS | homepage / linkedIn / ResearchGate / etc… |
* Eu-teum Choi, Tae-hyung Kim, Yong-Kee Jun, Seong-Jin Lee, and Min-gyun Han, "On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software", Applied… |
* 최으뜸, 김태형, 전용기, "ARINC 653 기반 항공기 소프트웨어의 동시성 결함을 자율 수리하는 도구를 검증하기 위한 프레임웍", 2019 대한임베디드공학회 추계학술대회, pp. 45-46, 대한임베디드공학회, 제주, 14-16 Nov, 2019. * E.-T. Choi, T… | |
* 우이정, 김태형, 처그바야르 자르갈사이항, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법", 한국항공우주학회, 제주, 20-23 Nov, 2019. * I -J.Woo, T.-H. Kim, Jargalsaikhan, T., E.-T. … | |
* 김태형, 이민지, 박주혁, 최으뜸, 전용기, "Pthread를 사용하는 항공기 소프트웨어에서 원자성위배를 자율적으로 수리하는 기법", 한국항공우주학회 2018년도 추계학술대회, 제주, Nov 2018. * Kim, E.-H., M.-J. Lee, J.-H. Park, E… | |
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어에서 동시성 오류를 자율적으로 수리하기 위한 함수 호출 기반 기법", 2019년도 한국컴퓨터정보학회 동계학술대회, 구미, Jan 2019. * Kim, E.-H., E.-T. Choi, and Y.-K. Jun, “A Metho… | |
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 동시성 오류를 위한 감시 기법", 항공우주시스템공학회 2019년도 춘계학술대회, 제주, Apr 2019. * Kim, T.-H., E.-T. Choi, and Y.-K. Jun, “Monitoring Concurrency E… | |
* 김태형, 최으뜸, 전용기, "항공기 소프트웨어의 건전성 관리를 위해서 순서 위배 오류를 자율 수리하는 효율적인 시스템", 한국항공우주학회지, vol.48, no.10, Oct 2020. * T.-H. Kim, E.-T. Choi and Y.-K. Jun, “An Efficie… |