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

How to Cite

Kovalenko, Y., & Kudrenko, S. (2022). Methodology for testing languages for embedded avionics systems. Problems of Informatization and Control, 2(70), 44–52. https://doi.org/10.18372/2073-4751.70.16846

Issue

Vol. 2 No. 70 (2022)

Section

Статті

License

The scientific journal adheres to the principles of Open Access and provides free, immediate, and permanent access to all published materials without financial, technical, or legal barriers for readers.

All articles are published in Open Access under the Creative Commons Attribution 4.0 International (CC BY 4.0) license.

Copyright

Authors who publish their works in the journal:

  • retain the copyright to their publications;

  • grant the journal the right of first publication of the article;

  • agree to the distribution of their materials under the CC BY 4.0 license;

  • have the right to reuse, archive, and distribute their works (including in institutional and subject repositories), provided that proper reference is made to the original publication in the journal.