加入交流群
扫码加入Auterion主要提供无人机操作系统、飞控生态，核心产品/技术包括MAVLink、AuterionOS；在低空经济产业链中覆盖飞控软件、自动驾驶算法、基础软件、专用数据链。
Embention主要提供安全关键飞控、自动驾驶仪、GNC与航电系统，核心产品/技术包括Veronte Autopilot 1x/4x；在低空经济产业链中覆盖飞控系统、航电系统、导航系统、飞控软件、自动驾驶算法、基础软件。
泛联新安
湖南泛联新安信息科技有限公司
泛联新安成立于2017年，是国内领先的AI驱动开发支撑类与验证EDA类基础软件企业。公司以“引领可信智能开发”为使命，首次在行业内提出“AI+可信开发”理念，以AI驱动高智能、高质量、高安全，从代码生成到系统验证，全面确保代码可信、开发可靠。 公司现有员工300余人，技术实力雄厚，成立至今获得中国互联网投资基金、达晨财智、兴湘资本、农银国际、西部证券、汇川产投、钧犀资本、天惠基金等国家产业资本战略投资，并与国防科技大学、清华大学、复旦大学等知名院校均达成深度产学研合作。 经多年积累，公司已构建“自主基础工具+垂直模型+研发智能体”全栈产品体系，其中，自主基础工具覆盖软件质量测试、软件安全测试、数字IC验证、智能开发四大方向共20余款产品。全系产品均获自主可控证书及多项国际国内认证，已在航空、航天、汽车、工控、船舶、轨道交通等关键领域，为数百家顶级企业用户提供从代码到系统的可信保障，有效解决相关领域的“卡脖子”问题。 面向未来，我们将持续推进AI与基础软件的深度融合，以更先进的自主工具、垂直模型及智能体产品，助力行业客户构建AI时代核心竞争力——每一行代码都可信，每一次创新都安全可控。
风河系统公司Wind River主要提供实时操作系统、航空安全关键基础软件、虚拟化与开发平台，核心产品/技术包括VxWorks；在低空经济产业链中覆盖基础软件。
Green Hills Software主要提供安全关键RTOS、编译器、IDE与航空认证软件平台，核心产品/技术包括INTEGRITY-178 tuMP；在低空经济产业链中覆盖基础软件。Green Hills Software的产品和服务主要面向汽车、航空电子、医疗、工业、网络、消费电子等需要高安全性和高可靠性的应用领域。
BlackBerry 软件通过 BlackBerry Secure 为企业物联网提供安全保护、管理和连接。BlackBerry旗下QNX主要提供实时操作系统、Hypervisor、航空安全关键基础软件，核心产品/技术包括QNX RTOS；在低空经济产业链中覆盖基础软件。
Lynx Software Technologies主要提供安全关键RTOS、分离内核、虚拟化与模块化航空基础软件，核心产品/技术包括LynxOS-178；在低空经济产业链中覆盖基础软件。
PTC主要提供CAD、PLM、ALM、MBSE、数字线程与工业软件，核心产品/技术包括Creo；在低空经济产业链中覆盖设计仿真、基础软件、数字化工具。
RT-Thread睿赛德主要提供嵌入式实时操作系统、基础软件、开发平台，核心产品/技术包括RT-Thread RTOS；在低空经济产业链中覆盖基础软件。
Skydio主要提供企业级自主无人机，核心产品/技术包括自主飞行系统、企业无人系统通信；在低空经济产业链中覆盖自动驾驶算法、基础软件、数字化工具、专用数据链、巡检作业、公共安全与应急等。
SureSoftTech主要提供安全关键软件测试、验证、静态/动态分析与认证工具，核心产品/技术包括DO-178C/DO-330相关验证；在低空经济产业链中覆盖基础软件、数字化工具。
© 2010 - 2026 taptap账号登录 版权所有
ICP经营许可证 苏B2-20140176 | 苏ICP备14012660号-6 | 苏公网安备 32059002001874号
扫码关注
扫码加入
电子硬件助手
元器件查询
芯耀
taptap安装正版入口AI
