System Development, Verification, and Validation
Prerequisite: Permission of ENGR-Institute for Systems Research; and ENSE622. Credit only granted for: ENPM643 or ENSE623. This course completes the ENSE621, ENSE622 sequence. It covers system simulation development and a variety of verification and validation topics. It addresses development testing and operational testing; test methodologies; the planning of test programs and Test and Evaluation Master Plans (TEMPs); the planning and execution of tests; and the writing of test plans and test reports. Topics include verification methods; specification-based testing; test verification matrices; model-based verification; model checking and other formal approaches to verification; design of experiments; performance testing; reliability testing; usability/human factors testing; and other types of testing. The course includes a class project in which teams of 3-5 students: develop requirements for a simulation that supports a system analysis of interest (the user need); develop the simulation (in MATLAB); verify that it meets its requirements; and validate that it may be used to support the analysis of interest.