望安科技获批2024年度长三角科技创新共同体联合攻关（基础研究）项目

2024年12月17日，望安科技参与申报的“2024年度长三角科技创新共同体联合攻关（基础研究）”科研项目—《高安全强实时航空操作系统多核协同基础理论研究》顺利获批。

《长三角科技创新共同体联合攻关机制》是科技部与沪苏浙皖地区为构建科技创新共同体而联袂制定的合作攻关机制。本次“2024年度长三角科技创新共同体联合攻关（基础研究）”项目申报工作，是为了深化落实《长三角科技创新共同体建设发展规划》《长三角科技创新共同体联合攻关合作机制》等文件要求，协同推动长三角服务国家战略、强化科技使命担当，以及打造全国原始创新高地和高精尖产业承载区的多部门联合启动。

望安科技本次获批的《高安全强实时航空操作系统多核协同基础理论研究》项目围绕航空机载操作系统自主可控重大需求，开展内核安全及性能优化的基础理论与关键技术研究。望安科技在本项目中将探索基于国产分时分区操作系统内核级安全形式化验证方法，建立机载操作系统高安全理论体系，形成符合CC EAL7 最高安全等级要求的形式化验证技术。

本项目的实施将填补国内航空机载操作系统领域的技术空白，可以显著增强国产机载操作系统的市场竞争力，全面提升系统的安全性、可靠性及实时性能。项目实施不仅在推动我国航空工业整体竞争力方面具有重大的战略意义，项目产出的技术成果还能够应用于eVOTL、无人机等低空经济，为我国低空经济核心基础软件的基础研究和产业应用提供重要的技术和产品基础，加速低空经济产业的创新升级与生态构建。