航天器自动化测试语言研究

航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。     

航天器AIT过程职业健康安全管理体系建设初探

职业健康安全管理体系以其先进、高效的管理方式,科学、系统的管理理念广泛用于各类行业。文章从职业健康安全管理体系的一些基本知识和特点入手,对在航天器总装-测试-试验（AIT）过程中如何建立与实施该体系做了初步研究。     

机载信息系统无线网络的安全设计

民机机载信息系统作为机载网络与地面网络的机上连接终端,在带来机载信息与地面网络信息传递便利的同时,也对机载网络安全性设计提出了更苛刻的要求。通过对机载信息系统与地面网络架构研究,分析了可能由地面网络技术引入的网络安全威胁,并针对这些威胁探讨了相对应的安全防护策略和机载信息系统研制应遵循的适航取证方法。     

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

航天元器件关键工艺的统计过程控制方法

文章以统计过程控制（SPC）中的均值—标准差（X—R）控制图理论方法为基础,以宇航元器件关键工序中的集成电路键合拉力强度为研究对象,提出宇航元器件关键工序进行SPC的必要性,并提出以（X—R）控制图作为质量工具对宇航元器件关键工艺进行质量监控的方法,计算出该关键工艺的过程能力指数。     

Earth observation with MEO transmitters and UAS receivers: A potential utilization of Galileo constellation

Remote sensing application of Galileo upcoming constellation in the field of civil security is preliminarily analyzed, defining low resolution (25 m) and high resolution (7.5 m) working modes for a bistatic Synthetic Aperture Radar system utilizing Galileo satellites as transmitters and Unmanned Aerial Systems as receivers. Simulations offshore Somali coast and in a South Mediterranean Sea region showed that both low and high resolution acquisitions are feasible. For the low resolution mode a probability of successful image formation no matter the azimuth position of the receiving UAS has been estimated at nearly 100%. Whereas, for the high resolution mode it decreases to about 90%, which, if deemed unsatisfactory for the application, leads to the need for UAS to adapt its route to the actual Galileo satellite coverage.     

Criteria for developing and testing Transparency and Confidence-Building Measures (TCBMs) for outer space activities

Space systems play an important role in sustaining the development, prosperity and security of many nations. As more nations become critically reliant on space systems, questions of maintaining safety and strategic stability in outer space have come to the fore. Transparency and Confidence-Building Measures (TCBMs) for outer space activities have an important role to play in providing clarity about the intentions of States and in articulating norms of behaviour in outer space. TCBMs take several forms. They may be the elaboration of basic principles related to the exploration and use of outer space, political measures related to establishing norms of conduct, information-sharing activities to improve the transparency of outer space activities, operational practices which demonstrate a commitment to mutual cooperation in outer space, or consultative mechanisms. We present an analytical framework for evaluating potential TCBMs and illustrate the application of this framework to examples of potential operational, regulatory, treaty-based and declaratory TCBMs.     

航天测控中心系统自主可控建设的研究与思考

着眼于我国航天测控中心系统信息安全的形势要求,对系统软硬件平台自主可控技术的应用现状进行了分析,指出了当前存在的一些安全隐患问题。立足于航天测控中心系统当前发展实际,结合信息安全方面的特殊要求,从加强自主可控的顶层设计、抓好测试验证、分层推广应用等方面提出了系统自主可控建设的思路。针对自主可控建设的长期性和复杂性,从技术继承与发展、技术引进与对外合作、系统升级与安全平稳过渡等三个方面,探讨了在自主可控建设的进程中应该处理好的几个关系问题。对于当前我国航天测控中心面临的自主可控建设有一定的借鉴意义。     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.