Browse > Article
http://dx.doi.org/10.12673/jant.2018.22.4.264

Research on Application of Requirements-based Software Reliability Verification to Domestic Military Aircraft  

Jeong, Sang-gyu (3rd Aeronautical Systems Team, Defense Agency for Technology and Quality)
Seo, Young-jin (3rd Aeronautical Systems Team, Defense Agency for Technology and Quality)
Jang, Min-uk (3rd Aeronautical Systems Team, Defense Agency for Technology and Quality)
Lee, Yoon-woo (3rd Aeronautical Systems Team, Defense Agency for Technology and Quality)
Publication Information
Journal of Advanced Navigation Technology / v.22, no.4, 2018 , pp. 264-270 More about this Journal
Abstract
In recent years, It is required to verify software reliability according to DO-178, which announced by radio technical commission for aeronautics (RTCA) and recognized by the Federal Aviation Administration (FAA), for civil aircraft developed or intended to fly in the United States or Europe. This is because the reliance on software in each field is deepening, and the efforts for improvement of software reliability have been made first in civil aviation field where economic and social impacts are catastrophic in the event of an accident. In this paper, we have identified some issues to be considered for requirements-based reliability verification required by DO-178 to improve software reliability and present the major elements of the present weapon system acquisition procedure of DAPA for each stage. In addition, we analyzed the results of applying the identified main check factors to a domestic aircraft development project based on the information accumulated in overseas aircraft development projects. As a result, we have shown that it is possible to verify requirements-based software reliability according to DO-178 by adding key checkpoints to the current weapon system acquisition procedure and providing objective inspection criteria.
Keywords
DO-178; Testcase; Safety level; Traceability; Certification;
Citations & Related Records
연도 인용수 순위
  • Reference
1 H. Pham, System Software Reliability, London, UK: Springer -Verlag, pp. 1-7, 2006.
2 M. Lyu, Handbook of Software Reliability Engineering, Hightstown, NJ: McGraw-Hill, pp. 26-23, 1996.
3 United States. Federal Aviation Administration. RTCA, Inc., Document RTCA/DO-254, Washington, D.C.: Dept. of Transportation, Federal Aviation Administration, 2000.
4 S. Vestal, "Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance," in Proceeding of the 28th Annual International Symposium on Real-Time Systems, Tucson: AZ, pp. 239-243, 2007.
5 M. Chen, “Effect of code coverage on software reliability measurement,” IEEE Transactions on Reliability, Vol. 50, No. 2, pp. 165-170, Jun. 2001.   DOI
6 Y. Malaiya, “Software reliability growth with test coverage,” IEEE Transactions on Reliability, Vol. 51, No. 4, pp. 420-426, Dec. 2002.   DOI
7 P. Bieber, "DALculus-theory and tool for development assurance level allocation," in International Conference on Computer Safety, Reliability, and Security, Naples: Italy, pp. 43-56, 2011.
8 White paper, DO-178B's Top Mistakes (And How to Avoid Them), NV: HighRely systems, pp. 1-2, 2009.
9 United States. Federal Aviation Administration. RTCA, Inc., Document RTCA/DO-178C, Washington, D.C.: Dept. of Transportation, Federal Aviation Administration, 2011.