生命攸关系统

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

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

相关

  • 尿道尿道(拉丁语学名:Urethra)是动物体内泌尿系统的器官之一。它从膀胱连通到体外,它的作用是将尿排出体外。在雄性哺乳动物中它还有将精液导出的作用,因此也是生殖器官之一。在胚胎
  • 梭状回梭状回(Fusiform gyrus)是颞叶与枕叶一部分,在布罗德曼分区系统为37区。也被称作“枕颞内侧回”(discontinuous occipitotemporal gyrus)。位于颞下回与海马旁回之间。 梭状回的
  • 尚·嘉宾尚·嘉宾(Jean Gabin)是一位法国演员,曾主演许多经典电影。尚·嘉宾出生于巴黎,双亲是玛德莲·普蒂(Madeleine Petit)与费迪南·蒙柯吉(Ferdinand Moncorgé)。
  • 特洛伊小行星地球特洛伊是轨道在邻近地球-太阳拉格朗日点L4和L5上运行的小行星。它们类似于木星与拉格朗日点相关联的小行星,都被称为特洛伊小行星。从地球表面上观察,它们的位置大约在太阳
  • 国民军国民军(西班牙语:Bando nacional)是指在1936年7月18日至1939年4月1日的西班牙内战中,对共和政府发动叛乱的军队。与国民军对立的一方,称作共和军。共和派称国民军为“煽动者”、
  • 阳翼手亚目见内文阳翼手亚目(学名:Yangochiroptera)为翼手目下的一个亚目,于1984年由卡尔·库普曼(Karl F. Koopman)提出,包含了鼠尾蝠科、菊头蝠科、叶鼻蝠科(英语:Hipposideridae)与假吸血蝠科
  • A350XWB空中客车A350 XWB(Airbus A350 XWB),是欧洲飞机制造商空中客车所研发的长程双发动机宽体客机系列。A350是最先在机身与机翼同时使用碳纤维强化聚合物的民航飞机。在典型的三等
  • 姚星彤姚星彤(英语:Helen Yao,1983年4月12日-)毕业于北京电影学院2001级表演系本科,曾在成龙担任导演并主演的动作电影《十二生肖》里担任女主角,出演当中的国宝鉴定专家Coco。
  • 布加迪布加迪(法语:Bugatti),是法国具有特色的超级跑车车厂之一。布加迪以生产世界上最好的及最快的车闻名于世。最原始的布加迪品牌已经在第二次世界大战后消失。不过战后此品牌曾经
  • 约翰·贝尔约翰·斯图尔特·贝尔(英语:John Stewart Bell,1928年6月28日-1990年10月1日),英国北爱尔兰物理学家。最重要的贡献为发展了量子力学中的贝尔定理。约翰·贝尔出生于北爱尔兰的贝