2024年11月19日，中国航空工业集团公司西安航空计算技术研究所发布《高安全操作系统开发集成调试平台》招标公告。
技术规格：
高安全操作系统开发集成调试平台为天脉操作系统及开发环境适航认证版生命周期中的软件开发、调试、集成、验收、发布、维护过程中提供处理器硬件和工具支持,在开发过程中需要支持的处理器体系结构包括：PPC E5500、PPC E6500、RISC-V、ARM
v7a。
根据使用场景，高安全操作系统开发集成调试平台由以下4部分内容组成：
1、操作系统集成调试硬件开发板，用于适航认证版天脉操作系统的软件开发、集成、调试，以及软件测试的非正式测试过程；
2、操作系统统一开发和管理环境扩展建设用于适航认证版天脉操作系统的软件开发、集成、调试、维护过程；
3、操作系统配套开发环境软件集成工具，用于操作系统的开发、调试、集成过程；
4、操作系统产品包发布工具软件，用于操作系统软件的安装控制、软件发布。
中标候选人公示：
2024年12月12日，高安全操作系统开发集成调试平台中标候选人公示，评标结果如下：
第1名：深圳市奥思网络科技有限公司，投标报价：7,298,000.00元人民币；
第2名：上海斯铠崴信息科技有限公司，投标报价：8,290,160.00元人民币；
第3名：北京易成时代科技有限公司，投标报价：7,960,000.00元人民币。
结果公示：
2024年12月16日，高安全操作系统开发集成调试平台中标结果公示，中标人：深圳市奥思网络科技有限公司，中标价格：7,298,000.00元。
