Formal process modeling to improve human-decision-making during test and evaluation range control
MetadataShow full item record
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.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
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 ...