news 2026/4/22 16:34:50

8、安全关键系统中认证与未认证组件的使用

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
8、安全关键系统中认证与未认证组件的使用

安全关键系统中认证与未认证组件的使用

在构建需认证的系统时,常常会涉及到外部组件的集成。这里所说的“集成商”指的是构建系统的团队,“组件供应商”则是组件的来源,其可能是集成商公司内部的其他项目、外部商业供应商,也可能是开源项目。

1. 软件类型术语

IEC 62304 为这类组件提供了一个术语:SOUP,即来源不明的软件。有时“unknown”会被替换为“uncertain”,“provenance”会被替换为“pedigree”,这样一个缩写就有了四种不同的全称。IEC 61508 中与之对应的是“预先存在的软件元素”,而在 ISO 26262 中,它被称为“脱离上下文的安全元素”(SEooC)。

IEC 62304 将 SOUP 定义为以下两种类型:
- 一种是已经开发完成且普遍可用,但并非为集成到医疗设备而开发的软件项目。
- 另一种是先前开发的软件,但没有足够的开发过程记录。

这意味着,任何用于产品的预先存在的组件,无论其开发方式如何以及是否已通过认证,都必须被视为 SOUP。

2. 认证与未认证的 SOUP

在许多情况下,集成商在选择组件时没有认证版本和未认证版本的选择余地,因为组件供应商无法提供认证版本,许多流行的开源产品,如 Linux、Apache 和 MySQL 就是如此。

当组件供应商同时提供认证和未认证版本的组件时,集成商需要考虑两个问题:
- 技术问题:设计在多大程度上依赖该组件来维持功能安全,能否在不显著增加产品成本、验证成本或影响交付日期的前提下,修改设计以减少对该组件的依赖?
- 项目管理问题:如果某个组件对于维持功能安全至关重

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/4/18 2:05:41

9、系统设计中的架构平衡与错误检测处理

系统设计中的架构平衡与错误检测处理 1. 架构平衡概述 在系统设计中,架构平衡是至关重要的。许多系统特性相互制约,架构师需要在满足一个特性的同时,可能会牺牲另一个特性,因此需要有意识地进行权衡,并记录决策的依据。以下是几种常见的架构平衡关系。 2. 可用性与可靠…

作者头像 李华
网站建设 2026/4/18 14:57:23

如何快速配置YimMenu:GTA V游戏防护的完整指南

如何快速配置YimMenu:GTA V游戏防护的完整指南 【免费下载链接】YimMenu YimMenu, a GTA V menu protecting against a wide ranges of the public crashes and improving the overall experience. 项目地址: https://gitcode.com/GitHub_Trending/yi/YimMenu …

作者头像 李华
网站建设 2026/4/20 22:02:41

网盘直链解析工具文章创作指南

网盘直链解析工具文章创作指南 【免费下载链接】Online-disk-direct-link-download-assistant 可以获取网盘文件真实下载地址。基于【网盘直链下载助手】修改(改自6.1.4版本) ,自用,去推广,无需输入“暗号”即可使用&a…

作者头像 李华
网站建设 2026/4/21 4:29:56

19、形式化设计验证与编码准则

形式化设计验证与编码准则 1. Spin 工具概述 Spin 工具可用于检查系统的性质。当运行带有额外 Promela 代码的 Spin 检查器时,能得到相应结果。使用特定术语来说,某些线性时态逻辑(LTL)可用于检查“安全”属性,同时也能生成用于检查“活性”属性的 Promela 代码。例如,…

作者头像 李华
网站建设 2026/4/20 9:38:34

21、安全关键系统的代码覆盖与静态分析

安全关键系统的代码覆盖与静态分析 代码覆盖指标 代码覆盖测量的挑战 在安全关键系统的嵌入式软件开发中,代码覆盖的测量存在诸多困难。一方面,语句和分支覆盖难以准确衡量。例如,一组测试可能在C源程序中实现了100%的分支覆盖,但在生成的汇编代码中,分支覆盖可能仅为40…

作者头像 李华
网站建设 2026/4/16 12:53:21

科学图表数据提取的技术挑战与解决方案

科学图表数据提取的技术挑战与解决方案 【免费下载链接】WebPlotDigitizer Computer vision assisted tool to extract numerical data from plot images. 项目地址: https://gitcode.com/gh_mirrors/web/WebPlotDigitizer 在科学研究过程中,图表数据提取是数…

作者头像 李华