入选理由:公司基于领先的数据智能、高可信软件和智能算法技术,结合多年积累的BMS产品经验,以“产品+服务”模式,为新能源汽车和储能等领域客户提供以BMS/BEMS为核心的数字化新能源产品。公司数字化产品业务主要产品有:智能BMS、PACK(动力总成系统)、BEMS、储能系统、高可信软件等。高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件。依托中科大软件安全实验室和中国科大——国创高可信软件工程中心技术团队,在嵌入式操作系统与关键算法的形式验证、安全C程序验证工具和C/C++/Java程序内存安全与缺陷分析等方面完成了诸多理论和技术突破,具有国际领先地位。在此基础上,公司围绕静态分析、形式验证及可信测试开展高可信软件的市场化推广,目前已在航天航空、军工交通、汽车电子等领域实现应用。