生命攸关系统

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

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

相关

  • 巴巴拉·麦克林托克芭芭拉·麦克林托克(英语:Barbara McClintock,1902年6月16日-1992年9月2日),美国著名女性细胞遗传学家。1983年获得诺贝尔生理学或医学奖,是首位没有共同得奖者、单独获得该奖项的
  • 盆腔炎骨盆腔发炎(Pelvic inflammatory disease,PID)也称为盆腔炎,指的是女性子宫或输卵管受到感染的情形,有些定义也包含卵巢感染。骨盆腔发炎时常无明显的症状可能病征有下腹痛、阴道
  • 宋少卿宋少卿(1968年7月24日-),出生于台湾花莲县丰滨乡,台湾相声男演员、男艺人。相声瓦舍创办人。高中就读新北市私立辞修高级中学,随后就读于国立台北艺术大学戏剧系。拥有一半台湾原
  • 史蒂夫·乔布斯史蒂芬·保罗·乔布斯(英语:Steven Paul Jobs,1955年2月24日-2011年10月5日),通称史蒂夫·乔布斯(英语:Steve Jobs),是一名美国企业家、营销家,苹果公司的联合创始人之一,曾任董事长及首
  • 珀西·比希·雪莱珀西·比希·雪莱(Percy Bysshe Shelley i/ˈpɜːrsi ˈbɪʃ ˈʃɛli/,1792年8月4日-1822年7月8日),是一位知名的英国浪漫主义诗人,被认为是历史上最出色的英语诗人之一。恩格
  • 奥昔卡因奥昔卡因(INN,也被称为Oxetacaine)是一种有效的局部麻醉剂。它通过口服(通常与抗酸剂组合)用于缓解与消化性溃疡疾病或食管炎相关的疼痛。它也被用于治疗痔疮疼痛。口服奥昔卡因
  • 搜狗五笔输入法搜狗五笔输入法是由搜狗开发的五笔输入法,特点包括支持五笔拼音混合输入、词库同步、兼容搜狗拼音的皮肤等。首个版本是2008年8月28日推出的1.0版,目前最新的版本是2017年11月
  • 维克托·米哈伊洛维奇·切布里科夫维克托·米哈伊洛维奇·切布里科夫(俄语:Виктор Михайлович Чéбриков,1923年4月27日-1999年7月1日),苏联党务活动家,克格勃主席(1982-1988年在位)。大将军衔
  • 夏季奥林匹克运动会水球比赛水球自1900年第二届夏季奥运会起成为夏季奥林匹克运动会比赛项目之一。2000年起,增设了女子水球项目。匈牙利、意大利、英国是传统水球强国。
  • 林堡干酪林堡干酪源产自比利时列日省林堡附近,但20世纪后期德国、美国制的林堡干酪已经取代了比利时生产的干酪。林堡干酪外型为小长条状,红褐色的外壳和奶油色的干酪肉,林堡干酪的刺激