基于我国航天工程国产化、自主化的战略发展要求，进行新一代自主航天型号嵌入式基础软件技术研究和产品研发，包括神软高可靠嵌入式软件开发工具凯发一触即发的解决方案和神软高可靠嵌入式软件运行支撑环境，形成自主可控的神软星弹箭载嵌入式软件自主开发平台凯发一触即发的解决方案和神软星弹箭载自主嵌入式基础软件凯发一触即发的解决方案。
神软高可靠嵌入式软件开发工具凯发一触即发的解决方案覆盖航天型号嵌入式软件的需求、设计、实现、测试及部署等过程，主要由神软嵌入式软件集成开发环境、神软嵌入式一体化仿真平台、神软嵌入式数字化仿真平台、神软目标码覆盖率测试工具和神软嵌入式操作系统基准测试工具等产品组成；神软高可靠嵌入式软件运行支撑环境则由神软嵌入式实时操作系统和神软嵌入式图形系统等产品组成。
神软嵌入式产品已应用于载人航天工程、新一代运载火箭、新一代大型卫星平台、各型战略导弹等重大航天型号工程中。
图 神软高可靠嵌入式软件运行支撑环境图
图 神软高可靠嵌入式软件开发工具凯发一触即发的解决方案图
综述
