CAJ | 학술논문

　　针对汽车信息物理融合系统（CPS）软件的异构性、分布式等特点，提出一种车联网服务建膜方法。对混成自动机进行通信端口扩展，采用扩展的混成自动机作为形式化建模工具，从服务提供的角度，分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元。以汽车速度控制系统为例，说明该建模方法的有效性。
　　침대기차신식물리융합계통（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 In-ternet 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 sys-tem was presented to show the validity of the modeling method.