We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
- Authors
Diallo, Saikou Y.; Gore, Ross; Lynch, Christopher J.; Padilla, Jose J.
- Abstract
In this paper, we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real system. We implement the approach in a verification and validation calculator tool that takes as input a set of statements that capture the requirements, internal conditions of the system and expected outputs of the real system and produces as output whether the simulation satisfies the requirements, faithfully represents the internal conditions of the system and produces the expected outputs. We provide a use case to show how subject matter experts can apply the tool.
- Subjects
SYSTEMS design; EXPLORATORY factor analysis; DEBUGGING; CALCULATORS; VERIFICATION of computer systems
- Publication
International Journal of Modeling, Simulation & Scientific Computing, 2016, Vol 7, Issue 1, p-1
- ISSN
1793-9623
- Publication type
Article
- DOI
10.1142/S1793962316410014