Journal
ANNALS OF NUCLEAR ENERGY
Volume 132, Issue -, Pages 584-592Publisher
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.anucene.2019.06.027
Keywords
Safety-critical systems; Performance analysis; Petri nets; Markov chain
Categories
Ask authors/readers for more resources
Non-functional requirements play a critical role in designing variety of applications domain ranging from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirements, especially in control and safety systems, which validates the design. System risk can be quantified as a product of probability of system failure and severity of its impact. In this paper, we devise a technique to do the performance analysis of safety critical and control systems that helps to estimate the risk. The technique elaborates Petri nets to estimate performability to ensure system dependability requirements. We illustrate the technique on a case study of Nuclear Power Plant. The technique has been validated on its 17 safety critical and control systems. (C) 2019 Elsevier Ltd. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available