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
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1995年 / 44卷 / 03期
关键词：
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 条
[21]   Self-Adapting Reliability in Distributed Software Systems [J].
Brun, Yuriy ;
Bang, Jae Young ;
Edwards, George ;
Medvidovic, Nenad .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015, 41 (08) :764-780
[22]   A Study of Incorporation of Deep Learning Into Software Reliability Modeling and Assessment [J].
Wu, Cheng-Yang ;
Huang, Chin-Yu .
IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (04) :1621-1640
[23]   Software and Hardware Decision Support System for Operators of Electrical Power Systems [J].
Ruban, Nikolay Yu ;
Suvorov, Aleksey A. ;
Andreev, Mikhail, V ;
Ufa, Ruslan A. ;
Askarov, Alisher B. ;
Gusev, Alexandr S. ;
Bhalja, Bhavesh R. .
IEEE TRANSACTIONS ON POWER SYSTEMS, 2021, 36 (05) :3840-3848
[24]   Hardware dependent software, the bridge between hardware and software - A generic handler framework [J].
Marichal, R ;
de Jong, G ;
van der Putten, P ;
van Sas, J .
SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02, 2003, :173-182
[25]   Modeling and Reducing the Attack Surface in Software Systems [J].
Yee, George O. M. .
2019 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON MODELLING IN SOFTWARE ENGINEERING (MISE 2019), 2019, :55-62
[26]   Software quality assurance for mathematical modeling systems [J].
Bussieck, MR ;
Dirkse, SP ;
Meeraus, A ;
Pruessner, A .
NEXT WAVE IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES, 2005, 29 :267-284
[27]   ALGORITHMS AND SOFTWARE SUITE FOR RELIABILITY ASSESSMENT OF COMPLEX TECHNICAL SYSTEMS [J].
Yakovyna, V. S. ;
Seniv, M. M. ;
Symets, I. I. ;
Sambir, N. B. .
RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2020, (04) :163-177
[28]   Reliability-related requirements in software-intensive systems [J].
Hecht, Myron ;
Owens, Karen ;
Tagami, Joanne .
ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2007 PROCEEDINGS, 2006, :155-+
[29]   INTEGRATION AND RELIABILITY TESTING FOR COMPONENT-BASED SOFTWARE SYSTEMS [J].
Saglietti, Francesca ;
Pinte, Florin ;
Soehnlein, Sven .
2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, :368-374
[30]   Conceptual Model of Hardware & Software Co-design for Multicore Systems on Chip [J].
Ruchkin, Vladimir ;
Soldatov, Grigory ;
Koryachko, Alexei ;
Kostrov, Boris ;
Ruchkina, Ekaterina .
2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, :368-371
12345