Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice
Osman Balci,Richard E. Nance,James D. Arthur,William F. Ormsby +3 more
- pp 653-663
Reads0
Chats0
TLDR
In this article, the authors present 13 strategic directions for successful verification, validation, and accreditation (VV&A) research and practice in modeling and simulation (M&S) applications.Abstract:
Many different types of modeling and simulation (M&S) applications, consisting of a combination of software, hardware, and humanware, are used in dozens of disciplines under diverse objectives including acquisition, analysis, education, entertainment, research, and training. Certification of sufficient accuracy of an M&S application by conducting verification, validation, and accreditation (VV&A) requires multifaceted knowledge and experience, and poses substantial technical and managerial challenges for researchers, practitioners, and managers. The challenges can only be met by using a very broad spectrum of approaches and expanding our horizons in VV&A. This paper presents 13 strategic directions to meet those challenges. The strategic directions provide guidelines for successful VV&A research and practice.read more
Citations
More filters
Proceedings Article
Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications
TL;DR: In this paper, the authors present structured evaluation processes throughout the entire modeling and simulation (M&S) development life cycle, including verification and validation activities, quality assurance, assessment of qualitative and quantitative elements, assessments by subject matter experts, and integration of disparate measurements and assessments.
Journal ArticleDOI
A methodology for certification of modeling and simulation applications
TL;DR: A unifying methodology is presented that can be used for certification of any kind of M&S application either throughout the M &S development life cycle or after the development is completed.
Proceedings ArticleDOI
Verification, validation, and certification of modeling and simulation applications
TL;DR: Engineers, analysts, and managers can execute the evaluation processes presented herein to be able to formulate a certification decision for a large-scale complex M&S application.
Proceedings ArticleDOI
Quality assessment, verification, and validation of modeling and simulation applications
TL;DR: A quality model for assessing the quality of large-scale complex M&S applications as integrated with V&V is presented and the guidelines provided herein should be useful for assessing the overall quality of an M &S application.
Journal ArticleDOI
The application of interoperability requirement specification and verification to collaborative processes in industry
TL;DR: This research proposes to use formal verification techniques to detect different types of interoperability problems, and focuses and illustrates the detection of interoperable problems using verification techniques.
References
More filters
Book
The Capability Maturity Model: Guidelines for Improving the Software Process
TL;DR: The Capability Maturity Model for Software and the Evolution of the CMM: BackGROUND, CONCEPTS, STRUCTURES and USAGE are explained.
Book
Testing Object-Oriented Systems: Models, Patterns, and Tools (ARP/AOD) 2 Vol. Set
TL;DR: In this paper, the authors explain why testing must be model-based and provide in-depth coverage of techniques to develop testable models from state machines, combinational logic, and UML.
Book
Testing Object-Oriented Systems: Models, Patterns, and Tools
TL;DR: This book discusses how to develop a Decision Table for Object-oriented Testing, and a Tester's Guide to the UML, and some Assertion Tools for Post-development Testing.
Book
Verifying and validating software requirements and design specifications
TL;DR: In this paper, the authors provide a good starting point for identifying and resolving software problems early in life cycle, when they are relatively easy to handle (e.g., early in the life cycle).
Proceedings ArticleDOI
Validation and verification of simulation models
TL;DR: Four different approaches to deciding model validity are described, and a recommended procedure for model validation is presented, as well as various validation techniques defined.