Citation :

Jawahar Thangavelu, 2023. "Model-Based Verification Techniques in Avionics: Bridging the Gap between Safety and Innovation" ESP International Journal of Advancements in Science & Technology (ESP-IJAST)  Volume 1, Issue 3: 33-46.

Abstract :

Avionics systems have evolved at a very fast rate, thus improving the safety and performance of current-generation aircraft. Nevertheless, the progress results in higher complications and the need for more rigorous methods of verification to guarantee that these systems possess the maximum level of safety. To these challenges, Model-Based Verification (MBV) techniques have since turned out to be a critical method of providing solutions. This paper aims to uncover the responsibilities of MBV in avionic dealing, specifically in innovation and safety chasm. This is a brief discussion of the purpose, approaches, uses and problems that MBV addresses in matters related to aircraft electronics. Also, it acknowledges the importance of the MBV in guaranteeing that avionics systems fully meet regulatory requirements and operate at the highest safety levels while protecting innovation. The paper will also present an analysis of the application of MBV techniques in different case studies in the avionics industry to show the benefits of enhancing the reliability and safety of the system. In conclusion, it is stated that for the development of modern avionics, it is necessary to apply MBV and, at the same time, maintain the safety of planes and comply with the requirements of governments and civil organizations.

References :

[1] Khan, M., Sievers, M., & Standley, S. (2012). Model-based verification and validation of spacecraft avionics. In Infotech@ Aerospace 2012 (p. 2555).

[2] Elkholy, W., El-Menshawy, M., Bentahar, J., Elqortobi, M., Laarej, A., & Dssouli, R. (2020). Model checking intelligent avionics systems for test cases generation using multi-agent systems. Expert Systems with Applications, 156, 113458.

[3] Abdellatif, A. A., & Holzapfel, F. (2020, October). Model based safety analysis (MBSA) tool for avionics systems evaluation. In 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) (pp. 1-5). IEEE.

[4] Ludwig, G. L. (1991). Evolution of avionic systems architecture, from the 1950’s to the present. SAGARD.

[5] Gannous, A., Andrews, A., & Gallina, B. (2018, March). Bridging the gap between testing and safety certification. In 2018 IEEE Aerospace Conference (pp. 1-18). IEEE.

[6] Rushby, J. (2002). “Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises.” Reliability Engineering & System Safety, 75(2), 167-177.

[7] Feiler, P. H., Gluch, D. P., & Hudak, J. J. (2006). “The Architecture Analysis & Design Language (AADL): A Tool for Model-Based Verification of Avionics Systems.” Proceedings of the IEEE/AIAA Digital Avionics Systems Conference, 1-14.

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

[9] Fuchs, C. M., & Schneele, A. S. (2012). The evolution of avionics networks from ARINC 429 to AFDX. Innovative Internet Technologies and Mobile Communications (IITM), and Aerospace Networks (AN), 65.

[10] Sabatini, R., Roy, A., Blasch, E., Kramer, K. A., Fasano, G., Majid, I., ... & Major, R. O. (2020). Avionics systems panel research and innovation perspectives. IEEE Aerospace and Electronic Systems Magazine, 35(12), 58-72.

[11] Peleska, J. (2018, May). Model-based avionic systems testing for the Airbus family. In 2018 IEEE 23rd European test symposium (ETS) (pp. 1-10). IEEE.

[12] Pinney, L., Lead, J. A., Morgan, R., & Lachenmaier, R. (1994). Avionics Architecture Definition. Version 1.0. Joint Advanced Strike Technology Program, August.[Internet, WWW, PDF]. ADDRESS.

[13] Le Sergent, T., Dormoy, F. X., & Le Guennec, A. (2016, January). Benefits of model-based system engineering for avionics systems. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016).

[14] Bienmüller, T., Brockmeyer, U., Damm, W., Döhmen, G., Eßmann, C., Holberg, H. J., ... & Sefton, E. (1999). Formal verification of an avionics application using abstraction and symbolic model checking. In Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 (pp. 150-173). Springer London.

[15] Perseil, I., & Pautet, L. (2010, March). High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. In 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (pp. 418-424). IEEE.

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

[17] Robati, T., El Kouhen, A., Gherbi, A., & Mullins, J. (2015, September). Simulation-based verification of avionic systems deployed on IMA architectures. In ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS’15).

[18] Wartel, F., Kosmidis, L., Gogonel, A., Baldovino, A., Stephenson, Z., Triquet, B., ... & Cazorla, F. J. (2015, March). Timing analysis of an avionics case study on complex hardware/software platforms. In 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 397-402). IEEE.

[19] Cai, G., Chen, B. M., Dong, X., & Lee, T. H. (2011). Design and implementation of a robust and nonlinear flight control system for an unmanned helicopter. Mechatronics, 21(5), 803-820.

[20] Frew, E. W., & Brown, T. X. (2008). Airborne communication networks for small unmanned aircraft systems. Proceedings of the IEEE, 96(12).

[21] Dharmalingam, Balasubramanian and Thangavelu, Jawahar, System Architecture of Data Management and Diagnostic System to Assist Aircraft System Maintenance (October 12, 2022). Available at SSRN: https://ssrn.com/abstract=4245274 or http://dx.doi.org/10.2139/ssrn.4245274

[22] K. Thangavelu, "Control System Software Execution During Fault Detection," 2022 6th International Conference on Intelligent Computing and Control Systems (ICICCS), Madurai, India, 2022, pp. 1-5, doi: 10.1109/ICICCS53718.2022.9788193.

[23] Thangavelu, Kamaraj, Framework for Data Management System to Assist Aircraft System Maintenance (June 24, 2022). IJCRT | Volume 10, Issue 6 June 2022, Available at SSRN: https://ssrn.com/abstract=4145757

Keywords :

Model-Based Verification (Mbv), Avionics, System Reliability, Simulation-Based Verification, Formal Methods.