Browse > Article
http://dx.doi.org/10.5139/JKSAS.2009.37.4.359

A Study on Validation of OFP for UAV using Auto Code Generation  

Cho, Sang-Ook (인하대학교 항공우주공학과 대학원)
Choi, Kee-Young (인하대학교 항공우주공학과)
Publication Information
Journal of the Korean Society for Aeronautical & Space Sciences / v.37, no.4, 2009 , pp. 359-366 More about this Journal
Abstract
MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.
Keywords
Model-Based Design; Code Generation; Software Verification; DO-178B;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 William Aldrich, "Using Model Coverage Analysis to Improve the Controls Development Process", AIAA Modeling and Simulation Technologies Conference and Exhibit, 2002. 8.
2 The Mathworks, "Real-Time Workshop User's Guide", The Mathworks Inc., 2005.
3 장수주, “소프트웨어 신뢰도 및 테스팅”, 소프트웨어 분석 및 테스팅 교육, 2007. 10.
4 RTCA Inc., "Software Considerations Airborne Systems and Equipment Certification", Document RTCA/DO-178B, December 1992.
5 The Mathworks, "Simulink Verification and Validation 2 User's Guide", The Mathworks Inc., 2007.
6 Andre. C. Coulter, "Graybox Software Testing Methodology Embedded Software Testing Technique", IEEE Digital Avionics Systems Conference, 1999. 10.
7 김영일 외 3인, “항공전자시스템컴퓨터 탑재소프트웨어 개발“, 한국항공우주학회지, 제 33권 9호, 2005, pp. 104-112.
8 http://www.mathworks.co.kr