一种复杂装备系统状态机图模型的仿真验证方法及系统

本发明公开了一种复杂装备系统状态机图模型的仿真验证方法及系统，属于复杂装备系统工程技术领域，包括：建立复杂装备系统的状态机图元模型，并扩展仿真语义描述状态中的连续行为以及状态转换中的触发事件、条件守卫、效果执行；分析复杂装备某个场景下状态转换的逻辑与行为，根据已构建的状态机图元模型建立对应的状态机图模型；在仿真前对已构建的状态机图模型进行检查，并根据转换规则，将状态机图模型转换为混合自动机模型；通过集成的混合自动机仿真求解器，对生成的混合自动机模型进行仿真求解。本发明采用上述方法，能够解决难于实现复杂系统状态机图模型的统一描述、建模到仿真验证自动化的技术问题。