汽车座椅控制系统中虚拟ECU的基于模型的设计与验证框架 | Synapse