生命攸关系统

✍ dations ◷ 2025-11-13 22:17:19 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

生命攸关系统(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)(有关稳定病人的生理状态)。

相关

  • 克利福德威廉·金顿·克利福德(William Kingdon Clifford,1845年5月4日-1879年3月3日),英国数学家兼科学哲学家。他和赫尔曼·格拉斯曼发明了现在称为几何代数的范畴。数学物理上的克利福
  • 左肺动脉肺动脉肺部的动脉,是人体内循环系统中肺循环的重要组成部分。与其他动脉不同,肺动脉中运输的是去氧血而非带氧血液。肺动脉携带去氧血由右心室打出,在肺部交换气体后,打入左心房
  • 碳氮氧循环碳氮氧循环(CNO cycle),有时也称为贝斯-魏茨泽克-循环(Bethe-Weizsäcker-cycle),是恒星将氢转换成氦的两种过程之一,另一种过程是质子-质子链反应。在质量像太阳或更小些的恒星中,
  • 意大利战争意大利战争(意大利语:Guerre d'Italia del XVI secolo)又称哈布斯堡-瓦卢瓦战争,是1494年至1559年间一系列战争的总称,战事地包括多数意大利城邦、教宗国、西欧各主要国家(法国、
  • 公司市镇公司市镇(英语:company town),又称公司城镇、公司镇、企业城,是指范围内几乎所有商店和住屋皆由同一间公司所拥有的地区。该公司提供基础建设(住房、商店、运输、卫生下水道和供水
  • 维莱亚努尔·拉马钱德兰维莱亚努尔·苏布拉马尼安·拉马钱德兰(英语:Vilayanur Subramanian Ramachandran,1951年8月10日-),美籍印度裔神经科学家,在行为神经学与视觉心理物理学等领域有杰出贡献。他任教
  • 麦吉尔比尔·麦吉尔 (英语:Bill McGill,1939年9月16日-2014年7月11日),美国篮球运动员。他在1962年NBA选秀中第1轮第1顺位被芝加哥西风选中,现已退役。他与Eric Brach的事迹被写成一本书
  • 加氏犬浣熊加氏犬浣熊(Bassaricyon gabbii)是第一种发现的犬浣熊。它们分布在中美洲及南美洲。
  • 诺贝尔物理学奖得主列表诺贝尔物理学奖是诺贝尔奖的六个奖项之一,由瑞典皇家科学院每年颁发给在物理科学领域做出杰出贡献的科学家。根据阿尔弗雷德·诺贝尔的遗愿,该奖由诺贝尔基金会管理,由瑞典皇家
  • 台中市市区公车台中市市区公车(或称台中市公车)其主管机关为台中市政府交通局所属台中市公共运输处。目前营运路线数共计234条(不含区间车、副线等)。台中市市区公车目前总共由18家业者营运:201