RELIABILITY MODELING OF HARDWARE SOFTWARE SYSTEMS

被引:35
作者
WELKE, SR [1 ]
JOHNSON, BW [1 ]
AYLOR, JH [1 ]
机构
[1] UNIV VIRGINIA, DEPT ELECT ENGN, CHARLOTTESVILLE, VA 22903 USA
关键词
DEPENDABILITY; FAULT TOLERANCE; MARKOV MODELING; SOFTWARE;
D O I
10.1109/24.406575
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Conclusions - This paper uses a single model to analyze the effects of both hardware and software on system reliability, A unified model of hardware and software reliability is developed using Markov modeling, Then the effect of hardware and software failures is studied using the model. The model incorporates concepts from both hardware and software reliability modeling. Examples of both simplex (nonredundant) and redundant architectures are analyzed using the model.
引用
收藏
页码:413 / 418
页数:6
相关论文
共 50 条
[41]   A Study in Specification and Hardware Runtime Verification of Critical Embedded Software [J].
Solet, Dimitry ;
Bechennec, Jean-Luc ;
Briday, Mikael ;
Faucou, Sebastien ;
Pillement, Sebastien .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2025, 22 (03) :2258-2269
[43]   Reliability of Software. [J].
Delic, Z. .
Elektrotehnika (Zagreb), 1983, 26 (02) :75-78
[44]   Prediction of software reliability [J].
van Driel, Willem D. ;
Bikker, J. W. ;
Tijink, M. .
MICROELECTRONICS RELIABILITY, 2021, 119
[45]   Hardware and Software Design for Automotive Security [J].
Bansod, Gaurav .
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2013, 13 (09) :74-79
[46]   Instrument hardware and software upgrades at IPNS [J].
Worlton, Thomas ;
Hammonds, John ;
Mikkelson, D. ;
Mikkelson, Ruth ;
Porter, Rodney ;
Tao, Julian ;
Chatterjee, Alok .
PHYSICA B-CONDENSED MATTER, 2006, 385-86 :1340-1342
[47]   Theoretical fundamentals software/hardware algorithms [J].
Cherkaskyy, M .
MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2004, :9-13
[48]   Ontological distinctions between hardware and software [J].
Duncan, William D. .
APPLIED ONTOLOGY, 2017, 12 (01) :5-32
[49]   Hardware and Software Design for Automotive Security [J].
Bansod, Gaurav .
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2015, 15 (09) :32-37
[50]   Ecosystem of Things: Hardware, Software, and Architecture [J].
Chao, Lu ;
Peng, Xiaohui ;
Xu, Zhiwei ;
Zhang, Lei .
PROCEEDINGS OF THE IEEE, 2019, 107 (08) :1563-1583