生命攸关系统

✍ dations ◷ 2025-08-10 21:40:31 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

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

相关

  • 梅里菲尔德罗伯特·布鲁斯·梅里菲尔德(英语:Robert Bruce Merrifield,1921年7月15日-2006年5月14日),美国生物化学家,1984年诺贝尔化学奖获得者,最主要的贡献是发明了固相接肽技术。1901年:范
  • 吉格梅·辛格·旺楚克吉格梅·辛格·旺楚克(宗喀语:.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen Sarchung","Qomolangma-Uchen Su
  • 电弱时期电弱时期是宇宙早期演化中的时期,在物理宇宙学中宇宙的温度不够高到能让电磁和弱交互作用合并成单一的电弱交互作用( > 100 GeV)。电弱时期大约开始于大爆炸之后的10-36秒 ,当
  • 迪肯贝·穆汤波迪肯贝·穆托姆博·穆坡伦多·穆坎巴·让·雅克斯·瓦穆托姆博(英语:Dikembe Mutombo Mpolondo Mukamba Jean-Jacques Wamutombo,1966年6月25日-),生于扎伊尔的首都金沙萨,拥有美国
  • 莫里森托妮·莫里森(英语:Toni Morrison,1931年2月18日-2019年8月5日)美国非洲裔女性作家,是世界文学最重要的作家之一,以其选集于1993年获诺贝尔文学奖。她是美国非洲文学的重要作者。她
  • 达哈努बाप तहसील घंटियाली 城镇达哈努(Dahanu),是印度马哈拉施特拉邦帕尔加尔县的一个城镇。总人口44393(2001年)。该地2001年总人口44393人,其中男性22926人,女性21467
  • 丁柳元丁柳元(1977年4月21日-),早期艺名柳渊,中国女演员和导演,现任解放军文化艺术中心影视部-导演队副队长。兼任中国电视艺术家协会理事。2016年以海棠依旧得到解放军金星奖最佳女演员
  • 翟墨翟墨(1968年-山东泰安人,是一位中国航海家,被媒体誉为“中国无动力帆船单人环球航海第一人”,因自驾帆船完成环球航海而成为感动中国2009年年度人物之一。2013年7月30日,翟墨驾驶
  • 热带肉芽肿热带肉芽肿(Yaws)也称为雅司病,是发生在皮肤、骨骼及关节的热带感染病,病原是螺旋体门的细菌梅毒螺旋体(英语:Treponema pallidum)。热带肉芽肿一开始会在皮肤产生圆形的硬肿,直径约
  • 高效率视频编码的层级与等级高效率视频编码的层级与等级是指在高效率视频编码(HEVC/H.265)标准中,为了应对不同应用的需求,因此制定了“层级”(tier)注:目前没有公定译名与“等级”(level)注:目前没有公定译名将