安全关键型嵌入式系统设计模式整理及应用实例

在这里插入图片描述

本文提供了对安全关键型嵌入式系统设计模式的全面概述,这些模式旨在提高系统在面临潜在故障时的安全性和可靠性。文中详细介绍了15种设计模式,包括同质冗余(HmD)、异质冗余(HtD)、三模冗余(TMR)、M-N冗余(M-oo-N)、监控-执行器(MA)、理智检查(SC)、看门狗(WD)、安全执行(SE)、N版本编程(NVP)、恢复块(RB)、接受投票(AV)、N自检查编程(NSCP)、恢复块与备份投票(RBBV)、保护单通道(PSC)和三级安全监控(3-LSM)。每种模式都详细说明了其概念、结构、应用背景以及具体实施方式,并通过实际应用实例来展示其在实际系统中的应用。这些模式覆盖了从硬件冗余到软件多样性的不同策略,以及如何通过这些策略来处理随机和系统故障,确保系统在故障发生时能够安全地继续运行或转换到安全状态。

  1. Homogeneous Duplex Pattern (HmD)

    • 说明:此模式通过使用两个相同的模块(主模块和备用模块)来处理随机故障。正常操作时,主模块工作,备用模块处于待命状态。当主模块发生故障时,系统会自动切换到备用模块。
    • 例子:在汽车的刹车系统中,可以使用HmD模式,其中两个相同的刹车系统模块可以确保在主刹车系统发生故障时,备用系统能够立即接管,保证车辆安全。
  2. Heterogeneous Duplex Pattern (HtD)

    • 说明:与HmD类似,但HtD使用两个设计和实现不同的模块来处理随机和系统故障,增加了对系统故障的容忍度。
    • 例子:在飞机的导航系统中,可以使用HtD模式,其中两个不同的导航系统(例如,一个基于GPS,另一个基于惯性导航系统)可以确保即使一个系统发生故障,另一个系统仍然可以提供导航服务。
  3. Triple Modular Redundancy Pattern (TMR)

    • 说明:此模式使用三个相同的模块并行运行,通过投票系统来确定正确的输出,即使其中一个模块发生故障,系统仍能继续工作。
    • 例子:在核电站的控制系统中,TMR模式可以用于关键的安全系统,如温度监控,三个独立的传感器模块可以确保在任何单一故障情况下系统的可靠性。
  4. M-Out-Of-N Pattern (M-oo-N)

    • 说明:此模式包含N个相同的模块,但只需要M个模块正常工作即可保证系统运行,适用于需要不同级别冗余的情况。
    • 例子:在卫星通信系统中,可以使用M-oo-N模式,其中多个相同的通信模块可以确保即使部分模块失效,仍然有足够的模块保持通信连接。
  5. Monitor-Actuator Pattern (MA)

    • 说明:此模式包含一个执行动作的主通道和一个监控通道,监控通道用于检测主通道的故障并将其置于安全状态。
    • 例子:在工业机器人的控制系统中,MA模式可以用于确保机器人的手臂在检测到异常运动时停止,以防止对人员或设备造成伤害。
  6. Sanity Check Pattern (SC)

    • 说明:此模式通过一个简单的监控通道来检查主通道的输出是否在预期范围内,以确保基本的正确性。
    • 例子:在家庭安全系统中,SC模式可以用于检查烟雾探测器的输出是否在正常范围内,以避免误报。
  7. Watchdog Pattern (WD)

    • 说明:此模式使用一个看门狗计时器来监控系统的行为,如果系统未能在预定时间内响应,看门狗将重置系统。
    • 例子:在嵌入式系统中,WD模式可以用于确保操作系统在预定的时间内执行任务,防止系统挂起。
  8. Safety Executive Pattern (SE)

    • 说明:此模式适用于复杂和高度安全关键的系统,它结合了看门狗和一个额外的安全执行组件,用于在检测到故障时迅速关闭系统。
    • 例子:在化工工厂的控制系统中,SE模式可以用于确保在检测到潜在的化学泄漏时,迅速关闭相关的生产流程。
  9. N-Version Programming Pattern (NVP)

    • 说明:此模式通过独立生成N个功能等价的软件模块来提高软件的可靠性和安全性。
    • 例子:在航空电子系统中,NVP模式可以用于飞行控制软件的开发,通过多个独立的团队开发不同的软件版本,并通过投票系统确定最终的控制信号。
  10. Recovery Block Pattern (RB)

    • 说明:此模式通过执行多个独立的软件版本,并在每个版本后进行接受测试来检测和恢复错误。
    • 例子:在金融交易系统中,RB模式可以用于确保交易的正确性,通过多个版本的交易处理软件并行运行,并使用接受测试来验证结果。
  11. Acceptance Voting Pattern (AV)

    • 说明:此模式结合了N版本编程和接受测试,通过投票算法来确定最终的正确输出。
    • 例子:在医疗设备中,如心率监测器,AV模式可以用于确保心率读数的准确性,通过多个版本的监测软件并行运行,并使用投票系统来确定最终的心率值。
  12. N-Self Checking Programming Pattern (NSCP)

    • 说明:此模式通过添加冗余来实现自我检查,以提高软件的可靠性。
    • 例子:在汽车的ABS系统中,NSCP模式可以用于确保制动压力的正确计算,通过多个版本的计算软件并行运行,并进行自我检查。
  13. Recovery Block with Backup Voting Pattern (RBBV)

    • 说明:此模式结合了恢复块和N版本编程的思想,通过备份投票来提高恢复块方法的可靠性。
    • 例子:在电力供应系统中,RBBV模式可以用于确保在主供电系统发生故障时,备用供电系统能够正确地接管。
  14. Protected Single Channel Pattern (PSC)

    • 说明:此模式通过在单个通道中添加检查和监控来提高系统的安全性和可靠性。
    • 例子:在铁路信号系统中,PSC模式可以用于确保信号的正确性,通过在信号传输过程中添加监控和验证机制。
  15. 3-Level Safety Monitoring Pattern (3-LSM)

    • 说明:此模式结合了监控-执行器模式和看门狗模式,用于需要连续安全监控的系统。
    • 例子:在电梯控制系统中,3-LSM模式可以用于确保电梯的安全运行,通过三个级别的监控来检测和响应任何异常情况。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/465181.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

