메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류
인문학
인문학 일반 역사학 철학 종교학 어문학 기타 인문학
사회과학
사회과학 일반 경영학 관광학 교육학 군사학 문헌정보학 법학 사회학 신문방송학 심리과학 정치외교학 지리학 행정학 경제학 무역학 인류학 기타 사회과학
자연과학
자연과학 일반 물리학 생물학 생활과학 수학·통계학 천문학 지구과학 화학 기타 자연과학
공학
공학 일반 건축공학 기계공학 산업공학 재료·에너지공학 전기전자공학 조선해양공학 화학공학 컴퓨터학 기타공학
의약학
의학 일반 간호학 수의학 약학 한의학 기초의학 임상의학 기타 의약학
농수해양학
농수해양학 일반 농학 수산학 식품과학 임학 축산학 해상운송학 기타 농수해양학
예술체육학
예술 일반 디자인 미술 미용 사진 음악학 의상 체육 공연매체예술 기타 예술체육학
복합학
학제간연구 과학기술학 뇌인지과학 기술정책 기타 복합학

ENG

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
한국항공우주학회 한국항공우주학회지 韓國航空宇宙學會誌 第37卷 第4號
발행연도
2009.4
수록면
359 - 366 (8page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.
#Model-Based Design(모델기반 설계) #Code Generation(코드생성) #Software Verification(소프트웨어 검증) #DO-178B

목차

ABSTRACT
초록
Ⅰ. 서론
Ⅱ. 본론
Ⅲ. 결론
후기
참고문헌

참고문헌 (7)

참고문헌 신청
1. [학술대회논문] - William Aldrich / 2002 / Using Model Coverage Analysis to Improve the Controls Development Process / AIAA Modeling and Simulation Technologies Conference and Exhibit google schola 2. [단행본] - The Mathworks / 2005 / Real-Time Workshop User's Guide / The Mathworks Inc. google schola 3. [학술대회논문] - 장수주 / 2007 / 소프트웨어 신뢰도 및 테스팅 / 소프트웨어 분석 및 테스팅 교육 google schola 4. [보고서] - RTCA Inc. / 1992 / Software Considerations Airborne Systems and Equipment Certification google schola 5. [단행본] - The Mathworks / 2007 / Simulink Verification and Validation 2 User's Guide / The Mathworks Inc. google schola

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

드론의 안전성 향상을 위한 효율적인 비행제어장치의 설계 및 구현
김종원 ,  엄성용 ,  강민섭 한국정보기술학회논문지 2021 .02
PX4 의 EKF2 운동 상태 추정기의 센서 지연 문제의 해법 분석
장종태 ,  한상혁 제어로봇시스템학회 국내학술대회 논문집 2020 .07
무인비행체 오픈 소스인 PX4 Firmware 의 초기화 과정 분석
이정환 ,  차지훈 한국정보과학회 학술발표논문집 2017 .12
모델 기반 설계를 이용한 수냉식 발전기를 가진 2L 디젤엔진의 열관리 분석
김충희 ,  한상욱 ,  박상훈 외 2명 한국자동차공학회 춘계학술대회 2017 .05
Human-in-the-Loop Simulation Analysis of Integrated RPAS Operations in Trajectory Based Operations Environment
Hyeju Oh ,  Jisoo Kang ,  Seon-Young Kang 외 4명 International Journal of Aeronautical and Space Sciences 2016 .12

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-558-019458942