在关键架构中提高系统安全性:通过早期设计知识进行增强的假设测试
1Technical College of Engineering, Sulaimani Polytechnic University, Sulaimani, Kurdistan Region, Iraq.
PloS one
|April 18, 2024
概括
这项研究通过将错误数据集成到路径分析中来增强对关键系统架构的假设测试. 这提高了错误路径的识别,并通过在设计过程中早期检测错误来提高系统安全性.
科学领域:
- 系统安全工程系统安全工程
- 可靠性工程可靠性工程
- 软件工程 软件工程 软件工程
背景情况:
- 假设测试对于使用数据验证理论和预测至关重要.
- 关键系统架构需要有效的假设测试来识别错误路径并确保安全.
- 在生命关键系统中,假设测试的不足利用导致未被检测到的错误路径.
研究的目的:
- 提出在关键系统架构中测试假设的指导方针和最佳实践.
- 解决生命关键系统中假设测试的不足利用问题.
- 加强错误路径的识别和提高系统安全.
主要方法:
- 提出一种增强的路径分析技术,整合出于错误的信息.
- 通过建筑描述来增强传统的假设测试方法.
- 调查各种系统路径以识别假阳性和假阴性错误.
- 使用诸如系统边界,假设,内容/架构和可追溯性等标准验证拟议的方法.
主要成果:
- 突出早期系统知识中追踪错误的重要性.
- 证明有效识别危险,安全约束和不安全行动的原因.
- 通过增强的假设测试,显示了更好的危险识别和系统安全.
结论:
- 将早期设计知识整合到假设测试中,对于增强危险识别至关重要.
- 增强的假设测试方法有效地提高了关键系统架构的安全性.
- 早期追踪错误对整体系统的安全性和可靠性作出了重大贡献.
相关概念视频
Hypothesis: Accept or Fail to Reject?
27.7K
The outcome of any hypothesis testing leads to rejecting or not rejecting the null hypothesis. This decision is taken based on the analysis of the data, an appropriate test statistic, an appropriate confidence level, the critical values, and P-values. However, when the evidence suggests that the null hypothesis cannot be rejected, is it right to say, 'Accept' the null hypothesis?
There are two ways to indicate that the null hypothesis is not rejected. 'Accept' the null...
There are two ways to indicate that the null hypothesis is not rejected. 'Accept' the null...
27.7K
Stereotype Content Model
14.7K
The Stereotype Content Model (SCM) was first proposed by Susan Fiske and her colleagues (Fiske, Cuddy, Glick & Xu, 2002; see also Fiske, 2012 and Fiske, 2017). The SCM specifies that when someone encounters a new group, they will stereotype them based on two metrics: warmth—or that group’s perceived intent, and how likely they are to provide help or inflict harm—and competence—or their ability to carry out that objective. Depending on the warmth-competence...
14.7K
Cognitive Learning
239
Cognitive learning is based on purposive behavior, incidental learning, and insight learning.
E. C. Tolman's theory of purposive behavior emphasizes that much behavior is goal-directed. He argued that to understand behavior, we must look at the entire sequence of actions leading to a goal. For instance, high school students study hard, not just due to past reinforcement but also to achieve the goal of getting into a good college.
Tolman introduced the idea that behavior is influenced by...
E. C. Tolman's theory of purposive behavior emphasizes that much behavior is goal-directed. He argued that to understand behavior, we must look at the entire sequence of actions leading to a goal. For instance, high school students study hard, not just due to past reinforcement but also to achieve the goal of getting into a good college.
Tolman introduced the idea that behavior is influenced by...
239


