news 2026/6/5 4:01:16

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/6/4 14:08:52

18、形式化设计验证:原理、工具与应用

形式化设计验证:原理、工具与应用 1. 形式化方法概述 形式化方法应成为每位计算机科学家和软件工程师教育的一部分,如同应用数学的相关分支是其他工程师教育的必要组成部分。形式化方法为我们的领域提供了智力基础,能塑造我们的思维,引导我们以富有成效的方式解决问题。它…

作者头像 李华
网站建设 2026/5/30 13:33:22

Figma中文界面一键切换:设计师的语言障碍终极解决方案

Figma中文界面一键切换:设计师的语言障碍终极解决方案 【免费下载链接】figmaCN 中文 Figma 插件,设计师人工翻译校验 项目地址: https://gitcode.com/gh_mirrors/fi/figmaCN 还在为Figma的英文界面而头疼吗?🤔 每次看到&q…

作者头像 李华
网站建设 2026/5/31 7:47:54

终极指南:使用d3dxSkinManage一键修复所有MOD贴图异常

终极指南:使用d3dxSkinManage一键修复所有MOD贴图异常 【免费下载链接】d3dxSkinManage 3dmigoto skin mods manage tool 项目地址: https://gitcode.com/gh_mirrors/d3/d3dxSkinManage d3dxSkinManage是一款专业的3dmigoto皮肤MOD管理工具,能够彻…

作者头像 李华
网站建设 2026/5/31 16:59:31

YimMenu终极指南:快速掌握GTA5模组强大功能

想要在GTA5中解锁无限可能?YimMenu作为功能全面的游戏模组工具,能够为你的游戏体验带来革命性改变。本文将从零开始,带你快速上手这款强大的模组神器。 【免费下载链接】YimMenu YimMenu, a GTA V menu protecting against a wide ranges of …

作者头像 李华
网站建设 2026/5/28 16:15:08

零基础学习LED驱动电路:超详细版设计指南

零基础也能搞懂LED驱动电路:从原理到实战的完整设计指南你有没有想过,为什么一个小小的LED灯珠不能像白炽灯一样直接插上电源就亮?明明电压够了,灯却要么烧掉,要么忽明忽暗?这背后的关键,就是LE…

作者头像 李华
网站建设 2026/5/30 0:41:48

3个步骤掌握ExifToolGui:可视化元数据管理的终极指南

3个步骤掌握ExifToolGui:可视化元数据管理的终极指南 【免费下载链接】ExifToolGui A GUI for ExifTool 项目地址: https://gitcode.com/gh_mirrors/ex/ExifToolGui 当我们面对成百上千张照片时,手动管理元数据就像大海捞针一样困难。别担心&…

作者头像 李华