本文转自：安徽日报
本报记者 朱 卓
近日，在合肥市高新区的科大国创软件股份有限公司展示厅，一块块装有电池管理系统的电池包整齐陈列着，看似平平无奇，却是一个个智慧“大脑”。
如果说新能源汽车电池是新能源汽车的重要部件，那电池管理系统就是新能源汽车电池包关键的核心部件。拥有电池管理系统这一软件的电池，能对电动汽车的动力电池电压和电池温度进行实时采集、故障诊断、短路保护等，更加安全可靠。
电池管理系统是科大国创数字化新能源业务的核心产品。目前，科大国创已经形成“电池模组—PACK—电池簇—储能系统—储能电站—储能电站监控运维平台—区域监控平台—集团新能源管控平台”的全链产品矩阵，拥有打造高可信的数字化新能源产品的雄厚实力。
“高可信”软件是科大国创另一款核心产品，被称为“软件的检验师”。什么叫“软件的检验师”呢？软件其实是由一段段代码组成的，软件在投入市场之前，需要这样一位“检验师”，以便在代码存在错误时，提前进行分析和验证。这款“高可信”软件可以为人工智能、机器人、无人驾驶等领域的诸多软件提供分析。
“我们研发的高可信软件，是公司自主研发的面向程序分析和形式验证领域的基础工具软件，颠覆了传统的软件开发方法，确保了关键性软件的可靠性、可信性和安全性，可应用于航空航天、国防军工、轨道交通、智能汽车、金融、能源等关键领域。填补了国内空白，在国内国际处于领先地位。”科大国创董事长董永东说。
“今后，在安徽省大力发展汽车首位产业及先进光伏和新型储能的背景下，我们将加速抢占机器人编程、人机结合等通用人工智能和数字化新能源发展制高点，不断致力于高可信软件技术的研发，提供更加高可信的数字化新能源全链产品，推动数字化转型进程，加快形成数字经济的新质生产力。”董永东说。
