汽车电子软件的实时性验证方法研究,杨帆,李实英,现有的汽车电子软件如汽车自适应巡航控制系统、防抱死制动系统、辅助防护系统等都具有强实时性和高可靠性等特点。由于这些系统是