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

Modeling Method of Vehicle Networking Service Based on Hybrid Automaton

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

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《南通大学学报（自然科学版）》2013年第2期6-10,共5页Journal of Nantong University(Natural Science Edition)　

基　　金：江苏省自然科学基金项目(BK2011281);江苏省普通高校研究生科研创新计划项目(CXLX12_0809);江苏省高等学校大学生实践创新训练计划项目(2012yb010);苏州市应用基础研究计划项目(SYG201241);苏州大学大学生课外学术科研基金项目(KY2013053A)

摘　　要：针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.A complex environment,a typical vehicular CPS,of embedded network is formed because of many ECUs used in modern cars.This paper analyses the features of vehicular CPS software in depth such as heterogeneity and distribution,then hybrid automaton with communication ports was extended and a modeling method for service of Internet of vehicle from the perspective of service providing was proposed,the monitor and control device entities were treated as device services respectively,as the basic units of system.At last,the case of the vehicle speed control system was presented to show the validity of the modeling method.

关 键 词：混成自动机 车联网服务 建模 汽车CPS 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]