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

The Effectiveness of Independent Verification and Validation of Safety-critical Aviation Systems  

Kim, Young-Hoon (Korea Aerospace University)
Yoo, Beong-Seon (Korea Aerospace University)
Kang, Ja-Young (Korea Aerospace University)
Publication Information
Journal of Advanced Navigation Technology / v.21, no.2, 2017 , pp. 155-162 More about this Journal
Abstract
In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.
Keywords
Systems engineering; Independent verification and validation; System life-cycle; Safety-critical system;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 I. Sommerville, Software Engineering, 9th ed. Boston, MA: Pearson, 2010.
2 J. Y. Kang, M. G. Kim, Y. H. Kim, and I. G. Lim, "T&E process for safety-critical CNS/ATM systems," The Korea Navigation Institute, Vol. 21, No. 1, pp. 50-57, Feb. 2017.
3 FAA, Test and Evaluation Handbook, ver3, VVSPT-A2-PDD-013, 2013.
4 FAA, NAS System Engineering Manual, ver3.1, 2006.
5 IEEE, IEEE Standard for System and Software Verification and Validation, IEEE Std 1012 - 2012, pp. 165-167, 2012.
6 NASA, "NASA Independent Verification & Validation Program Value Report 2008 & 2009", 2009.
7 J. Kasser and V. R. Williams, "What do you mean you can't tell me if my project is in trouble?," in First European Conference on Software Metrics, Antwerp: Belgium, pp. 1-11, 1998.
8 J. Frederick (2014, April). Evolving T&E in the FAA [Internet]. Available: http://www.incose.org/docs/defaultsource/ enchantment/140409frederick-evolvingtandeinthefaaF92D0915726F.pdf?sfvrsn=2
9 J. D. Arthur, M. K. Groner, K. J. Hayhurst and C. M. Holloway, "Evaluating the effectiveness of IV&V," Computer, Vol. 32, No. 10, pp. 79-83, 1999.   DOI
10 R. D. Neal, D. McCaugherty, T. Joshi and J. Callahan, "A case study of IV&V cost effectiveness," NASA/WVU Software IV & V Facility, Software Research Laboratory Technical Report Series, Vol. 1, No. 9, 1997.
11 U.S. Department of Defense, Software Development and Documentation, MIL-STD-498, 1998.
12 D. M. Raffo, U. Nayak, S. Setamanit, P. Sullivan and W. Wakeland, "Using software process simulation to assess the impact of IV&V activities," in Proceedings of the 5th International Workshop on Software Process Simulation and Modeling, Edinburgh: UK, pp. 197-205, 2004.