지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 김철기
- 발행연도
- 2015
- 저작권
- 한국항공대학교 논문은 저작권에 의해 보호받습니다.
이용수0
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
본 논문에서는 소스코드 자동분석을 통해 AFDX (Avionics Full Duplex Switched Ethernet) 와 DDS (Data Distribution Service) 로 이루어지는 시스템을 구성 할 때 발생하는 두 계층 사이의 차이를 최소화 할 수 있는 자동화 기법에 대한 방법론을 제시한다.
AFDX는 데이터 네트워크 시스템으로 데이터 통신을 위한 가상 링크를 설정하고 각 링크에 대역폭과 주기를 사전에 정의를 함으로써 실시간성을 보장한다. 한편, DDS는 네트워크 통신 프로그래밍을 단순화 시키는 미들웨어로써 출판/구독 형태로 통신이 이루어진다.
하지만 AFDX는 시스템 구동 전 가상링크 설정파일을 필요로 하는 정적인 특성을 갖고 있는 반면 DDS는 응용 프로그램의 수행 중 프로그램 내의 값의 상태가 변할 수 있는 동적인 특성을 갖고 있기 때문에 단순히 이 두 계층으로 이루어지는 시스템을 구성하는데는 어려움이 따른다.
이를 해결하기 위해 본 연구에서는 AFDX의 가상링크 통신망 구성과 링크별 통신량 제어 설정에 필요한 DDS 응용프로그램 내의 정보들을 추출하기 위해 미들웨어를 재구성하였다. 그 후 구성한 미들웨어를 DDS 응용프로그램의 소스코드와 함께 자동 분석기를 이용, 추출된 정보들을 가공하여 최종적으로 가상링크 설정파일로 생성하였다. 자동 분석을 통한 정보 추출은 프로그램의 소스코드로부터 Frama-C 와 KLEE, 각각 두 가지 분석기를 통해 수행하였는데, 이는 정적분석기의 활용이 기존의 목적인 프로그램의 정확도를 높이기 위함뿐 아니라 소스코드로부터 프로그램 내의 속성들을 추출하기 위한 목적으로 사용될 수 있음을 보일 수 있었다.
AFDX는 데이터 네트워크 시스템으로 데이터 통신을 위한 가상 링크를 설정하고 각 링크에 대역폭과 주기를 사전에 정의를 함으로써 실시간성을 보장한다. 한편, DDS는 네트워크 통신 프로그래밍을 단순화 시키는 미들웨어로써 출판/구독 형태로 통신이 이루어진다.
하지만 AFDX는 시스템 구동 전 가상링크 설정파일을 필요로 하는 정적인 특성을 갖고 있는 반면 DDS는 응용 프로그램의 수행 중 프로그램 내의 값의 상태가 변할 수 있는 동적인 특성을 갖고 있기 때문에 단순히 이 두 계층으로 이루어지는 시스템을 구성하는데는 어려움이 따른다.
이를 해결하기 위해 본 연구에서는 AFDX의 가상링크 통신망 구성과 링크별 통신량 제어 설정에 필요한 DDS 응용프로그램 내의 정보들을 추출하기 위해 미들웨어를 재구성하였다. 그 후 구성한 미들웨어를 DDS 응용프로그램의 소스코드와 함께 자동 분석기를 이용, 추출된 정보들을 가공하여 최종적으로 가상링크 설정파일로 생성하였다. 자동 분석을 통한 정보 추출은 프로그램의 소스코드로부터 Frama-C 와 KLEE, 각각 두 가지 분석기를 통해 수행하였는데, 이는 정적분석기의 활용이 기존의 목적인 프로그램의 정확도를 높이기 위함뿐 아니라 소스코드로부터 프로그램 내의 속성들을 추출하기 위한 목적으로 사용될 수 있음을 보일 수 있었다.
목차
목 차초 록 iii그 림 목 록 vii표 목 록 viii제１장 서 론 1１.１ 연구 개요 1１.２ 연구 범위 3１.３ 논문의 구성 5제２장 관련 연구 6２.１ AFDX 6２.１.１ Virtual Link 6２.２ DDS 9제３장 소스코드 자동분석을 통한 계층 간 결합 방법론 12３.１ DDS Application Examples 16３.１.１ Hello_simple 17３.１.２ NEWS 19３.１.３ Hello_builtin 20３.２ DDS APIs 20３.３ Message Pattern Extractor 24３.３.１ KLEE 25３.３.２ Frama-C 26３.４ VL configuration file generator 29제４장 결과 분석 30４.１ 예제 코드 분석 결과 30４.１.１ KLEE 결과 30４.１.２ Frama-C 결과 32４.２ 분석 시간 34４.２.１ KLEE 35４.２.２ Frama-C 36제５장 결론 및 향후 연구 38참고 문헌 40SUMMARY 42
최근 본 자료
댓글(0)
0