Report Number: Technical Report SERC-2011-TR-018-1
Report Name : Verification, Validation and Accreditation
Publication Date: May 3, 2011
This VV&A task (RT 21) had two parallel components which converged to provide recommendations on methods, languages and tools for most effective Modeling and Simulation (M&S) of complex systems as a means for Verification, Validation and Accreditation. One component, performed by University of Alabama Huntsville, is focused on an AADL approach, and exploits synergies with other related efforts being conducted by the SAVI consortium. The other component, performed by Georgia Institute of Technology, is focused on a SYSML based approach. Both components begin with building an understanding of the current M&S environment with a focus on gaps in M&S approaches, methods and tools being capable of supporting effective VV&A. A common assessment approach will inform both teams about the current environment and gaps.
This Final Technical Report is broken down into two components:
University of Alabama Huntsville – pages 3 – 33
Georgia Institute of Technology – pages 34 – 159