京东零售推荐系统可解释能力详解

作者:智能平台 张颖 本文导读 本文将介绍可解释能力在京东零售推荐系统中的应用实践。主要内容包括以下几大部分:推荐系统可解释定义、系统架构、排序可解释、模型可解释、流量可解释。 推荐系统可解释定义 推荐系统可解释的核心包括三部分&#xff0…

java项目之校园周边美食探索及分享平台(springboot)

风定落花生,歌声逐流水,大家好我是风歌,混迹在java圈的辛苦码农。今天要和大家聊的是一款基于springboot的校园周边美食探索及分享平台。项目源码以及部署相关请联系风歌,文末附上联系信息 。 项目简介: 校园周边美食…

stack和queue --->容器适配器

不支持迭代器&#xff0c;迭代器无法满足他们的性质 边出边判断 实现 #define _CRT_SECURE_NO_WARNINGS 1 #include<iostream> #include<stack> #include<queue> using namespace std; int main() {stack<int> st;st.push(1);st.push(2);st.push(3);…

vue3动态监听div高度案例

案例场景 场景描述&#xff1a;现在左边的线条长度需要根据右边盒子的高度进行动态变化 实践代码案例 HTML部分 <div v-for"(device, index) in devices" :key"index"><!-- 动态设置 .left-bar 的高度 --><div class"left-bar"…

华为OD机试真题(Python/JS/C/C++)- 考点 - 细节

华为OD机试 2024E卷题库疯狂收录中&#xff0c;刷题 点这里。 本专栏收录于《华为OD机试真题&#xff08;Python/JS/C/C&#xff09;》。

Spring源码学习(五):Spring AOP

免责声明 本人还处于学习阶段&#xff0c;如果内容有错误麻烦指出&#xff0c;敬请见谅&#xff01;&#xff01;&#xff01;Demo <dependency><groupId>org.aspectj</groupId><artifactId>aspectjweaver</artifactId><version>1.8.8<…

vue 使用docx-preview 预览替换文档内的特定变量

在开发合同管理中&#xff0c;需要使用到此功能&#xff0c;就是替换合同模板内的一些字符串&#xff0c;如&#xff1a;甲乙方名称&#xff0c;金额日期等&#xff0c;合同内容不变。效果如下&#xff1a; 使用docx-preview 好处是只预览不可编辑内容。 前端vue import { re…

若依项目搭建

若依的大版本 基本环境搭建 搭建注意点

(11)(2.1.6) Hobbywing DroneCAN ESC(二)

文章目录 前言 2 配置ESC 3 测试 4 设置视频 5 参数说明 前言 具有 CAN 接口&#xff08;including these&#xff09;的业余 ESC 支持 DroneCAN&#xff0c;它允许自动驾驶仪通过 CAN 控制 ESC /电机&#xff0c;并检索单个转速、电压、电流和温度。 2 配置ESC 默认情…

