动态内容管理和构型管理系统解决方案

随着民航业的不断发展,航空维修(MRO)企业面临着越来越多安全和守规方面的要求.MRO安全性一直是一个非常重要、复杂且极具挑战性的课题.以美国为例,数十年来FAA、航空公司和MRO企业一方面积极采取各种措施提高飞行安全性,但另一方面,威胁航空安全的事件却一再发生,比如最近美国西南航空公司、美国航空公司发生的一系列飞机停飞、航班取消事件.     

基于Analysis Services的OLAP安全性实现

在线分析处理技术(OLAP)是数据仓库的重要应用之一,而安全性是许多OLAP产品的主要弱点,通过对OLAP的安全性分析,建立了OLAP的安全模型,快速、有效、安全地从数据仓库中提取有价值的信息,并以安装在Windows 2000的SQL SERVER为例,研究如何实现OLAP的安全性。     

质量（可信性、安全性）体系的质量及成熟度

首先由管理质量的三要素：效能、效率及可信性,引伸出质量（可信性、安全性）体系的质量也包含效能、效率及可信性这三个要素;其次参照CMM、CMMI的分级提出质量体系（可信性体系、安全性体系）的成熟度等级。进一步阐述了自主创新投入等对保持质量体系的高可信性的重要性。     

一种针对嵌入式系统的安全性分析方法

嵌入式系统广泛应用于安全关键的工业领域，但目前嵌入式系统的安全性缺乏整体性的分析。为此，提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法，借鉴失效模式和影响分析的方法，构建出故障的演化关系链条，即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验，结果显示：基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面，故障演化链的方法能较好地对嵌入式系统进行安全性分析。     

网络化飞机试飞测试系统

现代飞机的系统越来越复杂，对安全性、经济性的要求也越来越高，使试飞的要求也大大提高，因此更高效灵活的网络化测试系统是未来的发展趋势。     

EBAA：An efficient broadcast authentication scheme for ADS-B communication based on IBS-MR

Automatic dependent surveillance-broadcast （ADS-B） systems can broadcast satellitebased aircraft position, identification, etc., periodically, and are now on track to replace radar to become the backbone of next-generation air traffic management （ATM） systems. However, ADS-B systems suffer severe cyber-security problems due to the broadcast-type data link and the lack of designed-in security measures. Especially, since ADS-B messages are unauthenticated, it is easy to insert fake aircraft into a system via spoofing or insertion of false messages. Unfortu- nately, the authentication for ADS-B messages has not yet been well studied. In this paper, based on identity-based signature with message recovery （IBS-MR）, an efficient broadcast authentication scheme for ADS-B messages is proposed. The security analysis demonstrates that the scheme can achieve authenticity and integrity of ADS-B broadcast messages, as well as adaptive evolution of broadcasters＇ private keys. The performance evaluation shows that the scheme is computationally efficient for typical avionics devices with limited resources. Furthermore, the scheme achieves low communication overhead since broadcast messages can be recovered from signatures, and thus it is suitable for low-bandwidth ADS-B data link.     

我国空间站安全与任务保证工作若干问题探讨

从我国空间站运营阶段对安全性、可靠性、维修性及质量保证(SRMQA)工作的需求出发,在系统分析国外载人航天安全与任务保证(SMA)工作体系的基础上,总结国际空间站安全性可靠性工作的先进经验,并针对我国空间站对航天员安全、寿命与可靠性要求更高的需求,从管理和技术应用两个方面,系统论述了我国空间站安全与任务保证应重点开展的安全性、寿命与可靠性等工作。     

第七届全国技术过程故障诊断与安全性学术会议

全国技术过程故障诊断与安全性学术会议是由中国自动化学会技术过程故障诊断与安全性专业委员会主办的全国性学术会议。本会议的宗旨是为控制领域的专家、学者、工程师及研究生提供一个关于故障诊断、可靠性、安全性理论与技术最新进展的交流、传播平台。自     

俄称美商业飞船同空间站对接须先证明安全

在有媒体报道说美太空探索技术公司已请求美航宇局批准在12月份让其飞船同空间站对接后,俄罗斯联邦航天局载人航天部门负责人克拉索夫说,除非安全性得到全面验证,俄不会允许美国第一种商业飞船同国际空间站对接。他说,除非证明臭备必要的可靠性和安全性水平,否则俄不会发放对接许可。俄航天局迄今还没有看到这些飞船能充分满足所要求的飞行安全规范的证据。     

基于SysML的反推力系统安全性分析

通过应用系统工程建模工具SysML(系统建模语言),对反推力系统的使用场景进行建模,分别建立起反推力系统的用例图和顺序图模型.在使用场景模型的基础上,进一步应用HAZOP(危险和可操作性)分析方法对使用场景进行危险分析,得到了反推力系统在使用中可能存在的危险状态,并提出了相应的安全性要求.此方法应用表明,综合SysML...