基于安全论证的民机机载系统安全性评估

为解决现有民机机载系统安全性评估中逻辑推理不明确、可读性不强等问题,首先基于安全论证法和目标结构化标记(GSN)语言,通过分析系统安全性要求的符合性验证思路,研究并给出系统安全性评估论证策略;然后从安全性目标满足和安全性需求管理2方面分别进行机载系统安全论证;最后通过实例分析,验证基于安全论证法在民机机载系统安全性评估中的有效性。结果表明:基于GSN的安全论证符合正向研制流程要求,在安全性目标和支撑证据之间建立明确的逻辑推理关系,可用于内部交流和适航审查。

面向民机综合化航电系统的安全例证法研究

为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨论基于过程和产品的2种不同安全论证方式,以系统管理功能为例,利用目标结构化标记(GSN)语言,论证IMA的安全性。结果表明:安全例证法可与民机系统开发流程对应,有效地整合安全性分析过程中的安全证据资源,并在系统安全性需求与安全性证据间建立明确的关系。

XML技术在Web数据挖掘中的应用

面向Web的数据挖掘是一个非常前沿的研究问题,其主要目标就是找出符合Web的数据结构及相关模型.现在,人们通常把Web的结构看作是半结构化的.面向Web的数据挖掘首要解决的是寻找半结构化数据源模型问题.以XML为基础的新一代WWW环境是直接面对Web数据的,不仅可以良好地兼容原有的Web应用,而且可以实现Web中的信息共享与交换.