Algorithm source codes generation for ensuring N-version software diversity

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: International Conference on Information Technologies in Business and Industries, ITBI 2019

Год издания: 2019

Идентификатор DOI: 10.1088/1742-6596/1333/3/032026

Аннотация: Diversity is one of the fundamental principles for N-version software development. The development of redundant versions can significantly improve the reliability of software, but it is more time and labour consuming. Business and manufacturing require a higher level of software reliability. The task of reducing the lead-time and cПоказать полностьюost effectiveness becomes more important when developing N-version software for such industries. It is proposed to use automatic source code generation to create N-version software. The use of domain-specific language for the intermediate representation of the algorithm simplifies code generation in the target programming language. The authors discuss a new conceptual model of two-step code translation for N-version software. The proposed approach will simplify the process of N-version software development and reduce the number of required resources. The paper contains an example of C code generation as a target programming language, using flowcharts as a graphical representation of the source algorithm. The described approach is intended for use in safety-critical industries. © Published under licence by IOP Publishing Ltd.

Ссылки на полный текст

Издание

Журнал: Journal of Physics: Conference Series

Выпуск журнала: Vol. 1333, Is. 3

Номера страниц: 32026

ISSN журнала: 17426588

Издатель: Institute of Physics Publishing

Персоны

  • Gruzenkin D.V. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Kuznetsov A.S. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Tsarev R.Y. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Yamskikh T.N. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Knyazkov A.N. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Pupkov A.N. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
  • Yee Rock L. (VYROX International Sdn Bhd (MSC Status), Avenue 3, Bangsar South, No. 8, Jalan Kerinchi, Kuala Lumpur, 59200, Malaysia)