Abstract Non-functional requirement analysis is the most critical factor for safety-critical system construction as it reduces the risk of catastrophic loss of assets by taking measurable actions in the design phase. Reliability and performance analysis are the two main components of non-functional requirement analysis. In this paper, a reliability analysis framework is devised, which maps the Unified Modeling Language (UML) state chart model into the state-space model to analyze dynamic behavior and state transition probabilities of a safety-critical system. A system that does not meet the target reliability and performance requirements is considered to be a failure. The proposed framework is validated with 32 safety-critical system instances of the Nuclear Power Plant on the Reactor Core Isolation Cooling System module.

中文翻译：

---

使用 UML 到状态空间模型的转换的安全关键系统的可靠性和性能分析

摘要 非功能需求分析是安全关键系统构建的最关键因素，因为它通过在设计阶段采取可衡量的行动来降低资产灾难性损失的风险。可靠性和性能分析是非功能性需求分析的两个主要组成部分。在本文中，设计了一个可靠性分析框架，将统一建模语言 (UML) 状态图模型映射到状态空间模型，以分析安全关键系统的动态行为和状态转换概率。不满足目标可靠性和性能要求的系统被认为是故障。提议的框架通过反应堆堆芯隔离冷却系统模块上的 32 个核电厂安全关键系统实例进行了验证。