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

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)
Abstract
In developing the avionics system, a system integration laboratory (SIL) is established to verify the function and interworking of individual components. In case of individual verification of SIL's components and system integration, a SIL model that simulates the function and interworking of each equipment is developed and used. A SIL model shall be pre-verified against all data defined in the interface control document (ICD) before interworking with the actual equipment and reverified even when the ICD changes or functions change. However, if the verification of the SIL model is performed manually, the verification of the individual SIL model takes considerable time. For this reason, selective regression tests are often performed to determine a impact of SIL models on ICD changes and some functional changes. In this paper, we designed SIL model verification automation method to perform regession test by reducing verification time of SIL model and verify the usefulness of verification automation design by developing SIL model verification automation tool.
Keywords
Avionics system; System integration laboratory; Automatic verification; Model verification;
Citations & Related Records
연도 인용수 순위
  • Reference
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.