期刊
ANNALS OF NUCLEAR ENERGY
卷 132, 期 -, 页码 584-592出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.anucene.2019.06.027
关键词
Safety-critical systems; Performance analysis; Petri nets; Markov chain
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据