Paper Title:
Guiding Simulation Model Verification by Model Checking
  Abstract

The accuracy and credibility of model is the most important determinant of development of Modeling and Simulation (M&S). There is a desperate need for an immediate practical solution to the problem of VV&A (Validation, Verification and Accreditation) of simulation systems. A discussion and experiment of the relative merits of informal methods and formal methods are provided in this paper. In spite of increasing simulation speed via parallelization, the number of problem cases that can be covered is not highly increased. On the other hand, formal methods have proven to be valuable techniques, but they require detailed specifications of systems and requirements, therefore they are not very accessible in practical simulation systems development. According to the exhaustiveness of formal methods, a Model Driven Architecture (MDA) based simulation VV&A framework guided by model checking is presented in this paper. This framework combines scalability of simulation with exhaustiveness of formal methods in order to get the best of both worlds for simulation model verification. It can provide more confidence in simulation models and increase the use of formal methods in the context of M&S by people that are not trained in formal techniques.

  Info
Periodical
Edited by
Ran Chen
Pages
3508-3513
DOI
10.4028/www.scientific.net/AMM.44-47.3508
Citation
W. Xia, Y. P. Yao, X. D. Mu, F. Xing, "Guiding Simulation Model Verification by Model Checking", Applied Mechanics and Materials, Vols. 44-47, pp. 3508-3513, 2011
Online since
December 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

  | Authors: Xiao Li Liu, Yu Juan Quan, Wei Zhen Jiang
Chapter 4: Network and Internet Technology, Multimedia Engineering
Abstract:Trust is particularly important for cloud service. In this paper, we introduce a lightweight framework for trust software development in...
865
Authors: Wu Cheng Wang, Tie Bao, Lu Han, Shu Fen Liu, Qu Chen
Chapter 3: Information Technologies, WEB and Networks Engineering, Information Security, E-Engineering, Software Application and Development
Abstract:For the reliability analysis of domain software researching to present a comprehensive reliability analysis method of domain software based...
1151
Authors: Juan Zhang, Guo Qi Li, Xiao Liu
Chapter 3: Information Technologies, WEB and Networks Engineering, Information Security, E-Engineering, Software Application and Development
Abstract:Safety-critical system attracts more attention in recent years. During the development of safety-critical systems, verification plays the...
1227