JVM结构图

JVM&#xff08;Java虚拟机&#xff09;是Java编程语言的核心组件之一&#xff0c;负责将Java字节码翻译成机器码并执行。JVM由多个子系统组成&#xff0c;包括类加载子系统、运行时数据区、执行引擎、Java本地接口和本地方法库。 类加载子系统&#xff08;Class Loading Subsy…

【智能算法改进】混沌映射策略--一网打尽

摘要 本文研究了多种混沌映射策略在智能算法中的改进效果&#xff0c;提出了一种综合不同混沌映射策略的多元混合方法&#xff0c;以提高算法的全局优化能力和收敛速度。通过引入不同的混沌映射&#xff08;如 Logistic、Tent、Sine 等&#xff09;生成初始种群分布&#xff0…

QML —— QML调用C++两种方法(附完整测试源码)

代码效果 说明 QML 其实是对JavaScript 的扩展,融合了Qt Object 系统,它是一种新的解释型的语言, QML 引擎虽然由Qt C++ 实现,但QML 对象的运行环境,说到底和C++ 对象的上下文环境是不同的,是平行的两个世界。如果你想在QML 中访问C++ 对象,那么必然要找到一种途径来在两…

剧本杀小程序,市场发展下的新机遇

剧本杀作为休闲娱乐的一种游戏方式&#xff0c;在短时间内进入了大众视野中&#xff0c;受到了广泛关注。近几年&#xff0c;剧本杀行业面临着创新挑战&#xff0c;商家需求寻求新的发展机遇&#xff0c;在市场饱和度下降的趋势下&#xff0c;获得市场份额。 随着科技的不断进…

mysql error:1449权限问题 及 用户授权

一、权限问题 Got error: 1449: The user specified as a definer (skip-grants userskip-grants host) does not exist when using LOCK TABLES 在迁移数据库时&#xff0c;定义的definer&#xff0c;在两个数据库之间不同步时&#xff0c;要将不存在的definer改成数据库中已…

Spark 的Standalone集群环境安装与测试

目录 一、Standalone 集群环境安装 &#xff08;一&#xff09;理解 Standalone 集群架构 &#xff08;二&#xff09;Standalone 集群部署 二、打开监控界面 &#xff08;一&#xff09;master监控界面 &#xff08;二&#xff09;日志服务监控界面 三、集群的测试 &a…

基于SpringBoot+Vue实现新零售商城系统

作者主页&#xff1a;编程千纸鹤 作者简介&#xff1a;Java领域优质创作者、CSDN博客专家 、CSDN内容合伙人、掘金特邀作者、阿里云博客专家、51CTO特邀作者、多年架构师设计经验、多年校企合作经验&#xff0c;被多个学校常年聘为校外企业导师&#xff0c;指导学生毕业设计并参…

SAP RFC 用户安全授权

一、SAP 通讯用户 对于RFC接口的用户&#xff0c;使用五种用户类型之一的“通讯”类型&#xff0c;这种类型的用户没有登陆SAPGUI的权限。 二、对调用的RFC授权 在通讯用户内部&#xff0c;权限对象&#xff1a;S_RFC中&#xff0c;限制进一步可以调用的RFC函数授权&#xff…

【Java Web】搭建Web环境以及初识JSP Tomcat

文章目录 程序架构Web服务器TomcatJSP概述主要特点基本语法综合示例程序调试和排错 代码示例 程序架构 C/S&#xff08;Client/Server&#xff0c;客户端/服务器&#xff09;和 B/S&#xff08;Browser/Server&#xff0c;浏览器/服务器&#xff09;是两种常见的软件系统架构模…

如何建购物网站提升用户体验

在构建一个购物网站时&#xff0c;用户体验是至关重要的&#xff0c;它直接影响到顾客的满意度和转化率。为了提升用户体验&#xff0c;可以从以下几个方面入手。 首先&#xff0c;网站设计应简洁明了。确保导航栏清晰易懂&#xff0c;让用户在寻找商品时不会迷失。此外&#x…

qt QTableView详解

1、概述 QTableView 是 Qt 框架中的一个高级视图类&#xff0c;用于以表格形式展示二维数据。它基于 QAbstractItemView&#xff0c;并与模型&#xff08;通常是 QAbstractTableModel 或 QStandardItemModel&#xff09;结合使用&#xff0c;以实现数据的展示和交互。QTableVi…