Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems
Author
Tummala, Harsha
Auguston, Mikhail
Michael, James B.
Shing, Man-Tak
Little, David
Pace, Zachary
Date
2006Metadata
Show full item recordAbstract
We explored the effectiveness of using
environment behavior models as a method for testing and
analyzing real-time, reactive software systems. Through
the automatic generation of test case scenarios based on
attributed event grammar, environment behavior models
subject the system under test (SUT) to a range of
potentially hazardous states. We explored the extent to
which experiments with a SUT embedded in an
environment behavior model serve as a constructive
method for quantitative and qualitative assessment of
software system safety. This was done by implementing
simulations in which an environment behavior model
interacted with the safety-critical computer-assisted
resuscitation algorithm (CARA), which is used with a
casualty intravenous fluid infusion pump. It was found that
with regard to real-time reactive systems, environment
behavior models can be used as an effective tool for
qualitative and quantitative safety assessment, as well as
for improvement of the SUT.
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.
-
Modeling and Simulation Tool to Enhance and Explore the ROE Design Space for NLW
Hall, Steven B. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-M238-AThe goal of this research is to define an analytical tool, Workbench for refining Rules of Engagement against Crowd Hostiles (WRENCH), that will support operational planners and ground commanders in defining contextually ... -
Modeling and Simulation Tool to Enhance and Explore the ROE Design Space for NLW
Hall, Steven B. (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-M238-AThe goal of this research is to define an analytical tool, Workbench for refining Rules of Engagement against Crowd Hostiles (WRENCH), that will support operational planners and ground commanders in defining contextually ... -
Maritime Strategy and Naval Innovation (Continuation)
Russell, James A.; Wirtz, Jim (Monterey, California: Naval Postgraduate SchoolMonterey, California. Naval Postgraduate School, 2019-12); NPS-19-N001-AThis project is a continuation of ongoing support by NPS to the work of N50 to further refining and improving the Navy's strategy development and implementation processes. This will be the fourth year of support to the ...