Theses and Dissertations
Now showing items 1-4 of 4
Executable behavioral modeling of system- and software-architecture specifications to inform resourcing decisions
(Monterey, California: Naval Postgraduate School, 2016-09)
The size, cost, and slow rate of change of Department of Defense (DOD) Information Technology (IT) systems make introducing new capabilities challenging. Without considering the whole system and its environment, design ...
Software system architecture modeling methodology for naval gun weapon systems
(Monterey, California. Naval Postgraduate School, 2010-12)
This dissertation describes the development of an architectural modeling methodology that supports the Navy's requirement to evaluate potential changes to gun weapon systems in order to identify potential software safety ...
An application of Alloy to static analysis for secure information flow and verification of software systems
(Monterey, California. Naval Postgraduate School, 2008., 2008-12)
Within a multilevel secure (MLS) system, flaws in design and implementation can result in overt and covert channels, both of which may be exploited by malicious software to cause unauthorized information flows. To address ...
Rapid prototyping of robotic systems
(Monterey, CaliforniaNaval Postgraduate School, 2007-06)
This effort describes a systems engineering approach to the design and implementation of software for prototyping robotic systems. Developing networked robotic systems of diverse physical assets is a continuing challenge ...