NEW CONDITIONS FOR N-VERSION PROGRAMMING

被引：0
|
作者：
BRIDGEWATER, K
GERSTING, JL
ROBERTS, D
机构：
来源：
PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK | 1988年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：B605 / B611
页数：7
相关论文
共 50 条
  • [21] IMPROVING THE N-VERSION PROGRAMMING PROCESS THROUGH THE EVOLUTION OF A DESIGN PARADIGM
    LYU, MR
    HE, YT
    IEEE TRANSACTIONS ON RELIABILITY, 1993, 42 (02) : 179 - 189
  • [22] Towards Seamless Integration of N-Version Programming in Model-Based Design
    Hu, Tingting
    Bertolotti, Ivan Cibrario
    Navet, Nicolas
    2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
  • [23] Managing redundancy in CAN-based networks supporting N-Version Programming
    Proenza, Julian
    Miro-Julia, Jose
    Hansson, Hans
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (01) : 120 - 127
  • [24] Floating-Point Symbolic Execution: A Case Study in N-Version Programming
    Liew, Daniel
    Schemmel, Daniel
    Cadar, Cristian
    Donaldson, Alastair F.
    Zaehl, Rafael
    Wehrle, Klaus
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 601 - 612
  • [25] N-VERSION 2.0 AND NSURV VERSION 1.0
    WRIGHT, F
    COMPUTER APPLICATIONS IN THE BIOSCIENCES, 1993, 9 (02): : 239 - 241
  • [26] 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
  • [27] Ontology supported selection of versions for N-version programming in semantic Web Services
    Kaczmarek, Pawel L.
    COMPUTATIONAL SCIENCE - ICCS 2008, PT 1, 2008, 5101 : 317 - 326
  • [28] 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
  • [29] 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
  • [30] 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
12345