支持语义验证的卫星网络仿真框架研究

Research on Satellite Network Simulation Framework Based on Semantic Verification

为保证卫星网络仿真异构模型和服务的可重用性和互操作性,支持仿真的正确性验证,使用基于本体的集成工具Protégé和推理机Pellet建立了支持语义的卫星网络仿真框架。在分析支持语义的仿真验证概念基础上,明确了卫星网络集成仿真框架的实现目标,并提出仿真框架三维视图。针对卫星网络覆盖特性仿真任务,根据仿真框架生成的一致性仿真实例,开发了仿真应用并给出仿真分析结果,证明仿真框架可以保证仿真应用的语义正确性。

In order to guarantee the reusability and interoperability of heterogeneous models and services in satellite network simulation and provide verification support, a satellite network simulation framework with semantic support was built by using Protégé（ an ontology-based integrated tool） and Pellet（ an OWL-DL reasoner）. Based on the concept of simulation verification with semantic support, the purpose to implement the integrated simulation framework was settled on and the three-dimension views of the framework were proposed. As to a specific simulation task to perform simulation of coverage attributes in satellite network, a simulation application was developed according to the consistent simulation instance generated by the framework, and analysis results were provided. The simulation framework can ensure the semantic correctness of simulation applications.