咨询与建议

限定检索结果

文献类型

  • 49 篇 期刊文献
  • 15 篇 会议

馆藏范围

  • 64 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 55 篇 工学
    • 36 篇 计算机科学与技术...
    • 28 篇 软件工程
    • 24 篇 电气工程
    • 6 篇 信息与通信工程
    • 4 篇 控制科学与工程
    • 4 篇 安全科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 石油与天然气工程
    • 1 篇 航空宇航科学与技...
  • 11 篇 管理学
    • 11 篇 管理科学与工程(可...
  • 6 篇 理学
    • 4 篇 数学
    • 1 篇 物理学
    • 1 篇 系统科学

主题

  • 64 篇 n-version progra...
  • 14 篇 software reliabi...
  • 12 篇 reliability
  • 8 篇 fault tolerance
  • 5 篇 software fault t...
  • 5 篇 fault-tolerant s...
  • 4 篇 fault tolerant s...
  • 4 篇 diversity
  • 4 篇 optimization
  • 4 篇 recovery block
  • 4 篇 design diversity
  • 3 篇 dependability
  • 3 篇 co-residence att...
  • 3 篇 machine learning...
  • 3 篇 imperfect debugg...
  • 3 篇 machine learning
  • 3 篇 safety-critical ...
  • 2 篇 programming
  • 2 篇 software fault-t...
  • 2 篇 correlated failu...

机构

  • 4 篇 univ massachuset...
  • 4 篇 israel elect cor...
  • 2 篇 control engineer...
  • 2 篇 univ tsukuba dep...
  • 2 篇 univ elect sci &...
  • 2 篇 univ toronto jos...
  • 2 篇 univ elect sci &...
  • 1 篇 univ fed santa c...
  • 1 篇 univ maryland in...
  • 1 篇 univ massachuset...
  • 1 篇 malardalen univ ...
  • 1 篇 univ toronto fac...
  • 1 篇 old dominion uni...
  • 1 篇 univ kent sch co...
  • 1 篇 univ minnesota m...
  • 1 篇 royal mil coll c...
  • 1 篇 kirklareli univ ...
  • 1 篇 univ tsukuba dep...
  • 1 篇 charles river an...
  • 1 篇 carnegie mellon ...

作者

  • 5 篇 xiang yanping
  • 5 篇 machida fumio
  • 5 篇 xing liudong
  • 5 篇 levitin gregory
  • 4 篇 wen qiang
  • 3 篇 berman o
  • 3 篇 mcallister df
  • 2 篇 mehmet t. söylem...
  • 2 篇 huang fuqun
  • 2 篇 rodrigues luis
  • 2 篇 bravo manuel
  • 2 篇 neiheiser ray
  • 2 篇 vouk ma
  • 2 篇 correia miguel
  • 2 篇 rech luciana
  • 2 篇 kumar ud
  • 2 篇 oytun eriş
  • 2 篇 lyu mr
  • 2 篇 salman kurtulan
  • 1 篇 pakki aditya

语言

  • 58 篇 英文
  • 4 篇 其他
检索条件"主题词=N-version Programming"
64 条 记 录,以下是21-30 订阅
排序:
n-version machine learning models for safety critical systems  49
N-version machine learning models for safety critical system...
收藏 引用
49th Annual IEEE/IFIP International Conference on Dependable Systems and networks (DSn)
作者: Machida, Fumio Univ Tsukuba Dept Comp Sci Ibaraki Japan
Quality control of machine learning systems is a fundamental challenge in industries to provide intelligent services or products using machine learning. While recent advances in machine learning algorithms substantial... 详细信息
来源: 评论
n-version programming for Railway Interlocking Systems: Synchronization and Voting Strategy
收藏 引用
IFAC Proceedings Volumes 2012年 第24期45卷 177-180页
作者: Oytun Eriş Uğur Yıldırım Mustafa S. Durmuş Mehmet T. Söylemez Salman Kurtulan Control Engineering Department Istanbul Technical University Istanbul Turkey (Tel: +90-536 354 43 84) Control Engineering Department Istanbul Technical University Istanbul Turkey
The main issue in controlling safety-critical systems such as nuclear power reactors or railway signalization systems where risk ratio is at the highest level because small errors might result in hazardous accidents (... 详细信息
来源: 评论
Fireplug: Flexible and Robust n-version Geo-Replication of Graph Databases  32
Fireplug: Flexible and Robust N-version Geo-Replication of G...
收藏 引用
32nd International Conference on Information networking (ICOIn)
作者: neiheiser, Ray Presser, Daniel Rech, Luciana Bravo, Manuel Rodrigues, Luis Correia, Miguel Univ Fed Santa Catarina Dept Informat & Estat Florianopolis SC Brazil Univ Lisbon Inst Super Tecn INESC ID Lisbon Portugal
The paper describes and evaluates Fireplug, a flexible architecture to build robust geo-replicated graph databases. Fireplug can be configured to tolerate from crash to Byzantine faults, both within and across differe... 详细信息
来源: 评论
nPM: An Anti-attacking Analysis Model of the MTD system Based on Martingale Theory
NPM: An Anti-attacking Analysis Model of the MTD system Base...
收藏 引用
IEEE Symposium on Computers and Communications (IEEE ISCC)
作者: Yang, Xin Li, Hui Wang, Han Peking Univ Huawei & PKU Jointly Engn Lab Future Network Base Shenzhen Engn Lab Converged Networking TechnolPK Future Network PKU Lab Natl Major Res Infrastruct Shenzhen 518055 Peoples R China
Moving target defense (MTD) techniques are effective solutions to improve the network security by continuously reconfiguring the system setting. On the other hand, continuously transforming also increase the cost of d... 详细信息
来源: 评论
A Model Driven Framework for n-version programming
A Model Driven Framework for N-Version Programming
收藏 引用
5th IEEE International Systems Conference
作者: Lewis, Craig A. Smith, Ronald W. Beaulieu, Alain Royal Mil Coll Canada Dept Elect & Comp Engn Kingston ON K7K 7H6 Canada
Complex systems-of-systems (SoS) requiring fault-tolerance and high reliability often require redundant systems. The concept of redundancy that includes components with differing failure modes is well understood in th... 详细信息
来源: 评论
Diversity and adjudication
收藏 引用
JOURnAL OF LOGICAL AnD ALGEBRAIC METHODS In programming 2016年 第5期85卷 860-866页
作者: Boiten, Eerke A. Univ Kent Sch Comp & Interdisciplinary Ctr Cyber Secur Canterbury Kent England
This paper takes an axiomatic and calculational view of diversity (or "n-version programming"), where multiple implementations of the same specification are executed in parallel to increase dependability. Th... 详细信息
来源: 评论
Trivariate Bernoulli distribution with application to software fault tolerance
收藏 引用
AnnALS OF OPERATIOnS RESEARCH 2016年 第1期244卷 241-255页
作者: Fiondella, Lance Zeephongsekul, Panlop Univ Massachusetts Dept Elect & Comp Engn 285 Old Westport Rd Dartmouth MA 02747 USA RMIT Univ Sch Math & Geospatial Sci Melbourne Vic 3001 Australia
The widespread reliance on software for mission and life critical applications makes the reliability of these systems essential. Techniques such as fault tolerance have been proposed to achieve the highest levels of s... 详细信息
来源: 评论
Stochastic modelling and simulation approaches to analysing enhanced fault tolerance on service-based software systems
收藏 引用
SOFTWARE TESTInG VERIFICATIOn & RELIABILITY 2016年 第4期26卷 276-293页
作者: Peng, Kuan-Li Huang, Chin-Yu Natl Tsing Hua Univ Dept Comp Sci Hsinchu Taiwan
Presently, service-based software systems ( SBSSs) have been heavily deployed to fulfil the functionalities of cloud computing and are widely used in many other application fields. Additionally, maintaining functional... 详细信息
来源: 评论
n-version Design of Fault-Tolerant Control Software for Communications Satellite System
N-version Design of Fault-Tolerant Control Software for Comm...
收藏 引用
International Siberian Conference on Control and Communications (SIBCOn)
作者: Kulyagin, Vitaly A. Tsarev, Roman Yu. Prokopenko, Alexander V. nikiforov, Alexander Yu. Kovalev, Igor V. Siberian Fed Univ Dept Informat Krasnoyarsk Russia Siberian State Aerosp Univ Syst Anal & Operat Res Krasnoyarsk Russia
The article considers the problem of fault-tolerant satellite control software design. To provide the control software fault-tolerance the n-version programming based on program redundancy is used. In the paper the pe... 详细信息
来源: 评论
A new bitwise voting strategy for safety-critical systems with binary decisions
收藏 引用
TURKISH JOURnAL OF ELECTRICAL EnGInEERInG AnD COMPUTER SCIEnCES 2015年 第5期23卷 1507-1521页
作者: Durmus, Mustafa Seckin Eris, Oytun Yildirim, Ugur Soylemez, Mehmet Turan Istanbul Tech Univ Elect & Elect Fac Dept Control Engn TR-80626 Istanbul Turkey
The main issue in controlling safety-critical systems such as nuclear power reactors or railway interlocking systems is to provide high safety and reliability where the risk ratio is at the highest level because small... 详细信息
来源: 评论