There has been considerable development in the domain of dependability engineering and analysis in recent decades. The quality guidelines related to dependability attributes such as safety, reliability, maintainability, and availability have evolved into recommending progressively stricter prerequisites and requirements related to the quality of products and services. Owing to this development, the aspects, processes, and practices that were either simply approximated or disregarded until now must be considered in quantitative evaluation to offer satisfactory estimates related to dependability. With explicit regard to dependability, it implies that obstructions and prerequisite conditions cannot be ignored. In this manner, so as to help such a pattern, explicit procedures and apparatuses are required to satisfactorily manage dynamic viewpoints in dependability assessment. State-space modeling techniques are quite productive when attempts are made to illustrate the dynamic behavior of a system. They provide support for critical analysis to deliver being instrumental in a direct mapping with any mathematical modeling tool. The objective of this article is to offer a systematic review of various modeling formalisms with insights into state-space modeling techniques for dependability analysis. It also provides a comparison among the various modeling formalisms, and therefore, can be used as a reference for practitioners, developers, and researchers in state-space dependability modeling and evaluation.
Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review
Kumar Gaurav,Vinay Kumar,B. Singh
Published 2023 in IEEE Transactions on Reliability
ABSTRACT
PUBLICATION RECORD
- Publication year
2023
- Venue
IEEE Transactions on Reliability
- Publication date
2023-12-01
- Fields of study
Computer Science, Engineering
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-55 of 55 references · Page 1 of 1
CITED BY
Showing 1-9 of 9 citing papers · Page 1 of 1