news 2026/4/15 18:32:57

11、安全关键系统的意外处理与架构策略

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
11、安全关键系统的意外处理与架构策略

安全关键系统的意外处理与架构策略

1. 设计安全状态与危险故障

在安全关键系统中,设计安全状态是处理意外情况的重要手段。当系统遇到意外状况时,应恢复到设计安全状态,此时需要精确定义该状态,以供集成商考虑。

设计安全状态的目的是为设计者提供应对意外条件的方法。一个常见问题是,进入设计安全状态是否构成危险故障,是否应在计算IEC 61508的安全完整性等级(SIL)故障率时予以考虑。例如,要达到SIL 3的要求,需证明危险故障率低于每小时 $10^{-7}$ 次故障。若一个系统设计不佳,平均每1000小时就遇到一次意外情况,但总能检测到并进入设计安全状态,那么该系统能否被认为满足SIL 3的要求呢?这涉及到实用性与安全性的平衡。

从定义上讲,进入设计安全状态几乎不算是危险故障,但在IEC 61508计算中,应尽可能将其纳入考虑,因为即便大型系统应设计为能处理组件进入设计安全状态的情况,但这种转变总会给大型系统带来压力,使其更接近危险状态。

2. 恢复策略

2.1 恢复技术

当出现意外情况时,有两种可能的行动:尝试恢复,例如使用恢复块;或直接进入设计安全状态。基于软件的恢复通常采用执行“恢复树”脚本的形式,示例如下:

If process X reports that it has met an unexpected situation, then kill processes X, Y, and Z. Then restart Z, wait 200ms, restart Y, wait until flag A has been
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/4/4 19:04:47

QQ空间数据备份神器:永久珍藏青春记忆的完整方案

还记得那些年在QQ空间里留下的青春印记吗?从第一条青涩的说说,到与好友的温馨互动,这些数字化的记忆承载着我们最真实的情感。随着时间流逝,你是否也曾担心这些宝贵的回忆会悄然消失?现在,一款强大的QQ空间…

作者头像 李华
网站建设 2026/4/12 1:35:15

风之舞谱:3D气象可视化魔法书

风之舞谱:3D气象可视化魔法书 【免费下载链接】cesium-wind wind layer of cesium 项目地址: https://gitcode.com/gh_mirrors/ce/cesium-wind 在地球的舞台上,风是永不谢幕的舞者。你是否曾想象过,能够亲眼目睹大气层中那场永不停歇的…

作者头像 李华
网站建设 2026/4/12 2:40:03

BetterNCM插件终极指南:彻底释放网易云音乐隐藏潜能

BetterNCM插件终极指南:彻底释放网易云音乐隐藏潜能 【免费下载链接】BetterNCM-Installer 一键安装 Better 系软件 项目地址: https://gitcode.com/gh_mirrors/be/BetterNCM-Installer 还在忍受功能单一的网易云音乐吗?你的音乐播放体验即将迎来…

作者头像 李华
网站建设 2026/4/15 3:42:59

体制内笔杆子的三个办公工具推荐!

2025年了还有人不用AI来提效吗? 如果你还没用上智能AI工具,真的不知道比别人少摸鱼多少时间。今天介绍四个非常适合用于体制内笔杆子、职场牛马的办公提效的AI工具,覆盖大大小小的办公使用场景了!以后工作摸鱼再也不用提心吊胆了&…

作者头像 李华
网站建设 2026/4/10 13:11:31

16、Docker 容器镜像构建与管理全解析

Docker 容器镜像构建与管理全解析 1. Docker 隔离特性与安全实践 在使用 Docker 时,我们可以像推送软件一样推送网络栈的更改。例如,将带有配置的镜像推送到主机,并使用特权容器进行更改。由于我们是所推送配置的作者,且容器不是长期运行的,这类更改也易于审计,所以风险…

作者头像 李华
网站建设 2026/4/3 14:13:12

33、Docker Swarm集群服务编排:任务约束与全局服务部署

Docker Swarm集群服务编排:任务约束与全局服务部署 1. 任务运行约束 在集群中,我们常常需要控制应用程序在哪些节点上运行。这可能是为了将工作负载隔离到不同的环境或安全区域,利用特殊的机器功能(如GPU),或者为关键功能预留一组节点。Docker服务提供了一种名为“放置…

作者头像 李华