期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
民用飞机A级别机载软件项目源代码到目标代码追溯性分析研究 被引量:3
1
作者 童岳威 刘建方 《科技视界》 2016年第20期3-4,共2页
机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出:机载软件结构覆盖率分析可以在源代码层级进行,如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码,则应该在目标代码层级... 机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出:机载软件结构覆盖率分析可以在源代码层级进行,如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码,则应该在目标代码层级完成额外的验证工作以保证这些目标代码的正确性。因此,对于A级别软件,如果编译器生成了无法追溯到源代码的目标代码,那么除了完成源代码层级结构覆盖率分析,还应该完成源代码和目标代码之间的追溯性分析,并对不能追溯到源代码的目标代码进行额外的验证。本文研究了源代码到目标代码的追溯性分析方法。 展开更多
关键词 机载软件 源代码 目标代码 追溯性分析 结构覆盖率
在线阅读 下载PDF
医疗软件可追溯性分析研究的技术审评与体系核查思考
2
作者 于庆洁 孙恩惠 张文杰 《中国医疗器械信息》 2024年第17期7-9,共3页
随着科技的不断进步和医疗领域的发展,医疗器械软件产品的功能也越来越丰富和复杂,同时也对医疗器械软件的审查提出了更高的要求。通过梳理《医疗器械软件注册审查指导原则》(2022年修订版)、《医疗器械生产质量管理规范独立软件现场检... 随着科技的不断进步和医疗领域的发展,医疗器械软件产品的功能也越来越丰富和复杂,同时也对医疗器械软件的审查提出了更高的要求。通过梳理《医疗器械软件注册审查指导原则》(2022年修订版)、《医疗器械生产质量管理规范独立软件现场检查指导原则》、《医疗器械生产质量管理规范附录独立软件》中对可追溯性分析的要求,归纳和分析医疗器械软件产品在进行可追溯性分析时的要求,并提供部分技术审评、体系核查要点和建议。最终提出了可追溯性分析的要点,以期为医疗器械软件的技术审评及体系核查时如何进行软件可追溯性分析提供参考。 展开更多
关键词 医疗软件 追溯性分析 技术审评 体系核查
在线阅读 下载PDF
分析化学国际可追溯性合作组织(CITAC)CITAC导则分析化学质量国际导则及对认可的支持(7)
3
作者 王丽 《湖北检验检疫》 2001年第4期64-67,共4页
关键词 分析化学国际可追溯合作组织 CITAC导则 分析化学质量国际导则 实验室认可
在线阅读 下载PDF
分析化学国际可追溯性合作组织(CITAC)CITAC导则分析化学质量国际导则及对认可的支持(8)
4
作者 王丽 林薇 《湖北检验检疫》 2002年第1期63-67,共5页
关键词 分析化学国际可追溯合作组织 CITAC导则 分析化学质量国际导则 国际标准 质量控制
在线阅读 下载PDF
考虑组织因素的液化天然气泄漏安全评价方法 被引量:3
5
作者 马维林 余建星 +2 位作者 柴松 晋文超 杨源 《中国安全科学学报》 CAS CSCD 北大核心 2011年第10期89-94,共6页
为考虑组织因素对于人因失误发生的根本性影响,提出一种以贝叶斯网络(BN)为工具的人因风险分析方法,并用于液化天然气泄漏的安全评价。先将认知可靠性与失误分析方法(CREAM)的共同绩效条件(CPC)分成3层,即组织层、技术系统层和个人层。... 为考虑组织因素对于人因失误发生的根本性影响,提出一种以贝叶斯网络(BN)为工具的人因风险分析方法,并用于液化天然气泄漏的安全评价。先将认知可靠性与失误分析方法(CREAM)的共同绩效条件(CPC)分成3层,即组织层、技术系统层和个人层。以BN为工具,利用其因果推理和诊断推理的功能,进行人因失误预测和追溯的双向分析。将考虑组织因素的人员操作失误概率引入浮式液化天然气船(FLNGV)装卸过程LNG泄漏的BN中,进行LNG泄漏的安全评价以及事故原因的重要度分析。结果表明,"执行"失误是LNG泄漏最主要的事故原因,而个人层的CPC会对执行失误产生较大的影响。 展开更多
关键词 组织因素 共同绩效条件(CPC) 液化天然气(LNG)泄漏 贝叶斯网络(BN) 原因追溯性分析 安全评价
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部