.png){kind=icon}
返回
Formal verification and validation with DEVS-Suite: OSPF Case study
.png){kind=icon}
PRE
AI
DOI：10.1016/j.simpat.2012.05.013.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Validation is a degree of which how correct a model represents the behavior of its system counterpart from the perspective of intended use of the model. The degree of representation of the model or abstraction is determined by the modeler according to user demands and objectives. Whenever the modeler and simulation user's demands are satisfied, the model is considered as valid. In this paper, verification and validation of the DEVS models in DEVS-Suite environment are discussed. A case example called OSPF-DEVS simulator is applied and verification and validation tests are performed on it to show usefulness of DEVS formalism. Performed verification and validation tests are followed using a technique developed by Forrester and Senge. Particular attention is paid to reliability and maintainability in view of the state-of-the-art network simulator ns-2. Results are documented to lend confidence to simulation users and to show DEVS-Suite environment's capabilities not to increase model infrastructure. (C) 2012 Elsevier B.V. All rights reserved.
Keyword:
Verification and validation
DEVS
DEVS-Suite
OSPF
Ns-2
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.6
论文数:
2.6K
被引数:
4.8K
机构
引用论文
Effects of Carboxyl Functionalized CNT on Electrochemical Behaviour of Polyluminol-CNT Composites.png)
Chemistry
OAAI
ChemistryIF0
OAAI分享收藏分享收藏 没有更多内容
没有更多内容