news 2026/5/10 0:13:51

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/5/5 11:34:09

2025网盘下载加速神器:直链解析工具完整使用指南

2025网盘下载加速神器:直链解析工具完整使用指南 【免费下载链接】Online-disk-direct-link-download-assistant 可以获取网盘文件真实下载地址。基于【网盘直链下载助手】修改(改自6.1.4版本) ,自用,去推广&#xff0…

作者头像 李华
网站建设 2026/5/2 16:16:52

pywencai终极指南:Python量化投资的数据革命

还在为获取同花顺问财数据而烦恼吗?每次都要手动复制粘贴,数据格式还乱七八糟?今天,让我带你体验一场数据获取的革命,用pywencai这个开源工具彻底改变你的量化研究方式。 【免费下载链接】pywencai 获取同花顺问财数据…

作者头像 李华
网站建设 2026/5/6 2:21:53

终极指南:3步完成ReTerraForged地形模组编译安装

终极指南:3步完成ReTerraForged地形模组编译安装 【免费下载链接】ReTerraForged a 1.19 port of https://github.com/TerraForged/TerraForged 项目地址: https://gitcode.com/gh_mirrors/re/ReTerraForged 想要在Minecraft中体验更加真实多样的地形生成效果…

作者头像 李华
网站建设 2026/5/1 20:19:30

鸣潮性能优化完全指南:WaveTools高效配置方案

鸣潮性能优化完全指南:WaveTools高效配置方案 【免费下载链接】WaveTools 🧰鸣潮工具箱 项目地址: https://gitcode.com/gh_mirrors/wa/WaveTools 还在为鸣潮游戏画面卡顿而困扰吗?想要获得流畅丝滑的游戏体验却总是配置失败&#xff…

作者头像 李华
网站建设 2026/5/9 23:42:09

终极指南:SteamAchievementManager成就管理全解析

终极指南:SteamAchievementManager成就管理全解析 【免费下载链接】SteamAchievementManager A manager for game achievements in Steam. 项目地址: https://gitcode.com/gh_mirrors/st/SteamAchievementManager SteamAchievementManager(简称SA…

作者头像 李华
网站建设 2026/4/25 4:30:28

Keil5代码自动补全设置从零实现(配合STM32芯片)

如何让Keil5“聪明”起来?手把手配置STM32代码自动补全,告别手敲API你有没有过这样的经历:写HAL_GPIO_Init()时,记不清第二个参数是指针还是结构体;想查SPI_FIRSTBIT_MSB怎么拼,只能切出去翻手册&#xff1…

作者头像 李华