A reward-based performability modelling of a fault-tolerant safety–critical system

Shakeel Ahamad () and Ratneshwer Gupta ()
Additional contact information
Shakeel Ahamad: Jawaharlal Nehru University
Ratneshwer Gupta: Jawaharlal Nehru University

International Journal of System Assurance Engineering and Management, 2023, vol. 14, issue 6, No 15, 2218-2234

Abstract: Abstract Nowadays, various computer system carries out critical functions. The failure of these systems leads to unacceptable loss. Such systems are called Safety–Critical Systems (SCS). The Performance and Reliability of SCS should be high. So, the combined study of performance and reliability (called Performability) is an important issue. The testing of the system is also used to improve its performance. However, some issues might not be addressed in the testing procedure. Formal verification is used for developing secure software. In most of the research work, performability is obtained by operational systems or fail repair systems. Some studies have considered the fail-repair, including fault-tolerant systems. Safety–critical systems generally have fault-tolerant mechanisms to minimize the severity of the failure. This paper studies the safety–critical system's performability using the continuous-time Markov chain (CTMC) with a reward called the Markov reward model (MRM), keeping in mind the fail-repair, fault-tolerant characteristics of the systems. The various parameters of the performability have been analyzed. For mathematical calculation, python language is used. The case study illustrates the proposed approach.

Keywords: Markov model; Markov reward model; Performability; Safety–Critical systems; Performance and reliability; Multi-states systems (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s13198-023-02055-3 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:ijsaem:v:14:y:2023:i:6:d:10.1007_s13198-023-02055-3

Ordering information: This journal article can be ordered from
http://www.springer.com/engineering/journal/13198

DOI: 10.1007/s13198-023-02055-3

Access Statistics for this article

International Journal of System Assurance Engineering and Management is currently edited by P.K. Kapur, A.K. Verma and U. Kumar

More articles in International Journal of System Assurance Engineering and Management from Springer, The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().