Accession Number:

ADA386925

Title:

Development of a Target Recognition System Using Formal and Semi-Formal Software Modeling Methods

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

2000-12-01

Pagination or Media Count:

112.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software
  • Target Direction, Range and Position Finding

Distribution Statement:

APPROVED FOR PUBLIC RELEASE