Development of a target recognition system using formal and semi-formal software modeling methods

Development of a target recognition system using formal and semi-formal software modeling methods

With the shrinking defense budget, the U. S. Department of Defense (DoD) has relied more on commercial-off-the-shelf (COTS) and contracted software systems. Government contractors and commercial developers currently rely heavily on semi-formal methods such as the Unified Modeling Language (UML) in d...

Full description

Bibliographic Details
Main Author: Lisowski, Matthew A.
Other Authors: Rowe, Neil
Language:en_US
Published: Monterey, California. Naval Postgraduate School 2012
Online Access:http://hdl.handle.net/10945/9199
id ndltd-nps.edu-oai-calhoun.nps.edu-10945-9199
record_format oai_dc
spelling ndltd-nps.edu-oai-calhoun.nps.edu-10945-91992014-11-27T16:08:09Z Development of a target recognition system using formal and semi-formal software modeling methods Lisowski, Matthew A. Rowe, Neil Shing, Man-Tak With the shrinking defense budget, the U. S. Department of Defense (DoD) has relied more on commercial-off-the-shelf (COTS) and contracted software systems. Government contractors and commercial developers currently rely heavily on semi-formal methods such as the Unified Modeling Language (UML) in developing the models and requirements for these software systems. The correctness of specifications in such languages cannot be tested, in general, until they are implemented. Due to the inherent safety requirements for mission critical systems, formal specification methods would be preferable. This thesis contrasts the development of a combat system for the Navy using the formal specification language SPEC with development using the semi-formal method UML. The application being developed is a ship recognition system that utilized image data, detected emitters, and ship positioning to correlate ship identification. The requirements analysis and architectural design for this system are presented. 2012-08-09T19:27:46Z 2012-08-09T19:27:46Z 2000-12 Thesis http://hdl.handle.net/10945/9199 en_US Approved for public release, distribution unlimited. Monterey, California. Naval Postgraduate School
collection NDLTD
language en_US
sources NDLTD
description With the shrinking defense budget, the U. S. Department of Defense (DoD) has relied more on commercial-off-the-shelf (COTS) and contracted software systems. Government contractors and commercial developers currently rely heavily on semi-formal methods such as the Unified Modeling Language (UML) in developing the models and requirements for these software systems. The correctness of specifications in such languages cannot be tested, in general, until they are implemented. Due to the inherent safety requirements for mission critical systems, formal specification methods would be preferable. This thesis contrasts the development of a combat system for the Navy using the formal specification language SPEC with development using the semi-formal method UML. The application being developed is a ship recognition system that utilized image data, detected emitters, and ship positioning to correlate ship identification. The requirements analysis and architectural design for this system are presented.
author2 Rowe, Neil
author_facet Rowe, Neil
Lisowski, Matthew A.
author Lisowski, Matthew A.
spellingShingle Lisowski, Matthew A.
Development of a target recognition system using formal and semi-formal software modeling methods
author_sort Lisowski, Matthew A.
title Development of a target recognition system using formal and semi-formal software modeling methods
title_short Development of a target recognition system using formal and semi-formal software modeling methods
title_full Development of a target recognition system using formal and semi-formal software modeling methods
title_fullStr Development of a target recognition system using formal and semi-formal software modeling methods
title_full_unstemmed Development of a target recognition system using formal and semi-formal software modeling methods
title_sort development of a target recognition system using formal and semi-formal software modeling methods
publisher Monterey, California. Naval Postgraduate School
publishDate 2012
url http://hdl.handle.net/10945/9199
work_keys_str_mv AT lisowskimatthewa developmentofatargetrecognitionsystemusingformalandsemiformalsoftwaremodelingmethods
_version_ 1716721290997399552

Similar Items