• DocumentCode
    3391783
  • Title

    Semantic modeling in satellite network simulation

  • Author

    Lin, Qi ; Xiong, Zhang ; Li, Zhi

  • Author_Institution
    Sch. of Comput., Beijing Univ. of Aeronaut. & Astronaut., Beijing
  • fYear
    2008
  • fDate
    10-12 Oct. 2008
  • Firstpage
    877
  • Lastpage
    881
  • Abstract
    Although there are abundant achievements in the area of satellite network simulation, but there is no formal description for the simulation objects, which leads to the lack of semantic support in the simulation. In order to guarantee the reusability and interoperability of heterogeneous models/services in satellite network simulation and provide verification support, an ontology-based method is proposed. Based on the concept of simulation verification with semantic support, the purpose and requirements of applying ontology engineering in satellite network simulation are identified. With the idea of how to apply the approach, the content of satellite network ontology is defined, and ontology models are set up with predicates description. A test is performed as to a specific simulation task to perform simulation of coverage characteristics in satellite network. It is concluded that it is feasible to apply ontology engineering in the area of satellite network simulation to provide semantic support, and next steps in research are identified.
  • Keywords
    computational linguistics; digital simulation; formal verification; ontologies (artificial intelligence); open systems; satellite communication; telecommunication computing; heterogeneous model; interoperability; ontology; satellite network simulation; semantic modeling; verification support; Computational modeling; Computer architecture; Electronic mail; Laboratories; Logic; Ontologies; Performance evaluation; Satellites; Software testing; Space technology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Simulation and Scientific Computing, 2008. ICSC 2008. Asia Simulation Conference - 7th International Conference on
  • Conference_Location
    Beijing
  • Print_ISBN
    978-1-4244-1786-5
  • Electronic_ISBN
    978-1-4244-1787-2
  • Type

    conf

  • DOI
    10.1109/ASC-ICSC.2008.4675486
  • Filename
    4675486