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 条
  • [41] A Majority Voter for Intrusion Tolerant Software Based on N-Version Programming Techniques
    Aghajani, Zahra
    Azgomi, Mohammad Abdollahi
    2009 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY, 2009, : 61 - 65
  • [42] VARAN the Unbelievable An Efficient N-version Execution Framework
    Hosek, Petr
    Cadar, Cristian
    ACM SIGPLAN NOTICES, 2015, 50 (04) : 339 - 353
  • [43] OPTIMAL-DESIGN OF LARGE SOFTWARE-SYSTEMS USING N-VERSION PROGRAMMING
    ASHRAFI, N
    BERMAN, O
    CUTLER, M
    IEEE TRANSACTIONS ON RELIABILITY, 1994, 43 (02) : 344 - 350
  • [44] Compiler-compiler of multi syntax programming languages for creating N-version software
    Kuznetsov, A. S.
    Tsarev, R. Y.
    Yamskikh, T. N.
    Knyazkov, A. N.
    Pupkov, A. N.
    Laleye, F. A. A.
    INTERNATIONAL CONFERENCE: INFORMATION TECHNOLOGIES IN BUSINESS AND INDUSTRY, 2019, 1333
  • [45] DESIGN STUDY OF SOFTWARE-IMPLEMENTED FAULT-TOLERANCE (SIFT)COMPUTER.
    WENSLEY, J.H.
    GOLDBERG, J.
    GREEN, M.W.
    KAUTZ, W.H.
    LEVITT, K.N.
    MILLS, M.E.
    SHOSTAK, R.E.
    WHITING-O'KEEFE, P.M.
    ZEIDLER, H.M.
    1982,
  • [46] Improving the fault-tolerance of software-defined networks with dynamic overlay agreement
    Hsieh, Hui-Ching
    Chiang, Mao-Lun
    Chang, Tzu-Yang
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2021, 24 (03): : 2597 - 2614
  • [47] A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
    Fayollas, C.
    Fabre, J. -C.
    Palanque, P.
    Cronel, M.
    Navarre, D.
    Deleris, Y.
    2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), 2014, : 21 - 30
  • [48] Design of reliable software via general combination of N-version programming and acceptance testing
    Parhami, B
    SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1996, : 104 - 109
  • [49] Study on software fault-tolerance of computer-based measuring and controlling system
    Wang, J
    Yan, YT
    PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 708 - 711
  • [50] Improving the fault-tolerance of software-defined networks with dynamic overlay agreement
    Hui-Ching Hsieh
    Mao-Lun Chiang
    Tzu-Yang Chang
    Cluster Computing, 2021, 24 : 2597 - 2614