生命攸关系统

✍ dations ◷ 2025-12-04 11:54:02 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

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

相关

  • 虹膜虹膜又称黄仁,眼睛构造的一部分,虹膜中心有一圆形开口,称为瞳孔,犹如相机当中可调整大小的光圈,内含色素决定眼睛的颜色。日间光线较为强烈时,瞳孔会变小,只使一小束光线穿透瞳孔,进
  • 粘膜相关淋巴组织黏膜相关淋巴组织(Mucosa-associated lymphoid tissue,简称MALT),位于消化道、呼吸道、泌尿生殖道等人体各种黏膜组织中,由黏膜表皮细胞下方的淋巴小结以及表皮细胞之间的微皱褶
  • 回盲瓣回盲瓣(Ileocecal valve)是分隔大肠和小肠的括约肌。主要功能是避免大肠内的物质回流进回肠。每天约有二升的流体会经过回盲瓣进入大肠。
  • 西蒙·维森塔尔纳粹集中营转移营比利时:布伦东克堡垒 · 梅赫伦转移营法国:居尔集中营 · 德朗西集中营意大利:波尔查诺转移营荷兰:阿默斯福特集中营 · 韦斯特博克转移营挪威:法斯塔德集中营部
  • 卡斯库拉语नेपाली尼泊尔 印度尼泊尔语属印度-雅利安语支,在尼泊尔、不丹、印度和缅甸的一些地区使用。是尼泊尔的官方语言。大概一半的尼泊尔人使用尼泊尔语作为其母语,其他尼泊
  • 重晶石重晶石(英文:Barite或Baryte),主要成分为硫酸钡(BaSO4),颜色从白色至透明,同时也是钡的主要来源之一。而在重晶石矿物群(英语:baryte group)主要由重金石、天青石、硫酸铅矿(英语:Anglesi
  • 康泰康泰(法语:Canté)是法国阿列日省的一个市镇,位于该省北部,属于帕米耶区。该市镇的总面积为9.8平方公里,2009年时的人口为205人。康泰人口变化图示:数据来源:INSEE
  • 希腊国债危机希腊国债危机,又称希腊债务危机,是现时欧洲主权债务危机之一。自2009年末开始,因为希腊国债水平增长强劲,投资者纷纷关注希腊偿还债务的能力,主权债务危机的恐惧正逐渐酝酿。由债
  • 沃特福德 (芒斯特省)沃特福德 (英语:Waterford、爱尔兰语:Port Láirge;古诺斯语:“公羊峡湾”或“大风的峡湾”;爱尔兰语:Port Láirge“多山的海岸”)是爱尔兰东南部的一座城市。位于舒尔河下游。2006
  • 原始佛教研究原始佛教(英语:original Buddhism,primitive Buddhism),佛教研究术语,指的是释迦牟尼开始说法,建立僧团,一直到部派佛教形成之前这段历史,这个术语最早为日本佛教学界使用。现代佛教