要计算信号灯亮的时间，可以使用以下几种软件：

MATLAB Simulink

MATLAB Simulink是一个广泛使用的工程建模和仿真软件，它提供了一个交通信号灯模块，可以用于创建交通灯控制系统的仿真环境。

LabVIEW

LabVIEW是一种用于数据采集和控制系统的开发环境，它也可以用于创建交通信号灯控制系统的仿真模型和实时控制。

Arduino IDE

Arduino IDE是一个基于开源硬件平台的编程软件，可以用来编写和上传代码到Arduino控制器，从而控制交通信号灯。

高德导航

高德导航通过互联网知道红绿灯的时间，因为当地的交管部门将红绿灯的数据汇总后传递给了导航软件。导航软件会计算红绿灯的时间，并提示车主。

这些软件各有其用途，选择哪个软件取决于具体的应用场景和需求。例如，如果需要开发一个交通信号灯控制系统，可以使用MATLAB Simulink或LabVIEW进行仿真建模和实时控制。如果需要实际硬件控制，可以使用Arduino IDE编程Arduino控制器。如果只是需要查询红绿灯时间，可以使用高德导航等导航软件。