生命攸关系统

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

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

相关

  • 流行病流行病指可以感染众多人口的疾病,但不一定为传染病。流行病可以只是在某地区发生,亦可以是全球性的大流行。欧洲语言中,辞源均来自希腊语,如英语的epidemic,法语的épidémie等。
  • 二级上将上将(英语:general)是军衔之一种,通常为高级军事将领,对应北约军衔等级为OF-9。最初,上将指善于作战的将领。《史记·孙子吴起列传》:“(孙膑语)百里而趣利者蹶上将,五十里而趣利者军
  • 西洋人白人(英语:White people),或称白色人种,指狭义的高加索人种(一般亦作西洋人、西方人或西人、洋人),是以人类肤色命名的人种名称,一般指拥有淡色皮肤的种族或群体;或是一类拥有淡色皮肤
  • 海林市海林市是中华人民共和国黑龙江省下辖的一个县级市,由牡丹江市代管。位于黑龙江省东南部,牡丹江中游,邻接吉林省。根据牡丹江市城市规划局的《城市未来发展规划蓝图》,海林市将连
  • 洛杉矶县洛杉矶县(英语:County of Los Angeles),简称洛县,美国加利福尼亚州的一个县,也是美国人口最多的县,其县治为洛杉矶。根据2010年人口普查显示,洛杉矶县共有人口9,818,605人,其中欧裔美
  • UNIX操作系统UNIX,一种多用户、多进程的计算机操作系统,源自于从20世纪70年代开始在美国AT&T公司的贝尔实验室开发的 AT&T Unix 。UNIX操作系统,是一个强大的多用户、多任务操作系统,支持多种
  • 麻逸坐标:13°12′N 120°54′E / 13.200°N 120.900°E / 13.200; 120.900民都洛(塔加洛语:Mindoro)故称麻逸,是菲律宾的第七大岛,面积约10,572平方公里,位于吕宋岛之西南,巴拉望岛之东
  • 温带季风气候温带季风气候是一种分布于亚欧大陆东部的气候类型。温带季风气候分布于亚欧大陆的温带东部,具体在秦岭淮河以北、大兴安岭——阴山——贺兰山以东以南、日本关东以北,包括华北
  • 全球性别差距报告全球性别差距报告是一份展示男女间在经济地位、学习机会、政治参与及卫生福利四个范畴中的差距的报告。报告由世界经济论坛于2006年在瑞士首次发表,其后每年发表一次。2017年
  • 义县义县是辽宁省锦州市下辖的一个县。西汉开始设县,历称交黎、昌黎、宜州、义州等,曾是三国和西晋昌黎郡的郡治。下辖2个街道、8个镇、3个乡、5个民族乡,137个社区居委会、239个村