公司核心产品与技术成就 - 公司旗下INTEGRITY®-178实时操作系统成功应用于NASA猎户座飞船首次载人飞行任务中最关键的系统[1] - INTEGRITY-178 RTOS运行于猎户座飞船的飞行控制模块，该模块是飞船的中央控制单元，管理导航、推进、生命支持和系统监控[2] - INTEGRITY-178 RTOS从设计之初就致力于实现最高级别的安全与安保，是首个被批准符合DO-178B A级目标的商用分区强制RTOS，并且仍是唯一获得通用准则EAL 6+安全认证的RTOS[3] - 其多核版本INTEGRITY-178 tuMP™是首个成功通过DO-178C DAL A和AC 20-193/CAST-32A目标多核认证的操作系统[3] - 该操作系统已通过超过80个DO-178B/C A级/EAL 6+独特的客户认证包，在超过30种不同的微处理器上得到验证[3] - 2008年，INTEGRITY-178 RTOS成为首个且唯一被NIAP认证为EAL 6+、高健壮性的操作系统，这是任何软件产品曾达到的最高安全级别[4] 行业应用与市场地位 - 公司是全球嵌入式安全和安保领域的领导者，其解决方案面向军工/航空电子、医疗、工业、汽车、网络、消费电子等需要行业认证解决方案的市场[4] - 在阿耳忒弥斯II任务中，尽管其他组件使用了普通RTOS，但洛克希德·马丁和NASA在最关键的系统上依赖INTEGRITY-178[2] - 公司为德州仪器TDA5 SoC系列提供了最全面的、面向生产的软件开发环境，该环境运行在其虚拟开发平台上[6] - 公司推出了“网络安全韧性法案平台”，这是一套全面的、经过生产验证的基础软件组件，旨在帮助数字产品制造商符合欧盟《网络安全韧性法案》的法规要求[7] - 公司与柯蒂斯-赖特公司联合推出了一款高性能商用现货解决方案，将安全可认证计算引入更广泛的航空航天应用[8] 具体项目与客户合作 - 洛克希德·马丁公司在开发阶段选择INTEGRITY-178用于猎户座飞船的飞行控制模块，因其技术最成熟且提供了更经济的商用现货解决方案[1] - 猎户座飞船的FCM使用与波音787飞行控制电子设备相同的硬件和INTEGRITY-178 RTOS配置，后者已认证至最高设计保证等级[1] - 公司首席执行官表示，24年已验证的可靠性和DO-178C DAL A认证使INTEGRITY-178 RTOS成为猎户座飞行计算机的理想选择[2] - 猎户座飞船的FCM由四个相同的冗余计算机和一个作为备份的第五个计算机组成，INTEGRITY-178的高可靠性补充了FCM的硬件冗余[2] - 公司与柯蒂斯-赖特公司的集成解决方案结合了后者符合SOSA标准的V3-1222 3U VPX处理模块和公司获得FACE®认证的INTEGRITY-178 tuMP™ RTOS[8]