车联网软件是同时涉及嵌入式软件系统和大规模网络应用软件系统的综合系统软件,其实时与安全攸关、规模化和开放性等要求所带来的可信需求迫切。本项目针对车联网软件的规模化、开放性和移动性等关键特性,以网络应用软件系统的客户端、网络通信构件和服务端可信软件技术研究为切入点,突破和掌握可信网络应用软件和可信环境的需求分析、构造、验证、监控和演化等理论、方法和技术,通过集成创新形成一体化可信软件技术体系,研发相应的支撑工具与平台,建立面向车联网的可信网络应用软件系统试验环境,并通过开发车辆远程诊断、安防服务、车队服务等可信车载服务典型示范应用案例进行验证。项目将使可信软件基础研究成果得以物化、集成与升华,形成较完整的一体化可信软件技术体系,并在车联网软件系统中加以系统化应用,有效提升车联网等网络应用软件系统的整体可信性,为提高车联网等国家重大工程中的软件可信性提供科学支撑,为我国产业结构调整做出贡献。