生命攸关系统

✍ dations ◷ 2025-05-12 07:44:32 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

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

相关

  • 头皮头皮(英文:Scalp)是指头颅上方及后方,从皮肤一直到骨膜的部分,位在脸部的后方及两侧,颈部上方的区域。头皮通常分为五层,而五层的首字母恰好是头皮的英文SCALP,以方便记忆。头皮的
  • 酶类酶(英语:Enzyme(/ˈɛnzaɪm/ )),是一类大分子生物催化剂。酶能加快化学反应的速度(即具有催化作用)。由酶催化的反应中,反应物称为底物,生成的物质称为产物。几乎所有细胞内的代谢过
  • 简单重复序列微卫星(英语:Microsatellite,亦称为简单重复序列(英语:Simple Sequence Repeats,SSRs)或短串联重复序列(英语:short tandem repeats,STRs))是多型性的一种类型。指两个或多个核苷酸重复
  • 马里亚纳板块隐没带 Alps 造山带 30→ 相对于非洲板块的移动速度(mm/Y)马里亚纳板块(Mariana Plate)是马里亚纳海沟以西的小型板块,形成马里亚纳群岛的底座,与西面的菲律宾板块以分离板块边缘
  • 厚壳蛤加夫蛤属(学名:Gafrarium),又名纵帘蛤属:111或厚壳蛤属,是帘蛤目帘蛤科的一个属。 本属的名称在1798年由彼得·弗里德里希·罗丁(Peter Friedrich Röding)首次发布,他对约阿希姆·
  • 海南话海南话(海南白话字:Hái-nâm-oe),亦称海南语(Hái-nâm-jî),又称琼文话、琼语、东语、海南闽语、客话或琼州话:1,是汉藏语系汉语族闽语支的一种语言,也是汉族海南民系的母语,主要分
  • span class=nowrapAgReOsub4/sub/span高铼酸银是一种无机化合物,化学式AgReO4。这种化合物与白钨矿(CaWO4)同构。高铼酸银与三甲基氯硅烷反应生成“硅酯”—— (CH3)3SiOReO3。
  • 台湾省城儒考棚台湾府儒考棚(又称台湾省城儒考棚)原为清光绪十七年新建省会台湾府小北门街内建筑群之一,俗称“考棚”,为台湾仅存的考棚建物以及现存少有的清朝官署建筑,尺度、工法及用材均极为
  • 斛(拼音:hú,注音:ㄏㄨˊ,音同“胡”)是古代容积单位。唐朝之前,斛为民间对石的俗称,1斛=1石,1石=10斗。汉朝许慎的《说文解字》:“斛,十斗也。”从宋朝开始,改为1斛 = 5斗(今制十斗为一
  • 同轴电缆同轴电缆(Coaxial cable)是一种电线及信号传输线,一般是由四层物料造成:最内里是一条导电铜线,线的外面有一层塑胶(作绝缘体、电介质之用)围拢,绝缘体外面又有一层薄的网状导电体(一