本文以卫星导航系统信息流实际仿真需求为出发点,应用组合建模的方法,提出基于SMP的导航系统仿真模型框架。设计支撑模型框架的组件结构和仿真服务结构,并提出相应的组件模型开发与集成方法。最后给出模型组件开发示例,验证模型框架的可用性。论文研究内容主要包括:(1)根据组合建模方法,基于SMP2.0标准,设计面向信息流核查的导航系统仿真模型集成框架,在框架基础上给出模型组件的一般开发流程和组件集成方法。(2)在SMP树状组件结构基础上,结合导航系统信息层仿真实际需求,设计导航仿真模型组件结构,明确框架内每个组件的属性,功能接口和继承关系,并提出组合模块的结构及组合方式。(3)根据导航系统仿真框架和仿真模型组件结构,在SMP基本仿真服务的基础上,结合信息流仿真实际需求,进行导航仿真扩展服务设计,明确每个扩展服务的接口和主要功能。(4)通过仿真模型开发示例验证仿真模型集成框架的可用性,包括模块模型的概念模型抽象建模示例,模块组件开发示例以及最后的验证结果展示。并通过Petri网模块开发验证仿真模型集成框架的可扩展性。