基于目标的信息物理融合系统事件模型的分析

摘要

软件系统的事件模型能够有效地刻画软件系统的行为.但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难.从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型.该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生.基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型.以一个自适应巡航控制系统为案例来说明该方法.%Event model of software systems can model system behaviors effectively.However,since the system structure should be known and the spatial-temporal attributes of events should be considered due to the hybrid and distributed properties of cyber-physical systems (CPS),new challenges arise when building CPS's event model.From the angle of requirements analysis,this paper proposed a goal oriented approach to deal with the challenges.This approach defines the users'goal on CPS as the causal relationships between events,that is a goal expresses the relationship that the occurrence of an event will cause of another event.Then,it analyzes and develops the event model based on users' requirements on CPS by means of "And/Or" decomposition.An adaptive cruise control system has been used to illustrate the proposed approach.