基于混成自动机的车联网服务建模方法

作者：封飞; 陈名才; 张广泉; 邵玉珍; 李烨静

来源：南通大学学报(自然科学版), 2013, (02): 6-10.

• 混成自动机
• 车联网服务
• 建模
• 汽车CPS hybrid automaton
• vehicle networking service
• modeling
• vehicular CPS

针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.

• 单位
  苏州大学