生命攸关系统

✍ dations ◷ 2025-09-08 02:01:06 #电脑系统,控制工程,工程故障,形式方法,安全,安全工程,软件质量,系统工程

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

相关

  • 生物反馈生物反馈(英语:Biofeedback)是指通过一些仪器来测量生理指标,借此更加了解人们心智想法的运作并且改善他们的一系列方法。例如脑电波、皮肤电传导率(英语:Electrodermal activity)
  • 雅克萨之战雅克萨战役,是17世纪中后期清朝和俄国之间因边境冲突而爆发的一场战争,俄方及西方称之为俄清边境冲突(俄文:Русско-цинский пограничный конфли
  • Nsub2/subHspan style=line-height:1.2em;text-indent:0em;display:inline-bloc肼基钠是一种无机化合物,化学式为NaHNNH2。肼基钠可由氨基钠和无水肼在乙醚或液氨中反应得到。或由氢化钠和肼在四氢呋喃中反应得到。钠和肼的反应除了生成肼基钠外,还有和氨
  • 鼩负鼠目 Paucituberculata鼩负鼠属(Caenolestes)  秘鲁鼩负鼠属(Lestoros)  智利袋鼠属(Rhyncholestes)鼩负鼠目,学名Caenolestidae,为哺乳纲的一个目,只有鼩负鼠科一科,包括鼩负鼠属、秘鲁鼩负鼠属、
  • 古尔德带古尔德带是横跨3,000光年直径,由恒星组成的星环的一部分,包含许多O型和B型的OB星恒星,从银河盘面翘起16至20°。古尔德带被怀疑是包含太阳在内的螺旋臂,太阳距离旋臂中心约325光
  • SARS相关冠状病毒严重急性呼吸道综合征相关冠状病毒(英语:Severe acute respiratory syndrome-related coronavirus),简称SARS相关冠状病毒(SARSr-CoV),是冠状病毒科乙型冠状病毒属的一个种。 该种
  • 槟榔屿槟榔屿为中华民国福建省金门县的岛屿。槟榔屿位于烈屿与厦门岛思明区之间,东经118°11',北纬24°26'。面积2.08万平方米(约2公顷),高程34.3米。西南与烟屿相邻,距金门县烈屿乡2.3
  • 吉马拉斯省吉马拉斯省(英语:Guimaras),是一个位于菲律宾的省份。首府为乔丹市。 该省在公元1992年以前是属于伊洛伊洛省的范围,后来就从该省(伊洛伊洛省)独立成一个省份。
  • 国风国风,构成《诗经》的三大部分“风”、“雅”、“颂”中之“风”。“风”是乐曲的统称,国风即西周初年至春秋时代华夏诸侯国的乐歌。诗经中之国风共十五组,包括周南、召南、邶、
  • 乔治·费多乔治·费多(法语:Georges Feydeau,1862年12月8日-1921年6月5日),法国剧作家,画家,艺术品收藏家,因其创作的歌舞杂耍表演而得名。他撰写了逾六十部剧作,死后葬于蒙马特公墓。