N-version Software Module Requirements to Grant the Software Execution Fault-Tolerance

被引:4
|
作者
Gruzenkin, Denis V. [1 ]
Chernigovskiy, Alexey S. [1 ]
Tsarev, Roman Yu [1 ]
机构
[1] Siberian Fed Univ, Dept Informat, Kirenskogo 26B, Krasnoyarsk 660074, Russia
关键词
N-version software; Requirements; Execution environment; Software reliability;
D O I
10.1007/978-3-319-67618-0_27
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
N-version programming is one of the approach ensuring high reliability and fault-tolerance of software on the basis of program redundancy and diversity. This approach ensures that faults of one of the versions of an N-version software module will not result in malfunction of the module operation process. N-version software realization, as a rule, depends upon capacities and preferences of the teams of designers and developers. This work is an attempt to denote basic requirements, which should be met at the design of N-version software to minimize the occurrence of possible program faults and influence of the modules versions on one another. The requirements to versions (program modules) of N-version software allow to ensure high-level reliability and faulttolerance due to the elimination of the possible influence of separate versions on each other. A special attention has been paid to their interaction, which should not have any impact on the operation of the other components. For realization and research of N-version software developed taking into account the defined requirements an N-version software execution environment has been developed. Testing of the N-version software execution environment has demonstrated expediency of a component architecture application and high efficiency of N-version programming as a method of fault-tolerant software development.
引用
收藏
页码:293 / 303
页数:11
相关论文
共 50 条
  • [31] A software-reliability growth model for N-version programming systems
    Teng, XL
    Pham, H
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (03) : 311 - 321
  • [32] Efficient reliability prediction for N-version software systems with multiple stages
    Li, KQ
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1998, 13 (02): : 113 - 120
  • [33] Algorithm source codes generation for ensuring N-version software diversity
    Gruzenkin, D. V.
    Kuznetsov, A. S.
    Tsarev, R. Y.
    Yamskikh, T. N.
    Knyazkov, A. N.
    Pupkov, A. N.
    Rock, Leong Yee
    INTERNATIONAL CONFERENCE: INFORMATION TECHNOLOGIES IN BUSINESS AND INDUSTRY, 2019, 1333
  • [34] Application of majority voting and consensus voting algorithms in N-version software
    Tsarev, R. Yu
    Durmus, M. S.
    Ustoglu, I.
    Morozov, V. A.
    INTERNATIONAL CONFERENCE INFORMATION TECHNOLOGIES IN BUSINESS AND INDUSTRY 2018, PTS 1-4, 2018, 1015
  • [35] ON THE OPTIMAL-DESIGN OF N-VERSION SOFTWARE SYSTEMS SUBJECT TO CONSTRAINTS
    PHAM, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (01) : 55 - 61
  • [36] The avalanche paradigm: An experimental software programming technique for improving fault-tolerance
    Voas, JM
    Miller, KW
    IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 142 - 147
  • [37] Chaos Duck: a Tool for Automatic IoT Software Fault-Tolerance Analysis
    Zavalyshyn, Igor
    Given-Wilson, Thomas
    Legay, Axel
    Sadre, Ramin
    Riviere, Etienne
    2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, : 46 - 55
  • [38] Fault-tolerance capabilities of a software-implemented Hopfield Neural Network
    Mansour, Wassim
    Velazco, Raoul
    Ayoubi, Rafic
    El Falou, Wassim
    Ziade, Haissam
    2013 THIRD INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND INFORMATION TECHNOLOGY (ICCIT), 2013, : 205 - 208
  • [39] Tuning Software-based Fault-tolerance Techniques for Power Optimization
    Chielle, Eduardo
    Kastensmidt, Fernando Lima
    Cuenca-Asensi, Sergio
    2014 24TH INTERNATIONAL WORKSHOP ON POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION (PATMOS), 2014,
  • [40] A Study on Software Based Fault-Tolerance Techniques for Flight Control Computer
    Yoon, Hyung-Sik
    Kim, Yeon-Gyun
    JOURNAL OF THE KOREAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 2016, 44 (03) : 256 - 265