Formal process modeling to improve human-decision-making during test and evaluation range control

Download
Author
Carlson, William
Date
2017-09Advisor
Giammarco, Kristin
Second Reader
Yakimenko, Oleg
Metadata
Show full item recordAbstract
Test and evaluation (T&E) managers often control testing via heuristics (i.e., using experience and lessons learned from previous testing to modify existing range control procedures). An exclusively heuristic approach may prove difficult in predicting test control issues with new systems. Given this limitation, this thesis poses the following question: Can formally modeling the process of conducting test range events expose previously overlooked ambiguities and identify high-value decision points? This thesis explores how formalization of these experience-based decisions as a process model representing a T&E event may reveal high-value decision nodes where certain decisions carry more weight or potential for impacts to a successful test. The thesis evaluates behavioral modeling techniques and language, ultimately using the Innoslate modeling software tool to construct a formal model of the range decision process. The thesis presents the results of the simulation runs in Innoslate and shows how having the formal model improves on the simplified model by expanding the process from two to eleven decision points. The thesis concludes that the formal model has use as a planning tool that can assist mangers in anticipating problems and focusing resources on resolving these issues.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Developing integrated decision support systems from mathematical models
Downs, Michael S. (Monterey, California. Naval Postgraduate School, 1995-09);A methodology for the creation of decision support systems (DSS) from mathematical programming models is examined. This approach is demonstrated using a model for flight scheduling, integrating a formal data model, ... -
Examination of modeling languages to allow quantitative analysis for model-based systems engineering
Nutting, Joseph W. (Monterey, California. Naval Postgraduate School, 2014-06);Model-based systems engineering (MBSE) needs a formal language, one defined with explicit rules between its elements, in order to support the use of formal modeling in systems engineering. This thesis examines desirable ... -
Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
Schumann, Michael A. (Monterey, California. Naval Postgraduate School, 2012-06);Processes are a fundamental component of most activities undertaken by humans. In software engineering and information assurance, in particular, it is important that processes be understandable, documented, and repeatable ...