Design of Automatic Model Verification for System Integration Laboratory |
Yang, Seung-Gu
(Avionic Research Institute, LIGNex1)
Cho, Yeon-Je (Avionic Research Institute, LIGNex1) Jo, Kyoung-Yong (Avionic Research Institute, LIGNex1) Ryu, Chang-Myung (Avionic Research Institute, LIGNex1) |
1 | R. P. G Collinson, Introduction to Avionics Systems, 2nd ed. New York, NY: Springer US, 2013. |
2 | A. S. Yildirim, E. Berker, and M. E. Kayakesen, "System level test automation in UAV development," in 2018 IEEE AUTOTEST Conference, Maryland: MD, pp. 278-283, 2018. |
3 | Y. W. Jo, B. G. Kim, J. S. Park, and J. U. Lee, "Development of system integration laboratory for the verification of UAV avionics system requirements," Journal of The Korean Society for Aeronautical & Space Sciences, Vol. 40, No. 5, pp. 446-453. 2012. DOI |
4 | M. G. Seo, W. H. Jang, J. S. Park, D. B. Seong, and S. W. Kim, "Development and verification of models in system integration laboratory for the avionics system", in Fall Conference on The Korean Society for Aeronautical & Space Sciences, Jeju: Korea, pp. 2074-2077, 2015. |