随着系统复杂度的不断提高、系统对硬件的依赖程度的增加以及客户对程序的安全性、可靠性等要求的提升,传统的离散建模工具已经越来越难以满足软件工程师对于系统建模的需求。特别是对于同时拥有离散事件驱动和连续事件驱动的混合系统而言,这种矛盾更为严重。而近年来发展越来越得到广泛关注的信息物理融合系统则是混合系统的一个典型代表。它是由开放的嵌入式系统、计算机网络和控制模块组成。因此,信息物理融合系统牵涉到计算机、通讯、控制等方面,对其进行建模与验证将是一个非常困难的任务。本文提出一种能够对同时拥有离散事件驱动和连续事件驱动的系统进行建模和验证的方法,从而达到验证系统是否安全、合理的目的。本文主要工作如下：1.以原始Statecharts为基础,提出带连续变量的Statecharts,并给出其相应的Statechart项,从而解决了Statecharts无法有效地对混合系统建模的问题；2.给出将使用带连续变量的Statecharts建模的系统转换成Kripke Structure的方法,并结合计算树时态逻辑来验证此系统的相关属性；3.使用带连续变量的Statecharts对安全信息联动工程系统进行建模与验证,从而解决了此系统中存在的一些相关问题。