课程文献中心 更多>>

标准号: HB 8576-2020

摘要： 本标准规定了航空电子系统中机载实时操作系统与模块支持层之间的直接接口要求，包括功能要求和接口服务定义。本标准适用于通用功能模块上的航空电子系统软件开发。

标准号: HB 8574-2020

摘要： 本标准规定了机载嵌入式实时操作系统应用集成验证活动的目的和流程，描述了每一步骤的内容和要求，包括一般要求和详细要求。本标准适用于约束和规范机载嵌入式实时操作系统的应用集成验证活动。

标准号: HB 8575-2020

摘要： 本标准规定了民用飞机机载嵌入式操作系统与应用软件接口测试要求。主要针对航空电子系统应用软件接口要求，制定功能和健壮性等方面的测试要求，用于指导未来民用飞机航空电子系统操作系统选型所应满足的最小功能、接口等方面的测试要求，主要包括接口功能测试要求和接口健壮性测试要求等。本标准适用于航空电子系统应用软件接口功能测试和接口健壮性测试。

标准号: HB 8573-2020

摘要： 本标准规定了用于机载设备的嵌入式操作系统板级支持软件的测试需求、测试目的、测试类型、测试要点方面的内容。本标准适用于机载设备中嵌入式操作系统板级支持软件的开发和测试过程。本标准一方面可以指导软件测试人员开展板级支持软件的测试，同时也可作为开发板级支持软件的有益参考。对与硬件状态紧密相关的在线编程软件、自检测软件等的开发与测试，可参照本标准执行。

关键词： 硬件规格   移动端   操作系统   微软   共享   平台生态   苹果   桌面  

摘要： 打通桌面和移动端对于每个拥有大平台的科技公司而言都是一个梦想,统一的硬件规格、统一的操作系统让旗下所有设备APP应用程序共享一个平台生态,做起来着实不易。这件事六年前微软尝试过,但最终失败了,如今苹果也发起了这样的挑战。

关键词： 空间规划体系   操作系统   《意见》   中国城市规划   国土空间规划   新契机   重新理解   重塑  

摘要： 改革开放40多年,中国城市规划取得的进步之巨大,当初谁也没有料到。但经过40多年的运行,现有各类空间规划体系之间的不兼容所带来的制度性摩擦也变得越来越大。中共中央、国务院《关于建立国家空间规划体系并监督实施的意见》(以下简称《意见》)提供了一个重塑规划体系的机会。让规划有机会在操作系统层次重新理解、设计、安装并重启。

关键词： 商用操作系统软件   V&V   CGD   B类系统  

摘要： 标准要求核电厂数字化仪控系统(DCS)中的软件需遵守标准IEEE 1012,IEC 60880和IEC 62138来执行V&V,但随着核电的快速发展,国产化核电厂数字化仪表控制系统(DCS)面对着极大的市场需求,DCS中执行或影响安全功能所需的操作系统软件难以寻找到满足法规要求的核级供应商。为了降低开发难度、增强代码可读性以及可移植性,核电厂不可避免地引入商用操作系统软件,而商用操作系统软件的质量得不到保证可能会影响DCS的安全运行。商品级物项适用性确认(CGD)方法是确保核级商用操作系统软件能够正确可靠执行安全功能的重要手段,而国内尚未形成完整的技术体系。本文通过研究国内外CGD方法,初步形成了B类系统中商用操作系统软件CGD工作流程和体系,并在国内某工程项目上成功进行实践,为推动我国核电领域的CGD标准体系的建立及监管体系的完善奠定技术基础。