生命攸关系统

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

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

相关

  • 工业发酵发酵工程是指采用现代工程技术手段,利用微生物的某些特定功能,为人类生产有用的产品,或直接把微生物应用于工业生产过程的一种技术。发酵工程的内容包括菌种选育、培养基的配置
  • 美国采暖、制冷与空调工程师学会美国采暖、制冷与空调工程师学会(American Society of Heating, Refrigerating and Air-Conditioning Engineers)简称ASHRAE,于1894年在美国纽约成立,是由暖通空调(HVAC)工程师所
  • 伦德施泰特第二次世界大战卡尔·鲁道夫·格尔德·冯·伦德施泰特(德语:Karl Rudolf Gerd von Rundstedt,1875年12月12日-1953年2月24日)是纳粹德国德意志国防军陆军军官,1940年7月19日被晋升
  • 底特律市底特律(英语:Detroit /dᵻˈtrɔɪt/,法语:Détroit),位于美国东北中部的五大湖区,底特律河沿岸,隶属于五大湖区城市群,是美国密歇根州最大的城市,也是韦恩县的县治所在。城市得名于连
  • 植物奶植物奶(英语:Plant milk),一种饮料,原料来自于植物,但其外型类似于牛奶。在人类历史上,植物奶的饮用,历史极为悠久,在不同的人类文化社群中,发展出各种不同的植物奶。有的是作为一般的
  • 蔬菜列表蔬菜列表,列举所有可以做菜、烹饪成为食品的蔬菜。分类:豆科
  • 红烧烧是烹调方法之一。是先将主料用煮、炒、煎、炸等方法烹熟后,加调味品和清汤,煮沸后用中到小火烧入味至酥烂,再旺火收汤。有的时候勾芡,不勾芡者称为干烧。烧的分类有:红烧、白烧
  • 乔治·福克斯 (生物学家)乔治·爱德华·福克斯(英语:George Edward Fox,1945年12月17日-)是休斯敦大学的研究员。在1970年代早期,他与卡尔·乌斯是第一批的科学家把古菌归类为生命的三域系统中的一个单独
  • 墨子 (书)《墨子》是中国战国著名科学家、思想家、政治家墨子的著作,共五十三篇传世于今。《汉书·艺文志》云“墨子七十一篇”,现存《墨子》五十三篇,由墨子和各代门徒逐渐增补而成,是研
  • 尼夫赫人尼夫赫人(俄语:Нивхи;日语:ニヴフ/ニブフ)旧称吉利亚克人,是西伯利亚东南地区原住民族,分布于黑龙江下游至入海口以及库页岛北部,即今俄罗斯联邦的哈巴罗夫斯克边疆区和萨哈林州