Compiler-compiler of multi syntax programming languages for creating N-version software

被引:1
|
作者
Kuznetsov, A. S. [1 ]
Tsarev, R. Y. [1 ]
Yamskikh, T. N. [1 ]
Knyazkov, A. N. [1 ]
Pupkov, A. N. [1 ]
Laleye, F. A. A. [2 ]
机构
[1] Siberian Fed Univ, 79 Svobodny Pr, Krasnoyarsk 660041, Russia
[2] CEA Saclay Siege, Atom Energy & Alternat Energies Commiss, F-91191 Gif Sur Yvette, France
关键词
D O I
10.1088/1742-6596/1333/7/072014
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Ensuring the reliability of the software has become increasingly complex and challenging. The most important problem is providing failure-free software operation to prevent financial losses or machinery breakdown. It can be solved with N-version programming which requires increased costs due to the use of redundant software components. In this paradigm, redundancy refers to diversity of software components. This paper discusses the implementation of software components in various languages with different syntax. We propose an efficient and time-reducing approach to the development of a multi-syntax programming language compiler. The technique of compiler parsing is based on the existing flex and bison specifications. The proposed approach makes it easier to detect errors in multi-syntax N-version software solutions, as well as reduce the likelihood of their occurrence due to the use of an automated tool, which is crucial for its implementation in an industrial setting.
引用
收藏
页数:5
相关论文
共 50 条
  • [1] COCOVILA - Compiler-Compiler for Visual Languages
    Grigorenko, Pavel
    Saabas, Ando
    Tyugu, Enn
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (04) : 137 - 142
  • [3] The design of the YAP compiler: An optimizing compiler for logic programming languages
    da Silva, Anderson Faustino
    Costa, Vitor Santos
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (07) : 764 - 787
  • [4] Reliability of N-version programming software with testing effort
    Gupta, Ritu
    Jain, Madhu
    [J]. International Journal of Reliability and Safety, 2020, 14 (04): : 229 - 251
  • [5] The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
    da Silva, Anderson Faustino
    Costa, Vitor Santos
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 461 - 462
  • [6] A study of N-version programming and its impact on software availability
    Xie, Min
    Xiong, Chengjie
    Ng, Szu-Hui
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2014, 45 (10) : 2145 - 2157
  • [7] An extensible compiler for creating scriptable scientific software
    Beazley, DM
    [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 824 - 833
  • [8] Programming languages and compiler design for realistic quantum hardware
    Frederic T. Chong
    Diana Franklin
    Margaret Martonosi
    [J]. Nature, 2017, 549 : 180 - 187
  • [9] OLC, On-Line Compiler to teach programming languages
    Guerra Artal, Cayetano
    Afonso Suarez, Maria Dolores
    Santana Perez, Idafen
    Quesada Lopez, Ruben
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2008, 3 (01) : 69 - 79
  • [10] OLC, On-Line Compiler to teach programming languages
    Guerra Artal, Cayetano
    Afonso Suarez, Maria Dolores
    Santana Perez, Idafen
    Quesada Lopez, Ruben
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING: VIRTUAL LEARNING - VIRTUAL REALITY: MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS, 2007, : 283 - 290