生命攸关系统

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

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

相关

  • 贝德福德坐标:52°08′01″N 0°27′28″W / 52.1337°N 0.4577°W / 52.1337; -0.4577贝德福德(英语:Bedford)是英国贝德福德郡的郡治,位于东英格兰。它是更大的贝德福德区的行政中心,与
  • 布莱斯布莱斯峡谷国家公园(Bryce Canyon National Park)是位于美国犹他州西南部的国家公园。其名字虽有峡谷一词,但其并非真正的峡谷,而是沿着庞沙冈特高原东面,由侵蚀而成的巨大自然露
  • 真菌性鼻窦炎真菌性鼻窦炎(Fungal sinusitis)是真菌感染鼻窦粘膜组织所造成鼻窦炎,此疾病并不常见,但在近几十年发生率有上升趋势,通常发生于免疫缺陷者。真菌性鼻窦炎的症状包括脸部疼痛、眼
  • Suillus bovinusBoletus bovinus L. (1753) Agaricus bovinus (L.) Lam. (1783) Ixocomus bovinus (L.) Quél. (1888) Mariaella bovina (L.) Sutara (1987)蕈伞平坦子实层连生可食用乳牛
  • 大洛杉矶地区大洛杉矶地区(Greater Los Angeles Area)又称南部地区(Southland),指的是美国加利福尼亚州南部的一个横跨5个县的大型联合统计区(英语:Combined Statistical Area)(一组联系较为紧密
  • 海菜紫菜,是海中互生藻类生物的统称。紫菜一般生活在距离潮间带数十米的海底,外表通常呈绿色,偶尔呈红色。泰国有很长的海岸线,有非常适合海苔的生长环境和优质的海苔生长水域。大型
  • 火星15弹道导弹火星15弹道导弹(韩语:화성-15)是北朝鲜开发的一种洲际弹道导弹。它的首次试射是在本地时间2017年11月28日凌晨3时左右,北朝鲜宣布发射成功,射高达到4475公里,水平距离950公里,估计
  • 投资回报率投资回报率(return on investment,简称 ROI),经济学名词,指投资后所得的收益与成本间的百分比率。投资回报率一般可分为总回报率(持有期间回报率)和年回报率。总回报率是不论资金
  • 核酸三级结构核酸三级结构是核酸聚合物的三维形状。 RNA和DNA分子具有从分子识别到催化的各种功能。 这些功能需要精确的三维三级结构。 虽然这种结构多样且看似复杂,但它们由重复的,易于
  • 鲸豚水族馆鲸豚水族馆是指有饲养鲸鱼或海豚的水族馆,大部分的鲸豚馆将动物饲养在大水池中,少数会将动物圈养在半开放式的海湾或箱网内. 圈养的鲸豚主要训练做为公开的表演活动,或是近距离