生命攸关系统

✍ dations ◷ 2025-02-23 20:25:21 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

生命攸关系统(life-critical system)或安全攸关系统(safety-critical system)也称为生命关键系统或安全关键系统,是指若系统失效或误动作,会产生以下后果的系统:

这类的风险一般会配合安全工程的工具进行管理。生命攸关系统一般会设计在失效率小于10-9 1/h的条件下。常用的设计工具包括概率风险评估(英语:Probabilistic Risk Assessment),是一种结合失效模式与影响分析(FMEA)及故障树分析的技术。越来越多的安全攸关系统是基于电脑的系统。

在生命攸关系统中,有以下几种可靠度的作法:

生命攸关系统的软件工程格外困难,有三个层面的考量会对生命攸关系统的软件工程有帮助。首先是流程的工程及管理,再来是为此系统选择适当的工具及开发环境,这可以让系统开发者可以利用仿真的方式有效地测试系统,观察其是否有效果。第三,需解决所有法律及法规上的要求,像是飞行系统需要处理的美国联邦航空总署(FAA)要求。若有设定在系统开发时需要符合的标准,也就强制了设计者需依循相关要求进行开发。航空电子产业已成功提出了制作生命攸关航空电子软件的标准方法,即DO-178B(英语:DO-178B)。汽车业的ISO 26262、医疗产品的IEC 62304及核能的IEC 61513也是类似的法规。这些标准作法目的是要小心地编程、检视、测试、验证及分析系统,并书写说明文件。另一种作法是验证一产品系统、编译器,再依规格产生系统的代码。还有一种方式是用形式方法,用数学证明来证明代码符合要求。这些方法都可以提升生命攸关系统的软件品质,方式可能是透过测试,或是减少开发程序中的人工步骤,因为人可能会出错,这也是最常见的生命攸关系统潜在错误的原因。

其技术要求可能超过避免失效的程度,甚至可能包括建立医疗照护(有关病人的医疗)及生命维持(英语:life support)(有关稳定病人的生理状态)。

相关

  • 库希特语族库希特语族(Cushitic)又称作古实语族,是亚非语系(闪含语系)之下的语族之一,分布在埃塞俄比亚、苏丹、索马里、肯尼亚和坦桑尼亚。可以细分为约四个语支:“库希特”这名字源自《圣经
  • 化学键化学键(英语:Chemical Bond)是一种粒子间的结合模式,其中粒子可以是原子或离子。透过化学键,粒子可组成多原子的化学物质。键由两相反电荷间的电磁力引起,电荷可能来自电子和原子
  • 均四甲苯均四甲苯,即1,2,4,5-四甲苯,是一种有机化合物,化学式为C6H2(CH3)4。它是带有甜气味的无色固体。它是四甲苯的三种同分异构体之一,其余两种为1,2,3,4-四甲苯(熔点−6.2 °C)和1,2,
  • 波坦察波坦察(意大利语:Potenza)是意大利南部的一个镇,也是巴西利卡塔大区和波坦察省的首府。波坦察坐落在俯看巴森托河河谷的亚平宁山脉中,是意大利海拔最高的大区首府和省首府。
  • 毛细现象毛细现象(又称毛细管作用)是指液体在细管状物体内侧,由液体与物体之间的附着力和因内聚力而产生的表面张力组合而成,令液体在不需施加外力的情况下,流向细管状物体的现象,该现象甚
  • 台北市友好城市或姐妹城市列表
  • 莲花效应莲花效应(lotus effect),也称作荷叶效应,是指莲叶表面具有超疏水性以及自洁(self-cleaning)的特性。在东方文化里,莲花是纯净的象征。虽然,莲花喜欢生长在泥泞的湿地,但其叶子和花仍
  • 航空公司这是马来西亚航空公司列表。
  • 怀化南站怀化南站,是沪昆客运专线及怀衡铁路的一个火车站,位于中国湖南省怀化市鹤城区市区湖天大道,已于2014年12月16日投入运营。怀化南站每天停靠列车次数共48次,其中始发车19次。截至
  • 体育游戏体育类游戏或称运动类游戏,是一种让玩家模拟参与专业的体育运动项目的电视游戏或电脑游戏。该游戏类别的内容多数以较为人认识的体育赛事(例:NBA,世界杯足球赛)为蓝本。多数受欢