S1E2_安全计划,安全案例,GSN能融合在一起么?安全第一

S1E2_安全计划,安全案例,GSN能融合在一起么?

26分钟 ·
播放数20
·
评论数0

我们在一个项目开发过程中,做了很多按照ISO26262的交付物要求做了很多繁琐的工作。安全计划,安全案例,是否可以用某种方式,比如GSN融合在一起呢?这么做又有什么缺陷呢?是否有其他的选择?

下面的内容是我用AI工具做的总结,希望能回答这些问题:

1. 当前实践的缺陷

  • 回答的问题: “当前安全计划和安全案例的普遍做法有什么问题?”
  • 核心答案: 当前普遍做法(仅列出工作产品链接列表)不符合ISO 26262的精神,因为它只提供了潜在证据的列表,而完全缺失了连接证据与结论的核心论证过程

2. 解决方案的灵感来源:构建真正的论证

  • 回答的问题: “如何才能构建一个真正的安全论证?灵感从何而来?”
  • 核心答案:
    核心要素:
    一个合理的论证必须由 “主张”“证据” 组成。
    灵感来源: 模拟“在法庭上为自己辩护”的场景,系统地审视所有安全相关故障的根本原因、对策及验证证据。这本身就是功能安全的精髓,也应是安全案例的核心。

3. 方法论:引入GSN进行结构化论证

  • 回答的问题: “用什么方法来构建这种结构化的论证?”
  • 核心答案: 采用 GSN 来图形化地表示论证结构。它的优点是提高易读性和清晰度。论证从顶层主张(“功能足够安全”)开始,向下分解为针对每个故障场景及其根本原因的子主张。

4. 论证的深度与完整性保障

  • 回答的问题: “如何确保论证没有遗漏?‘足够安全’如何界定?”
  • 核心答案:
    完整性:
    在GSN结构中为“故障列表”、“根本原因列表”等关键节点专门添加 “完整性”声明,并通过审查报告等证据来证明。
    充分性: “足够安全”意味着针对特定故障的功能安全概念已得到全面、正确的实施和验证。证据需追溯到安全分析、规范、实施和验证的全套工作产品。

5. 如何考虑安全措施的相互作用

  • 回答的问题: “除了标准要求,还有什么关键因素需要考虑?”
  • 核心答案: 必须分析已实施的安全措施之间可能存在的有害相互干扰。这是一个超出ISO 26262明确要求但至关重要的环节,需要在流程和GSN论证结构中单独体现。

6. 方法的价值与优势

  • 回答的问题: “这种方法的优点是什么?”
  • 核心答案:
    真正的论证:
    提供逻辑严谨的推理思路,而非简单列表。
    保证完整性: 结构化方式几乎能保证覆盖所有故障场景。
    早期风险识别: 便于在项目早期发现安全漏洞。
    可重用性与模块化: 基于功能的子结构可以在不同项目中复用。
    项目规划友好: 论证结构本身即可在报价阶段开始搭建,指导活动规划。

7. 核心结论:统一安全计划与安全案例

  • 回答的问题: “这个方法如何解决开头提出的安全计划与安全案例分离的问题?”
  • 核心答案: 以此方法构建的安全论证文档,本身就可以取代独立的安全计划。因为论证所需的每一项证据都对应一项已规划的活动,其状态(已完成/待完成)自然构成了项目的安全计划。主播建议将二者合一,称为 “安全完整性文件”

8. 反思与局限,以及在各种不同限制条件下的灵活变通

  • 回答的问题: “这种方法是完美的吗?有什么需要注意的?”
  • 核心答案:
    并非万能:
    GSN和方法本身并非十全十美,也存在反对意见(如Nancy教授)。
    管理维度缺失: 该方法侧重于技术论证,但安全计划中关于资源、进度、预算等项目管理核心要素,在此文档中并未重点覆盖。这部分可能需要作为项目主计划的一部分另行管理。
    核心是方法论而非工具: 强调理解系统工程和安全的本质比单纯使用某个工具(如GSN)更重要。