Citation :

Jawahar Thangavelu, 2024. "Software Verification in Avionics: Integrating Hardware in the Loop (HIL) Testing" ESP International Journal of Advancements in Computational Technology (ESP-IJACT)  Volume 2, Issue 4: 45-54.

Abstract :

As information and software intensify in avionics, the right safety and reliability features become critical. As avionics systems become more advanced, simple software verification techniques can no longer be used to ascertain system safety. The adoption of Hardware-In-the-Loop (HIL) testing has become a real improvement in the confirmation procedures of embedded systems especially in avionics. This approach replicates real life situations while further physically identifying the software compatibility on actual hardware interfaces and is comparatively more realistic as well. This article explores the task of HIL testing in avionics software verification in order to advance the impenetrability, safety, and proficiency of avionics systems. The paper initially presents the difficulties encountered in validating avionics software and then provides a literature review focused on the growth of HIL testing in the field. The real-life case studies and simulation results mentioned in the results and discussion justify the use of HIL testing integrated into the verification process, as explained in the methodology section. The paper’s conclusion discusses the future of avionics software verification with technologies such as model-based testing, artificial intelligence and cloud-based simulation tools. HIL testing has been shown to cut possible risks in the verification time and even offer clearer information on the likelihood of a software design being performed in complicated real-world environments. Thus, in this work, we address the research questions and summarize our findings on the applicability of HIL testing in the avionics industry, its benefits, discontinued opportunities or difficulties, and the potential for future development of this form of testing for avionics software verification.

References :

[1] Nabi, S., Balike, M., Allen, J., & Rzemien, K. (2004). An overview of hardware-in-the-loop testing systems at Visteon.

[2] Millitzer, J., Mayer, D., Henke, C., Jersch, T., Tamm, C., Michael, J., & Ranisch, C. (2019). Recent developments in hardware-in-the-loop testing. In Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 36th IMAC, A Conference and Exposition on Structural Dynamics 2018 (pp. 65-73). Springer International Publishing.

[3] Shah, S. M., & Irfan, M. (2005, September). Embedded hardware/software verification and validation using hardware-in-the-loop simulation. In Proceedings of the IEEE Symposium on Emerging Technologies, 2005. (pp. 494-498). IEEE.

[4] Kopetz, H., & Steiner, W. (2022). Real-time systems: design principles for distributed embedded applications. Springer Nature.

[5] Koebel, J. T. (2018). Facilitating university compliance using regulatory policy incentives. JC & UL, 44, 160.

[6] Davis, R. I., & Burns, A. (2011). A survey of hard real-time scheduling for multiprocessor systems. ACM computing surveys (CSUR), 43(4), 1-44.

[7] Satapathy, B. S., Satapathy, S. S., Singh, S. I., & Chakraborty, J. (2023, March). Continuous Integration and Continuous Deployment (CI/CD) Pipeline for the SaaS Documentation Delivery. In International Conference on Information Technology (pp. 41-50). Singapore: Springer Nature Singapore.

[8] Kopetz, H., & Bauer, G. (2003). The time-triggered architecture. Proceedings of the IEEE, 91(1), 112-126.

[9] Himmler, A., Allen, J., & Moudgal, V. (2013). Flexible Avionics Testing-From Virtual ECU Testing to HIL Testing (No. 2013-01-2242). SAE Technical Paper.

[10] Guduvan, A. R., Waeselynck, H., Wiels, V., Durrieu, G., Fusero, Y., & Schieber, M. (2015). Test languages for in-the-loop avionics tests. Journal of Aerospace Information Systems, 12(4), 374-391.

[11] Ould, M. A., & Unwin, C. (Eds.). (1986). Testing in software development. Cambridge University Press.

[12] Anand, A., & Uddin, A. (2019). Importance of software testing in the process of software development. International Journal for Scientfic Research and Development, 12(6).

[13] Turton, J. A. (1991). Avionics Software Evolution. SAGARD.

[14] Ott, A. (2007). System testing in the avionics domain (Doctoral dissertation, Universität Bremen).

[15] Wu, J., Ali, S., Yue, T., Tian, J., & Liu, C. (2017). Assessing the quality of industrial avionics software: an extensive empirical evaluation. Empirical Software Engineering, 22, 1634-1683.

[16] Himmler, A. (2014). From virtual testing to hil testing-towards seamless testing (No. 2014-01-2165). SAE Technical Paper.

[17] Gallagher, M. (2009). Data collection and analysis. Researching with children and young people: Research design, methods and analysis, 65-127.

[18] Wagner, L., Mebsout, A., Tinelli, C., Cofer, D., & Slind, K. (2017). Qualification of a model checker for avionics software verification. In NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings 9 (pp. 404-419). Springer International Publishing.

[19] Bhatt, D., Madl, G., Oglesby, D., & Schloegel, K. (2010). Towards scalable verification of commercial avionics software. In AIAA Infotech@ Aerospace 2010 (p. 3452).

[20] Baumann, C., Beckert, B., Blasum, H., & Bormer, T. (2009, March). Better avionics software reliability by code verification. In Proceedings, embedded world Conference, Nuremberg, Germany.

Keywords :

Avionics Software Verification, Hardware-in-the-Loop (HIL) Testing, Model-Based Testing, Avionics.