Methodology for testing languages for embedded avionics systems

Authors

DOI:

https://doi.org/10.18372/2073-4751.70.16846

Keywords:

information support, programming languages, meta-model, integrated modular avionics

Abstract

In this article, we have analyzed six test languages. Four proprietary languages have been identified that are currently used in avionics for cyclic testing of embedded avionics systems at different levels of integration and maturity of the system under test. We use the Eclipse Modeling Framework with the Ecore specialized modeling language to formalize various concepts of interest. This will allow us to access a number of existing tools to create custom editors, validators, and code generators. Test engineers will have a rich environment to define their own test models based on the meta-model. We propose to abstract from existing proprietary implementation solutions and work at a common design level. For this, mature model design methods exist and can be used. The proposed approach is to share high-level test specifications and automatically maintain the entire code design and production chain.

References

Hayley J., Reynolds R., Lokhande K., Kuff-ner M., Yenson S. Human-systems integra-tion and air traffic control. Lincoln laborato-ry journal. – № 19. – 2012. – Р. 34-49.

Konakhovych H., Kozlyuk I., Ko-valenko Y. Specificity of optimization of performance indicators of technical opera-tion and updating of radio electronic sys-tems of aircraft. System research and infor-mation technologies. – 2020. – Р. 41-54.

Kovalenko Y. A programmable logic controller (PLC). Programming language structural analysis. Advances in Intelligent Systems and Computing. – 2017. – P. 234-242.

Kozlyuk I., Kovalenko Y. Reliability of computer structures of integrated modular aviation for hardware configurations. System research and information technolo-gies. – 2021. – P. 84-94.

Ghannem A., Hamdi M., Kessentini M., Ammar H. Search based requirements traceability recovery: A multi-objective approach. Proc. IEEE Congress on Evolu-tionary Computation (CEC). – 2017. – P. 1183–1190.

Z. Jiang, T. Zhao, S. Wang, H. Ju. New model-based analysis method with multiple constraints for integrated modular avionics dynamic reconfiguration process. – 2020. – 574 p.

Montano G., McDermid J. Human involvement in dynamic reconfiguration of integrated modular avionics. 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008. – 2008. – Р. 4.A.2-1-4.A.2-13.

ARINC Specification 653. Avionics application software standard interface. – 2018. [Electronic resource]. – Access point: https://www.sae.org/standards/content/arinc653p3a-1/

Committee, AE ARINC 664 Aircraft Data Networks, Part7: Avionics Full Duplex Switched Ethernet (AFDX) Network. Tech-nical Report. – 2005. – 150 p.

Kovalenko Y., Kozlyuk I. Imple-mentation of the integrated modular avion-ics application development complex ac-cording to the arinc653 standard. The Bulle-tin of Zaporizhzha National University: Physical and mathematical Sciences. – 2020. – P. 28-36.

Downloads

Published

2022-06-24

Issue

Vol. 2 No. 70 (2022)

Section

Статті

License

Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:

  1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.

  2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.

  3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).