add skills/GJB438B-2009_prd_skills/
This commit is contained in:
33
skills/GJB438B-2009_prd_skills/定义安全关键软件的安全性需求/SKILL.md
Normal file
33
skills/GJB438B-2009_prd_skills/定义安全关键软件的安全性需求/SKILL.md
Normal file
@@ -0,0 +1,33 @@
|
||||
---
|
||||
name: 定义安全关键软件的安全性需求
|
||||
description: 当CSCI(计算机软件配置项)涉及人身、财产或环境安全风险时,使用本技能识别两类危险(意外动作与无动作),并定义可验证的安全措施。适用于安全关键CSCI、控制系统及核相关软件的开发初期阶段。
|
||||
---
|
||||
|
||||
# 定义安全关键软件的安全性需求
|
||||
|
||||
## 何时使用
|
||||
- 系统被判定为安全关键(如涉及人身、财产或环境风险);
|
||||
- 开发对象属于安全关键CSCI、控制系统或核相关软件;
|
||||
- 需要满足GJB438B等系统安全标准;
|
||||
- 触发条件:CSCI可能因意外动作(如误发命令)或无动作(如应触发但未触发)导致危险。
|
||||
|
||||
## 如何执行
|
||||
1. **识别危险类型**:
|
||||
- **意外动作**:系统在不应执行时执行了操作(例如误发“自动导航关闭”命令);
|
||||
- **无动作**:系统在应执行时未能执行操作(例如应发“自动导航关闭”但失败)。
|
||||
|
||||
2. **为每类危险定义安全措施**,包括但不限于:
|
||||
- 命令确认机制(如二次确认对话框);
|
||||
- 双人授权流程;
|
||||
- 故障检测与自动切换机制;
|
||||
- 看门狗定时器(Watchdog Timer)以检测程序挂起。
|
||||
|
||||
3. **若涉及核相关部件**,额外增加:
|
||||
- 预防意外爆炸的工程控制措施;
|
||||
- 与国家或行业核安全规则的一致性声明。
|
||||
|
||||
4. **确保所有安全措施**:
|
||||
- 可通过测试或分析进行验证;
|
||||
- 与系统级安全分析(如FTA、HAZOP)结果保持一致。
|
||||
|
||||
5. **输出结果**:生成一份结构化的安全措施清单,每项措施明确关联到具体的危险场景和CSCI功能。
|
||||
Reference in New Issue
Block a user